| 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
|
