Alan Smaill

According to our database, Alan Smaill authored at least 53 papers between 1988 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

ABC Repair System for Datalog-like Theories.

Xue Li, Alan Bundy, Alan Smaill

Proceedings of the 10th International Joint Conference on Knowledge Discovery, 2018

Patterns of Design.

Joseph Corneli, Simon Holland, Alison Pease, Paul Mulholland, Dave Murray-Rust, Theodore Scaltsas, Alan Smaill

Proceedings of the 23rd European Conference on Pattern Languages of Programs, 2018

Formal Conceptual Blending in the (Co-)Invention of (Pure) Mathematics.

Danny de Jesús Gómez-Ramírez, Alan Smaill

Proceedings of the Concept Invention, 2018

2017

Theory blending: extended algorithmic aspects and examples.

Maricarmen Martínez, Ahmed M. H. Abdel-Fattah, Ulf Krumnack, Danny Gómez-Ramírez, Alan Smaill, Tarek Richard Besold, Alison Pease, Martin Schmidt, Markus Guhe, Kai-Uwe Kühnberger

Ann. Math. Artif. Intell., 2017

2015

The role of blending in mathematical invention.

Félix Bou, Marco Schorlemmer, Joseph Corneli, Danny Gómez-Ramírez, Ewen Maclean, Alan Smaill, Alison Pease

Proceedings of the Sixth International Conference on Computational Creativity, 2015

2014

COINVENT: Towards a Computational Concept Invention Theory.

Marco Schorlemmer, Alan Smaill, Kai-Uwe Kühnberger, Oliver Kutz, Simon Colton, Emilios Cambouropoulos, Alison Pease

Proceedings of the Fifth International Conference on Computational Creativity, 2014

Algorithmic Aspects of Theory Blending.

Maricarmen Martínez, Ulf Krumnack, Alan Smaill, Tarek Richard Besold, Ahmed M. H. Abdel-Fattah, Martin Schmidt, Helmar Gust, Kai-Uwe Kühnberger, Markus Guhe, Alison Pease

Proceedings of the Artificial Intelligence and Symbolic Computation, 2014

2013

Developments in Research on Mathematical Practice and Cognition.

Alison Pease, Markus Guhe, Alan Smaill

Top. Cogn. Sci., 2013

2012

Theory Exploration: a role for Model Theory?

Alan Smaill

Proceedings of the ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, 2012

2011

The Use of Embeddings to Provide a Clean Separation of Term and Annotation for Higher Order Rippling.

Louise A. Dennis, Ian Green, Alan Smaill

J. Autom. Reason., 2011

A computational account of conceptual blending in basic mathematics.

Markus Guhe, Alison Pease, Alan Smaill, Maricarmen Martínez, Martin Schmidt, Helmar Gust, Kai-Uwe Kühnberger, Ulf Krumnack

Cogn. Syst. Res., 2011

Towards a model of musical interaction and communication.

David Murray-Rust, Alan Smaill

Artif. Intell., 2011

2010

Automation for Dependently Typed Functional Programming.

Sean Wilson, Jacques D. Fleuriot, Alan Smaill

Fundam. Informaticae, 2010

Some Aspects of Analogical Reasoning in Mathematical Creativity.

Alison Pease, Markus Guhe, Alan Smaill

Proceedings of the International Conference on Computational Creativity, 2010

2009

Plans, Actions and Dialogues Using Linear Logic.

Lucas Dixon, Alan Smaill, Tracy Tsang

J. Log. Lang. Inf., 2009

A Formal Cognitive Model of Mathematical Metaphors.

Markus Guhe, Alan Smaill, Alison Pease

Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

Concurrent-distributed programming techniques for SAT using DPLL-stålmarck.

G. Sripriya, Alan Bundy, Alan Smaill

Proceedings of the 2009 International Conference on High Performance Computing & Simulation, 2009

2008

Bounded Ontological Consistency for Scalable Dynamic Knowledge Infrastructures.

Maciej Zurawski, Alan Smaill, Dave Robertson

Proceedings of the Semantic Web, 3rd Asian Semantic Web Conference, 2008

2007

A Fuzzy Action Selection Method for Virtual Agent Navigation in Unknown Virtual Environments.

Jafreezal Jaafar, Eric McKenzie, Alan Smaill

Proceedings of the FUZZ-IEEE 2007, 2007

2006

MAMA: An Architecture for Interactive Musical Agents.

David Murray-Rust, Alan Smaill, Michael Edwards

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005

Deductive synthesis of workflows for e-Science.

Bin Yang, Alan Bundy, Alan Smaill, Lucas Dixon

Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 2005

Proof Planning for First-Order Temporal Logic.

Claudio Castellini, Alan Smaill

Proceedings of the Automated Deduction, 2005

2004

Agent Protocols as Executable Ontologies.

Manuel José Contreras M., Alan Smaill

Proceedings of the MICAI 2004: Advances in Artificial Intelligence, 2004

2002

A Systematic Presentation of Quantified Modal Logics.

Claudio Castellini, Alan Smaill

Log. J. IGPL, 2002

Proof Planning for Feature Interactions: A Preliminary Report.

Claudio Castellini, Alan Smaill

Proceedings of the Logic for Programming, 2002

Proof planning Non-standard Analysis.

Ewen Maclean, Jacques D. Fleuriot, Alan Smaill

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2002

2001

Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain.

Louise A. Dennis, Alan Smaill

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

2000

Backbone Fragility and the Local Search Cost Peak.

Josh Singer, Ian P. Gent, Alan Smaill

J. Artif. Intell. Res., 2000

Local Search on Random 2+p-SAT.

Josh Singer, Ian P. Gent, Alan Smaill

Proceedings of the ECAI 2000, 2000

Logic Program Synthesis in a Higher-Order Setting.

David Lacey, Julian Richardson, Alan Smaill

Proceedings of the Computational Logic, 2000

Musical Knowledge: What can Artificial Intelligence Bring to the Musician?

Geraint A. Wiggins, Alan Smaill

Proceedings of the Readings in Music and Artificial Intelligence, 2000

1999

Recursive Program Optimization Through Inductive Synthesis Proof Transformation.

Peter Madden, Alan Bundy, Alan Smaill

J. Autom. Reason., 1999

Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm.

Alessandro Armando, Alan Smaill, Ian Green

Autom. Softw. Eng., 1999

Deductive Synthesis of Recursive Plans in Linear Logic.

Stephen Cresswell, Alan Smaill, Julian Richardson

Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999

1998

Automating the Synthesis of Decision Procedures in a Constructive Metatheory.

Alessandro Armando, Jason Gallagher, Alan Smaill, Alan Bundy

Ann. Math. Artif. Intell., 1998

System Description: Proof Planning in Higher-Order Logic with Lambda-Clam.

Julian Richardson, Alan Smaill, Ian Green

Proceedings of the Automated Deduction, 1998

1996

NatureTime: Temporal Granularity in Simulation of Ecosystems.

Edjard Mota, David Stuart Robertson, Alan Smaill

J. Symb. Comput., 1996

Higher-Order Annotated Terms for Proof Search.

Alan Smaill, Ian Green

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

Experiments in Automating Hardware Verification Using Inductive Proof Planning.

Francisco J. Cantu, Alan Bundy, Alan Smaill, David A. Basin

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

1994

Mollusc: A General Proof-Development Shell for Sequent-Based Logics.

Bradley L. Richards, Ina Kraan, Alan Smaill, Geraint A. Wiggins

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

A Proof Environment for Arithmetic with the Omega Rule.

Siani Baker, Alan Smaill

Proceedings of the Integrating Symbolic Mathematical Computation and Artificial Intelligence, 1994

1993

Hierarchical music representation for composition and analysis.

Alan Smaill, Geraint A. Wiggins, Mitch Harris

Comput. Humanit., 1993

Rippling: A Heuristic for Guiding Inductive Proofs.

Alan Bundy, Andrew Stevens, Frank van Harmelen, Andrew Ireland, Alan Smaill

Artif. Intell., 1993

Automatic Characterisation of Musical Style.

Martin D. Westhead, Alan Smaill

Proceedings of the Music Education: An Artificial Intelligence Approach, 1993

Music Representation - Between the Musician and the Computer.

Alan Smaill, Geraint A. Wiggins, Eduardo Reck Miranda

Proceedings of the Music Education: An Artificial Intelligence Approach, 1993

1992

On the Use of the Constructive Omega-Rule within Automated Deduction.

Siani Baker, Andrew Ireland, Alan Smaill

Proceedings of the Logic Programming and Automated Reasoning, 1992

Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs.

Jane Hesketh, Alan Bundy, Alan Smaill

Proceedings of the Automated Deduction, 1992

1991

Experiments with Proof Plans for Induction.

Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill

J. Autom. Reason., 1991

An Algebraic Semantics of Prolog Program Termination.

Brian J. Ross, Alan Smaill

Proceedings of the Logic Programming, 1991

1990

Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs.

Alan Bundy, Frank van Harmelen, Alan Smaill, Andrew Ireland

Proceedings of the 10th International Conference on Automated Deduction, 1990

The Oyster-Clam System.

Alan Bundy, Frank van Harmelen, Christian Horn, Alan Smaill

Proceedings of the 10th International Conference on Automated Deduction, 1990

1989

A Rational Reconstruction and Extension of Recursion Analysis.

Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1988

Reflection in Constructive and Non-constructive Automated Reasoning.

Fausto Giunchiglia, Alan Smaill

Proceedings of the Meta-Programming in Logic Programming, 1988