Alan Smaill

2008
38	EE	Maciej Zurawski, Alan Smaill, Dave Robertson: Bounded Ontological Consistency for Scalable Dynamic Knowledge Infrastructures. ASWC 2008: 212-226
2007
37	EE	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	EE	Claudio Castellini, Alan Smaill: Proof Planning for First-Order Temporal Logic. CADE 2005: 235-249
34	EE	Bin Yang, Alan Bundy, Alan Smaill, Lucas Dixon: Deductive synthesis of workflows for e-Science. CCGRID 2005: 168-175
2004
33	EE	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	EE	Ewen Maclean, Jacques D. Fleuriot, Alan Smaill: Proof planning Non-standard Analysis. AMAI 2002
30	EE	Claudio Castellini, Alan Smaill: Proof Planning for Feature Interactions: A Preliminary Report. LPAR 2002: 102-114
29	EE	Claudio Castellini, Alan Smaill: A Systematic Presentation of Quantified Modal Logics. Logic Journal of the IGPL 10(6): 571-599 (2002)
2001
28	EE	Louise A. Dennis, Alan Smaill: Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain. TPHOLs 2001: 185-200
2000
27	EE	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	EE	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	EE	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	EE	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]
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	Frank van Harmelen	[2] [3] [4] [5] [9]
18	Jane Hesketh	[2] [5] [8]
19	Christian Horn	[3]
20	Andrew Ireland	[4] [7] [9]
21	Jafreezal Jaafar	[37]
22	Ina Kraan	[12]
23	David Lacey	[27]
24	Manuel José Contreras M.	[33]
25	Ewen Maclean	[31]
26	Peter Madden	[21]
27	Eric McKenzie	[37]
28	Eduardo Miranda	[11]
29	Edjard Mota	[15]
30	David Murray-Rust	[36]
31	Francisco J. Cantú Ortiz (Francisco J. Cantu)	[17]
32	Bradley L. Richards	[12]
33	Julian Richardson	[20] [23] [27]
34	Dave Robertson	[38]
35	David Stuart Robertson	[15]
36	Brian J. Ross	[6]
37	Josh Singer	[24] [26]
38	Matt Smith	[14]
39	Andrew Stevens	[2] [9]
40	Martin D. Westhead	[10]
41	Geraint A. Wiggins	[11] [12] [14] [25]
42	Bin Yang	[34]
43	Maciej Zurawski	[38]

Colors in the list of coauthors