default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlan Smaill
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2017
[j16]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): 65-89 (2017)- 2013
- [j15]Alison Pease, Markus Guhe, Alan Smaill:
Developments in Research on Mathematical Practice and Cognition. Top. Cogn. Sci. 5(2): 224-230 (2013) - 2011
- [j14]David Murray-Rust, Alan Smaill:
Towards a model of musical interaction and communication. Artif. Intell. 175(9-10): 1697-1721 (2011) - [j13]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): 249-265 (2011) - [j12]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): 57-105 (2011) - 2010
- [j11]Sean Wilson, Jacques D. Fleuriot, Alan Smaill:
Automation for Dependently Typed Functional Programming. Fundam. Informaticae 102(2): 209-228 (2010) - 2009
- [j10]Lucas Dixon, Alan Smaill, Tracy Tsang:
Plans, Actions and Dialogues Using Linear Logic. J. Log. Lang. Inf. 18(2): 251-289 (2009) - 2002
- [j9]Claudio Castellini, Alan Smaill:
A Systematic Presentation of Quantified Modal Logics. Log. J. IGPL 10(6): 571-599 (2002) - 2000
- [j8]Josh Singer, Ian P. Gent, Alan Smaill:
Backbone Fragility and the Local Search Cost Peak. J. Artif. Intell. Res. 12: 235-270 (2000) - 1999
- [j7]Alessandro Armando, Alan Smaill, Ian Green:
Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. Autom. Softw. Eng. 6(4): 329-356 (1999) - [j6]Peter Madden, Alan Bundy, Alan Smaill:
Recursive Program Optimization Through Inductive Synthesis Proof Transformation. J. Autom. Reason. 22(1): 65-115 (1999) - 1998
- [j5]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): 259-279 (1998) - 1996
- [j4]Edjard Mota, David Stuart Robertson, Alan Smaill:
NatureTime: Temporal Granularity in Simulation of Ecosystems. J. Symb. Comput. 22(5/6): 665-698 (1996) - 1993
- [j3]Alan Bundy, Andrew Stevens, Frank van Harmelen, Andrew Ireland, Alan Smaill:
Rippling: A Heuristic for Guiding Inductive Proofs. Artif. Intell. 62(2): 185-253 (1993) - [j2]Alan Smaill, Geraint A. Wiggins, Mitch Harris:
Hierarchical music representation for composition and analysis. Comput. Humanit. 27(1): 7-17 (1993) - 1991
- [j1]Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill:
Experiments with Proof Plans for Induction. J. Autom. Reason. 7(3): 303-324 (1991)
Conference and Workshop Papers
- 2018
- [c36]Joseph Corneli, Simon Holland, Alison Pease, Paul Mulholland, Dave Murray-Rust, Theodore Scaltsas, Alan Smaill:
Patterns of Design. EuroPLoP 2018: 22:1-22:11 - [c35]Xue Li, Alan Bundy, Alan Smaill:
ABC Repair System for Datalog-like Theories. KEOD 2018: 333-340 - 2015
- [c34]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: 55-62 - 2014
- [c33]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: 180-192 - [c32]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: 288-296 - 2012
- [c31]Alan Smaill:
Theory Exploration: a role for Model Theory? ATx/WInG@IJCAR 2012: 46-53 - 2010
- [c30]Alison Pease, Markus Guhe, Alan Smaill:
Some Aspects of Analogical Reasoning in Mathematical Creativity. ICCC 2010: 60-64 - 2009
- [c29]G. Sripriya, Alan Bundy, Alan Smaill:
Concurrent-distributed programming techniques for SAT using DPLL-stålmarck. HPCS 2009: 168-175 - [c28]Markus Guhe, Alan Smaill, Alison Pease:
A Formal Cognitive Model of Mathematical Metaphors. KI 2009: 323-330 - 2008
- [c27]Maciej Zurawski, Alan Smaill, Dave Robertson:
Bounded Ontological Consistency for Scalable Dynamic Knowledge Infrastructures. ASWC 2008: 212-226 - 2007
- [c26]Jafreezal Jaafar, Eric McKenzie, Alan Smaill:
A Fuzzy Action Selection Method for Virtual Agent Navigation in Unknown Virtual Environments. FUZZ-IEEE 2007: 1-6 - 2006
- [c25]David Murray-Rust, Alan Smaill, Michael Edwards:
MAMA: An Architecture for Interactive Musical Agents. ECAI 2006: 36-40 - 2005
- [c24]Claudio Castellini, Alan Smaill:
Proof Planning for First-Order Temporal Logic. CADE 2005: 235-249 - [c23]Bin Yang, Alan Bundy, Alan Smaill, Lucas Dixon:
Deductive synthesis of workflows for e-Science. CCGRID 2005: 168-175 - 2004
- [c22]Manuel José Contreras M., Alan Smaill:
Agent Protocols as Executable Ontologies. MICAI 2004: 99-108 - 2002
- [c21]Ewen Maclean, Jacques D. Fleuriot, Alan Smaill:
Proof planning Non-standard Analysis. AI&M 2002 - [c20]Claudio Castellini, Alan Smaill:
Proof Planning for Feature Interactions: A Preliminary Report. LPAR 2002: 102-114 - 2001
- [c19]Louise A. Dennis, Alan Smaill:
Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain. TPHOLs 2001: 185-200 - 2000
- [c18]David Lacey, Julian Richardson, Alan Smaill:
Logic Program Synthesis in a Higher-Order Setting. Computational Logic 2000: 87-100 - [c17]Josh Singer, Ian P. Gent, Alan Smaill:
Local Search on Random 2+p-SAT. ECAI 2000: 113-117 - 1999
- [c16]Stephen Cresswell, Alan Smaill, Julian Richardson:
Deductive Synthesis of Recursive Plans in Linear Logic. ECP 1999: 252-264 - 1998
- [c15]Julian Richardson, Alan Smaill, Ian Green:
System Description: Proof Planning in Higher-Order Logic with Lambda-Clam. CADE 1998: 129-133 - 1997
- [c14]Alessandro Armando, Alan Smaill, Ian Green:
Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. ASE 1997: 2-9 - 1996
- [c13]Francisco J. Cantu, Alan Bundy, Alan Smaill, David A. Basin:
Experiments in Automating Hardware Verification Using Inductive Proof Planning. FMCAD 1996: 94-108 - [c12]Alan Smaill, Ian Green:
Higher-Order Annotated Terms for Proof Search. TPHOLs 1996: 399-413 - 1994
- [c11]Siani Baker, Alan Smaill:
A Proof Environment for Arithmetic with the Omega Rule. AISMC 1994: 115-130 - [c10]Bradley L. Richards, Ina Kraan, Alan Smaill, Geraint A. Wiggins:
Mollusc: A General Proof-Development Shell for Sequent-Based Logics. CADE 1994: 826-830 - 1993
- [c9]Alan Smaill, Geraint A. Wiggins, Eduardo Reck Miranda:
Music Representation - Between the Musician and the Computer. Music Education: An Artificial Intelligence Approach 1993: 108-119 - [c8]Martin D. Westhead, Alan Smaill:
Automatic Characterisation of Musical Style. Music Education: An Artificial Intelligence Approach 1993: 157-170 - 1992
- [c7]Jane Hesketh, Alan Bundy, Alan Smaill:
Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs. CADE 1992: 310-324 - [c6]Siani Baker, Andrew Ireland, Alan Smaill:
On the Use of the Constructive Omega-Rule within Automated Deduction. LPAR 1992: 214-225 - 1991
- [c5]Brian J. Ross, Alan Smaill:
An Algebraic Semantics of Prolog Program Termination. ICLP 1991: 316-330 - 1990
- [c4]Alan Bundy, Frank van Harmelen, Alan Smaill, Andrew Ireland:
Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. CADE 1990: 132-146 - [c3]Alan Bundy, Frank van Harmelen, Christian Horn, Alan Smaill:
The Oyster-Clam System. CADE 1990: 647-648 - 1989
- [c2]Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens:
A Rational Reconstruction and Extension of Recursion Analysis. IJCAI 1989: 359-365 - 1988
- [c1]Fausto Giunchiglia, Alan Smaill:
Reflection in Constructive and Non-constructive Automated Reasoning. META 1988: 123-140
Parts in Books or Collections
- 2018
- [p2]Danny de Jesús Gómez-Ramírez, Alan Smaill:
Formal Conceptual Blending in the (Co-)Invention of (Pure) Mathematics. Concept Invention 2018: 221-239 - 2000
- [p1]Geraint A. Wiggins, Alan Smaill:
Musical Knowledge: What can Artificial Intelligence Bring to the Musician? Readings in Music and Artificial Intelligence 2000: 29-46
Editorship
- 2013
- [e3]Jacques D. Fleuriot, Peter Höfner, Annabelle McIver, Alan Smaill:
ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, Manchester, UK, June 2012. EPiC Series in Computing 17, EasyChair 2013 [contents] - 2002
- [e2]Christina Anagnostopoulou, Miguel Ferrand, Alan Smaill:
Music and Artificial Intelligence, Second International Conference, ICMAI 2002, Edinburgh, Scotland, UK, September 12-14, 2002, Proceedings. Lecture Notes in Computer Science 2445, Springer 2002, ISBN 3-540-44145-X [contents] - 1994
- [e1]Matt Smith, Alan Smaill, Geraint A. Wiggins:
Music Education: An Artificial Intelligence Approach, Proceedings of a Workshop held as part of AI-ED 93, World Conference on Artificial Intelligence in Education, Edinburgh, Scotland, UK, 25 August 1993. Workshops in Computing, Springer 1994, ISBN 3-540-19873-3 [contents]
Informal and Other Publications
- 2011
- [i1]Ian P. Gent, Josh Singer, Alan Smaill:
Backbone Fragility and the Local Search Cost Peak. CoRR abs/1106.0240 (2011)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-22 20:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
