The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alan Smaill: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alan Smaill, Geraint A. Wiggins, Eduardo Miranda
    Music Representation - Between the Musician and the Computer. [Citation Graph (0, 0)][DBLP]
    Music Education: An Artificial Intelligence Approach, 1993, pp:108-119 [Conf]
  2. Martin D. Westhead, Alan Smaill
    Automatic Characterisation of Musical Style. [Citation Graph (0, 0)][DBLP]
    Music Education: An Artificial Intelligence Approach, 1993, pp:157-170 [Conf]
  3. Siani Baker, Alan Smaill
    A Proof Environment for Arithmetic with the Omega Rule. [Citation Graph (0, 0)][DBLP]
    AISMC, 1994, pp:115-130 [Conf]
  4. Ewen Maclean, Jacques D. Fleuriot, Alan Smaill
    Proof planning Non-standard Analysis. [Citation Graph (0, 0)][DBLP]
    AMAI, 2002, pp:- [Conf]
  5. Alan Bundy, Frank van Harmelen, Christian Horn, Alan Smaill
    The Oyster-Clam System. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:647-648 [Conf]
  6. Alan Bundy, Frank van Harmelen, Alan Smaill, Andrew Ireland
    Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:132-146 [Conf]
  7. Claudio Castellini, Alan Smaill
    Proof Planning for First-Order Temporal Logic. [Citation Graph (0, 0)][DBLP]
    CADE, 2005, pp:235-249 [Conf]
  8. Jane Hesketh, Alan Bundy, Alan Smaill
    Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:310-324 [Conf]
  9. Bradley L. Richards, Ina Kraan, Alan Smaill, Geraint A. Wiggins
    Mollusc: A General Proof-Development Shell for Sequent-Based Logics. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:826-830 [Conf]
  10. Julian Richardson, Alan Smaill, Ian Green
    System Description: Proof Planning in Higher-Order Logic with Lambda-Clam. [Citation Graph (0, 0)][DBLP]
    CADE, 1998, pp:129-133 [Conf]
  11. Bin Yang, Alan Bundy, Alan Smaill, Lucas Dixon
    Deductive synthesis of workflows for e-Science. [Citation Graph (0, 0)][DBLP]
    CCGRID, 2005, pp:168-175 [Conf]
  12. David Lacey, Julian Richardson, Alan Smaill
    Logic Program Synthesis in a Higher-Order Setting. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:87-100 [Conf]
  13. David Murray-Rust, Alan Smaill, Michael Edwards
    MAMA: An Architecture for Interactive Musical Agents. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:36-40 [Conf]
  14. Josh Singer, Ian P. Gent, Alan Smaill
    Local Search on Random 2+p-SAT. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:113-117 [Conf]
  15. Stephen Cresswell, Alan Smaill, Julian Richardson
    Deductive Synthesis of Recursive Plans in Linear Logic. [Citation Graph (0, 0)][DBLP]
    ECP, 1999, pp:252-264 [Conf]
  16. Francisco J. Cantu, Alan Bundy, Alan Smaill, David A. Basin
    Experiments in Automating Hardware Verification Using Inductive Proof Planning. [Citation Graph (0, 0)][DBLP]
    FMCAD, 1996, pp:94-108 [Conf]
  17. Brian J. Ross, Alan Smaill
    An Algebraic Semantics of Prolog Program Termination. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:316-330 [Conf]
  18. Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens
    A Rational Reconstruction and Extension of Recursion Analysis. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1989, pp:359-365 [Conf]
  19. Alessandro Armando, Alan Smaill, Ian Green
    Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. [Citation Graph (0, 0)][DBLP]
    ASE, 1997, pp:2-9 [Conf]
  20. Claudio Castellini, Alan Smaill
    Proof Planning for Feature Interactions: A Preliminary Report. [Citation Graph (0, 0)][DBLP]
    LPAR, 2002, pp:102-114 [Conf]
  21. Siani Baker, Andrew Ireland, Alan Smaill
    On the Use of the Constructive Omega-Rule within Automated Deduction. [Citation Graph (0, 0)][DBLP]
    LPAR, 1992, pp:214-225 [Conf]
  22. Fausto Giunchiglia, Alan Smaill
    Reflection in Constructive and Non-constructive Automated Reasoning. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:123-140 [Conf]
  23. Manuel José Contreras M., Alan Smaill
    Agent Protocols as Executable Ontologies. [Citation Graph (0, 0)][DBLP]
    MICAI, 2004, pp:99-108 [Conf]
  24. Louise A. Dennis, Alan Smaill
    Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2001, pp:185-200 [Conf]
  25. Alan Smaill, Ian Green
    Higher-Order Annotated Terms for Proof Search. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1996, pp:399-413 [Conf]
  26. Alan Bundy, Andrew Stevens, Frank van Harmelen, Andrew Ireland, Alan Smaill
    Rippling: A Heuristic for Guiding Inductive Proofs. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1993, v:62, n:2, pp:185-253 [Journal]
  27. Alessandro Armando, Jason Gallagher, Alan Smaill, Alan Bundy
    Automating the Synthesis of Decision Procedures in a Constructive Metatheory. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1998, v:22, n:3-4, pp:259-279 [Journal]
  28. Alessandro Armando, Alan Smaill, Ian Green
    Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 1999, v:6, n:4, pp:329-356 [Journal]
  29. Claudio Castellini, Alan Smaill
    A Systematic Presentation of Quantified Modal Logics. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2002, v:10, n:6, pp:571-599 [Journal]
  30. Josh Singer, Ian P. Gent, Alan Smaill
    Backbone Fragility and the Local Search Cost Peak. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2000, v:12, n:, pp:235-270 [Journal]
  31. Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill
    Experiments with Proof Plans for Induction. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1991, v:7, n:3, pp:303-324 [Journal]
  32. Peter Madden, Alan Bundy, Alan Smaill
    Recursive Program Optimization Through Inductive Synthesis Proof Transformation. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1999, v:22, n:1, pp:65-115 [Journal]
  33. Edjard Mota, David Stuart Robertson, Alan Smaill
    NatureTime: Temporal Granularity in Simulation of Ecosystems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:22, n:5/6, pp:665-698 [Journal]

  34. Bounded Ontological Consistency for Scalable Dynamic Knowledge Infrastructures. [Citation Graph (, )][DBLP]


  35. A Fuzzy Action Selection Method for Virtual Agent Navigation in Unknown Virtual Environments. [Citation Graph (, )][DBLP]


  36. A Formal Cognitive Model of Mathematical Metaphors. [Citation Graph (, )][DBLP]


Search in 0.055secs, Finished in 0.056secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002