Alan Smaill

Publication Activity (10 Years)

Years Active: 1988-2018
Publications (10 Years): 4

Top Topics

Mathematical Framework

Computational Model

Datalog Programs

Consistent Query Answering

Top Venues

Ann. Math. Artif. Intell.

Top. Cogn. Sci.

Publications

Joseph Corneli, Simon Holland, Alison Pease, Paul Mulholland, Dave Murray-Rust, Theodore Scaltsas, Alan Smaill
Patterns of Design. EuroPLoP (2018)
Xue Li, Alan Bundy, Alan Smaill
ABC Repair System for Datalog-like Theories. KEOD (2018)
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
Theory blending: extended algorithmic aspects and examples. Ann. Math. Artif. Intell. 80 (1) (2017)
Félix Bou, Marco Schorlemmer, Joseph Corneli, Danny Gómez-Ramírez, Ewen Maclean, Alan Smaill, Alison Pease
The role of blending in mathematical invention. ICCC (2015)
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
Algorithmic Aspects of Theory Blending. AISC (2014)
Marco Schorlemmer, Alan Smaill, Kai-Uwe Kühnberger, Oliver Kutz, Simon Colton, Emilios Cambouropoulos, Alison Pease
COINVENT: Towards a Computational Concept Invention Theory. ICCC (2014)
Alison Pease, Markus Guhe, Alan Smaill
Developments in Research on Mathematical Practice and Cognition. Top. Cogn. Sci. 5 (2) (2013)
Alan Smaill
Theory Exploration: a role for Model Theory? ATx/WInG@IJCAR (2012)
Louise A. Dennis, Ian Green, Alan Smaill
The Use of Embeddings to Provide a Clean Separation of Term and Annotation for Higher Order Rippling. J. Autom. Reason. 47 (1) (2011)
Ian P. Gent, Josh Singer, Alan Smaill
Backbone Fragility and the Local Search Cost Peak CoRR (2011)
David Murray-Rust, Alan Smaill
Towards a model of musical interaction and communication. Artif. Intell. 175 (9-10) (2011)
Markus Guhe, Alison Pease, Alan Smaill, Maricarmen Martínez, Martin Schmidt, Helmar Gust, Kai-Uwe Kühnberger, Ulf Krumnack
A computational account of conceptual blending in basic mathematics. Cogn. Syst. Res. 12 (3-4) (2011)
Sean Wilson, Jacques D. Fleuriot, Alan Smaill
Automation for Dependently Typed Functional Programming. Fundam. Informaticae 102 (2) (2010)
Alison Pease, Markus Guhe, Alan Smaill
Some Aspects of Analogical Reasoning in Mathematical Creativity. ICCC (2010)
Markus Guhe, Alan Smaill, Alison Pease
A Formal Cognitive Model of Mathematical Metaphors. KI (2009)
Lucas Dixon, Alan Smaill, Tracy Tsang
Plans, Actions and Dialogues Using Linear Logic. J. Log. Lang. Inf. 18 (2) (2009)
G. Sripriya, Alan Bundy, Alan Smaill
Concurrent-distributed programming techniques for SAT using DPLL-stålmarck. HPCS (2009)
Maciej Zurawski, Alan Smaill, Dave Robertson
Bounded Ontological Consistency for Scalable Dynamic Knowledge Infrastructures. ASWC (2008)
Jafreezal Jaafar, Eric McKenzie, Alan Smaill
A Fuzzy Action Selection Method for Virtual Agent Navigation in Unknown Virtual Environments. FUZZ-IEEE (2007)
David Murray-Rust, Alan Smaill, Michael Edwards
MAMA: An Architecture for Interactive Musical Agents. ECAI (2006)
Claudio Castellini, Alan Smaill
Proof Planning for First-Order Temporal Logic. CADE (2005)
Bin Yang, Alan Bundy, Alan Smaill, Lucas Dixon
Deductive synthesis of workflows for e-Science. CCGRID (2005)
Manuel José Contreras M., Alan Smaill
Agent Protocols as Executable Ontologies. MICAI (2004)
Ewen Maclean, Jacques D. Fleuriot, Alan Smaill
Proof planning Non-standard Analysis. AI&M (2002)
Claudio Castellini, Alan Smaill
A Systematic Presentation of Quantified Modal Logics. Log. J. IGPL 10 (6) (2002)
Claudio Castellini, Alan Smaill
Proof Planning for Feature Interactions: A Preliminary Report. LPAR (2002)
Louise A. Dennis, Alan Smaill
Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain. TPHOLs (2001)
Josh Singer, Ian P. Gent, Alan Smaill
Backbone Fragility and the Local Search Cost Peak. J. Artif. Intell. Res. 12 (2000)
Josh Singer, Ian P. Gent, Alan Smaill
Local Search on Random 2+p-SAT. ECAI (2000)
David Lacey, Julian Richardson, Alan Smaill
Logic Program Synthesis in a Higher-Order Setting. Computational Logic (2000)
Alessandro Armando, Alan Smaill, Ian Green
Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. Autom. Softw. Eng. 6 (4) (1999)
Stephen Cresswell, Alan Smaill, Julian Richardson
Deductive Synthesis of Recursive Plans in Linear Logic. ECP (1999)
Peter Madden, Alan Bundy, Alan Smaill
Recursive Program Optimization Through Inductive Synthesis Proof Transformation. J. Autom. Reason. 22 (1) (1999)
Alessandro Armando, Jason Gallagher, Alan Smaill, Alan Bundy
Automating the Synthesis of Decision Procedures in a Constructive Metatheory. Ann. Math. Artif. Intell. 22 (3-4) (1998)
Julian Richardson, Alan Smaill, Ian Green
System Description: Proof Planning in Higher-Order Logic with Lambda-Clam. CADE (1998)
Alessandro Armando, Alan Smaill, Ian Green
Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. ASE (1997)
Alan Smaill, Ian Green
Higher-Order Annotated Terms for Proof Search. TPHOLs (1996)
Francisco J. Cantu, Alan Bundy, Alan Smaill, David A. Basin
Experiments in Automating Hardware Verification Using Inductive Proof Planning. FMCAD (1996)
Edjard Mota, David Stuart Robertson, Alan Smaill
NatureTime: Temporal Granularity in Simulation of Ecosystems. J. Symb. Comput. 22 (5/6) (1996)
Bradley L. Richards, Ina Kraan, Alan Smaill, Geraint A. Wiggins
Mollusc: A General Proof-Development Shell for Sequent-Based Logics. CADE (1994)
Siani Baker, Alan Smaill
A Proof Environment for Arithmetic with the Omega Rule. AISMC (1994)
Alan Smaill, Geraint A. Wiggins, Mitch Harris
Hierarchical music representation for composition and analysis. Comput. Humanit. 27 (1) (1993)
Alan Bundy, Andrew Stevens, Frank van Harmelen, Andrew Ireland, Alan Smaill
Rippling: A Heuristic for Guiding Inductive Proofs. Artif. Intell. 62 (2) (1993)
Alan Smaill, Geraint A. Wiggins, Eduardo Reck Miranda
Music Representation - Between the Musician and the Computer. Music Education: An Artificial Intelligence Approach (1993)
Martin D. Westhead, Alan Smaill
Automatic Characterisation of Musical Style. Music Education: An Artificial Intelligence Approach (1993)
Siani Baker, Andrew Ireland, Alan Smaill
On the Use of the Constructive Omega-Rule within Automated Deduction. LPAR (1992)
Jane Hesketh, Alan Bundy, Alan Smaill
Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs. CADE (1992)
Brian J. Ross, Alan Smaill
An Algebraic Semantics of Prolog Program Termination. ICLP (1991)
Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill
Experiments with Proof Plans for Induction. J. Autom. Reason. 7 (3) (1991)
Alan Bundy, Frank van Harmelen, Alan Smaill, Andrew Ireland
Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. CADE (1990)
Alan Bundy, Frank van Harmelen, Christian Horn, Alan Smaill
The Oyster-Clam System. CADE (1990)
Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens
A Rational Reconstruction and Extension of Recursion Analysis. IJCAI (1989)
Fausto Giunchiglia, Alan Smaill
Reflection in Constructive and Non-constructive Automated Reasoning. META (1988)