Alan Smaill Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)