dblp.uni-trier.dewww.uni-trier.de

Alan Smaill Vis

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

*2009
39EEMarkus Guhe, Alan Smaill, Alison Pease: A Formal Cognitive Model of Mathematical Metaphors. KI 2009: 323-330
2008
38EEMaciej Zurawski, Alan Smaill, Dave Robertson: Bounded Ontological Consistency for Scalable Dynamic Knowledge Infrastructures. ASWC 2008: 212-226
2007
37EEJafreezal 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
35EEClaudio Castellini, Alan Smaill: Proof Planning for First-Order Temporal Logic. CADE 2005: 235-249
34EEBin Yang, Alan Bundy, Alan Smaill, Lucas Dixon: Deductive synthesis of workflows for e-Science. CCGRID 2005: 168-175
2004
33EEManuel 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
31EEEwen Maclean, Jacques D. Fleuriot, Alan Smaill: Proof planning Non-standard Analysis. AMAI 2002
30EEClaudio Castellini, Alan Smaill: Proof Planning for Feature Interactions: A Preliminary Report. LPAR 2002: 102-114
29EEClaudio Castellini, Alan Smaill: A Systematic Presentation of Quantified Modal Logics. Logic Journal of the IGPL 10(6): 571-599 (2002)
2001
28EELouise A. Dennis, Alan Smaill: Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain. TPHOLs 2001: 185-200
2000
27EEDavid 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
24EEJosh 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
20EEJulian 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
18EEAlessandro 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
16EEAlan 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
12EEBradley 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
8EEJane Hesketh, Alan Bundy, Alan Smaill: Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs. CADE 1992: 310-324
7EESiani 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
4EEAlan Bundy, Frank van Harmelen, Alan Smaill, Andrew Ireland: Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. CADE 1990: 132-146
3EEAlan 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

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]
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 [39]
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 [39]
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]
42Martin D. Westhead [10]
43Geraint A. Wiggins [11] [12] [14] [25]
44Bin Yang [34]
45Maciej Zurawski [38]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)