Alan Smaill

	2009
40		Markus Guhe, Alan Smaill, Alison Pease: A Formal Cognitive Model of Mathematical Metaphors. KI 2009: 323-330
39		Lucas Dixon, Alan Smaill, Tracy Tsang: Plans, Actions and Dialogues Using Linear Logic. Journal of Logic, Language and Information 18(2): 251-289 (2009)
	2008
38		Maciej Zurawski, Alan Smaill, Dave Robertson: Bounded Ontological Consistency for Scalable Dynamic Knowledge Infrastructures. ASWC 2008: 212-226
	2007
37		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
36		David Murray-Rust, Alan Smaill, Michael Edwards: MAMA: An Architecture for Interactive Musical Agents. ECAI 2006: 36-40
	2005
35		Claudio Castellini, Alan Smaill: Proof Planning for First-Order Temporal Logic. CADE 2005: 235-249
34		Bin Yang, Alan Bundy, Alan Smaill, Lucas Dixon: Deductive synthesis of workflows for e-Science. CCGRID 2005: 168-175
	2004
33		Manuel José Contreras M., Alan Smaill: Agent Protocols as Executable Ontologies. MICAI 2004: 99-108
	2002
32		Christina Anagnostopoulou, Miguel Ferrand, Alan Smaill: Music and Artificial Intelligence, Second International Conference, ICMAI 2002, Edinburgh, Scotland, UK, September 12-14, 2002, Proceedings Springer 2002
31		Ewen Maclean, Jacques D. Fleuriot, Alan Smaill: Proof planning Non-standard Analysis. AMAI 2002
30		Claudio Castellini, Alan Smaill: Proof Planning for Feature Interactions: A Preliminary Report. LPAR 2002: 102-114
29		Claudio Castellini, Alan Smaill: A Systematic Presentation of Quantified Modal Logics. Logic Journal of the IGPL 10(6): 571-599 (2002)
	2001
28		Louise A. Dennis, Alan Smaill: Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain. TPHOLs 2001: 185-200
	2000
27		David Lacey, Julian Richardson, Alan Smaill: Logic Program Synthesis in a Higher-Order Setting. Computational Logic 2000: 87-100
26		Josh Singer, Ian P. Gent, Alan Smaill: Local Search on Random 2+p-SAT. ECAI 2000: 113-117
25		Geraint A. Wiggins, Alan Smaill: Musical Knowledge: What can Artificial Intelligence Bring to the Musician? Readings in Music and Artificial Intelligence 2000: 29-46
24		Josh Singer, Ian P. Gent, Alan Smaill: Backbone Fragility and the Local Search Cost Peak. J. Artif. Intell. Res. (JAIR) 12: 235-270 (2000)
	1999
23		Stephen Cresswell, Alan Smaill, Julian Richardson: Deductive Synthesis of Recursive Plans in Linear Logic. ECP 1999: 252-264
22		Alessandro Armando, Alan Smaill, Ian Green: Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. Autom. Softw. Eng. 6(4): 329-356 (1999)
21		Peter Madden, Alan Bundy, Alan Smaill: Recursive Program Optimization Through Inductive Synthesis Proof Transformation. J. Autom. Reasoning 22(1): 65-115 (1999)
	1998
20		Julian Richardson, Alan Smaill, Ian Green: System Description: Proof Planning in Higher-Order Logic with Lambda-Clam. CADE 1998: 129-133
19		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)
	1997
18		Alessandro Armando, Alan Smaill, Ian Green: Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. ASE 1997: 2-9
	1996
17		Francisco J. Cantu, Alan Bundy, Alan Smaill, David A. Basin: Experiments in Automating Hardware Verification Using Inductive Proof Planning. FMCAD 1996: 94-108
16		Alan Smaill, Ian Green: Higher-Order Annotated Terms for Proof Search. TPHOLs 1996: 399-413
15		Edjard Mota, David Stuart Robertson, Alan Smaill: NatureTime: Temporal Granularity in Simulation of Ecosystems. J. Symb. Comput. 22(5/6): 665-698 (1996)
	1994
14		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 Springer 1994
13		Siani Baker, Alan Smaill: A Proof Environment for Arithmetic with the Omega Rule. AISMC 1994: 115-130
12		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
11		Alan Smaill, Geraint A. Wiggins, Eduardo Miranda: Music Representation - Between the Musician and the Computer. Music Education: An Artificial Intelligence Approach 1993: 108-119
10		Martin D. Westhead, Alan Smaill: Automatic Characterisation of Musical Style. Music Education: An Artificial Intelligence Approach 1993: 157-170
9		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)
	1992
8		Jane Hesketh, Alan Bundy, Alan Smaill: Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs. CADE 1992: 310-324
7		Siani Baker, Andrew Ireland, Alan Smaill: On the Use of the Constructive Omega-Rule within Automated Deduction. LPAR 1992: 214-225
	1991
6		Brian J. Ross, Alan Smaill: An Algebraic Semantics of Prolog Program Termination. ICLP 1991: 316-330
5		Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill: Experiments with Proof Plans for Induction. J. Autom. Reasoning 7(3): 303-324 (1991)
	1990
4		Alan Bundy, Frank van Harmelen, Alan Smaill, Andrew Ireland: Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. CADE 1990: 132-146
3		Alan Bundy, Frank van Harmelen, Christian Horn, Alan Smaill: The Oyster-Clam System. CADE 1990: 647-648
	1989
2		Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens: A Rational Reconstruction and Extension of Recursion Analysis. IJCAI 1989: 359-365
	1988
1		Fausto Giunchiglia, Alan Smaill: Reflection in Constructive and Non-constructive Automated Reasoning. META 1988: 123-140

Coauthor Index

1	Christina Anagnostopoulou	[32]
2	Alessandro Armando	[18] [19] [22]
3	Siani Baker	[7] [13]
4	David A. Basin	[17]
5	Alan Bundy	[2] [3] [4] [5] [8] [9] [17] [19] [21] [34]
6	Claudio Castellini	[29] [30] [35]
7	Stephen Cresswell	[23]
8	Louise A. Dennis	[28]
9	Lucas Dixon	[34] [39]
10	Michael Edwards	[36]
11	Miguel Ferrand	[32]
12	Jacques D. Fleuriot	[31]
13	Jason Gallagher	[19]
14	Ian P. Gent	[24] [26]
15	Fausto Giunchiglia	[1]
16	Ian Green	[16] [18] [20] [22]
17	Markus Guhe	[40]
18	Frank van Harmelen	[2] [3] [4] [5] [9]
19	Jane Hesketh	[2] [5] [8]
20	Christian Horn	[3]
21	Andrew Ireland	[4] [7] [9]
22	Jafreezal Jaafar	[37]
23	Ina Kraan	[12]
24	David Lacey	[27]
25	Manuel José Contreras M.	[33]
26	Ewen Maclean	[31]
27	Peter Madden	[21]
28	Eric McKenzie	[37]
29	Eduardo Miranda	[11]
30	Edjard Mota	[15]
31	David Murray-Rust	[36]
32	Francisco J. Cantú Ortiz (Francisco J. Cantu)	[17]
33	Alison Pease	[40]
34	Bradley L. Richards	[12]
35	Julian Richardson	[20] [23] [27]
36	Dave Robertson	[38]
37	David Stuart Robertson (David Robertson)	[15]
38	Brian J. Ross	[6]
39	Josh Singer	[24] [26]
40	Matt Smith	[14]
41	Andrew Stevens	[2] [9]
42	Tracy Tsang	[39]
43	Martin D. Westhead	[10]
44	Geraint A. Wiggins	[11] [12] [14] [25]
45	Bin Yang	[34]
46	Maciej Zurawski	[38]

Colors in the list of coauthors