Alan Smaill - RankMe

58 papers A* 2A 8B 6C 4Misc 3Journal 17Unranked 13

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