Informatics Report Series


Alan Smaill

Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Report Date Title
EDI-INF-RR-1300 2009 Plans, Actions and Dialogue using Linear Logic
EDI-INF-RR-0868 Jul 2005 Musical Acts and Musical Agents
EDI-INF-RR-0867 Aug 2005 VirtuaLatin - towards a musical multi-agent system
EDI-INF-RR-0866 Sep 2006 MAMA: An architecture for interactive musical agents
EDI-INF-RR-0786 2006 Planning as Deductive Synthesis in Intuitionistic Linear Logic
EDI-INF-RR-0785 2002 Music and Artificial Intelligence: Second International Conference, ICMAI 2002
EDI-INF-RR-0290 Jul 2005 Proof Planning for First-Order Temporal Logic
EDI-INF-RR-0175 Mar 2002 Proof-planning Non-standard Analysis (ii)
EDI-INF-RR-0173 Jan 2002 Proof-planning Non-standard Analysis
EDI-INF-RR-0155 Jun 2001 Tactic-based theorem proving in first-order modal and temporal logics
EDI-INF-RR-0153 Oct 2002 Proof Planning for Feature Interactions: a preliminary report
EDI-INF-RR-0152 Oct 2000 A modular, tactic-based approach to first-order temporal theorem proving
EDI-INF-RR-0150 Sep 2002 A Systematic Presentation of Quantified Modal Logics
EDI-INF-RR-0056 Nov 2001 A Multi-agent Approach to Modelling Interaction in Human Mathematical Reasoning
EDI-INF-RR-0040 Apr 2001 Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain

Home : Publications : Author 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh