| 2008 |
|---|
| 23 | EE | Anna Ciampolini,
Paola Mello,
Sergio Storari:
An Abductive Multi-Agent System for Medical Services Coordination.
IFIP AI 2008: 421-425 |
| 22 | EE | Federico Chesani,
Anna Ciampolini,
Paola Mello:
E-learning by Doing with Computational Logic.
Knowledge Construction in E-learning Context 2008 |
| 2005 |
|---|
| 21 | EE | Anna Ciampolini,
Paola Mello,
Marco Montali,
Sergio Storari:
Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols.
CBMS 2005: 503-505 |
| 20 | EE | Federico Chesani,
Anna Ciampolini,
Paola Mello,
Marco Montali,
Paolo Torroni,
Marco Alberti,
Sergio Storari:
Protocol Specification and Verification by Using Computational Logic.
WOA 2005: 184-192 |
| 2004 |
|---|
| 19 | EE | Anna Ciampolini,
Paolo Torroni:
Using Abductive Logic Agents For Modeling The Judicial Evaluation Of Criminal Evidence.
Applied Artificial Intelligence 18(3-4): 251-275 (2004) |
| 2003 |
|---|
| 18 | EE | Marco Alberti,
Anna Ciampolini,
Marco Gavanelli,
Evelina Lamma,
Paola Mello,
Paolo Torroni:
A Social ACL Semantics by Deontic Constraints.
CEEMAS 2003: 204-213 |
| 17 | | Anna Ciampolini,
Evelina Lamma,
Paola Mello,
Francesca Toni,
Paolo Torroni:
Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate.
Ann. Math. Artif. Intell. 37(1-2): 65-91 (2003) |
| 2002 |
|---|
| 16 | EE | Anna Ciampolini,
Paola Mello,
Paolo Torroni,
Evelina Lamma:
Coordinating the safe execution of tasks in a constrained multi-agent system.
AAMAS 2002: 940-941 |
| 15 | EE | Anna Ciampolini,
Evelina Lamma,
Paola Mello,
Paolo Torroni:
A Proof-System for the Safe Execution of Tasks in Multi-agent Systems.
JELIA 2002: 14-26 |
| 2001 |
|---|
| 14 | | Anna Ciampolini,
Evelina Lamma,
Paola Mello,
Paolo Torroni:
LAILA: a language for coordinating abductive reasoning among logic agents.
Comput. Lang. 27(4): 137-161 (2001) |
| 2000 |
|---|
| 13 | | Anna Ciampolini,
Evelina Lamma,
Paola Mello,
Paolo Torroni:
Expressing Collaborative and Competitive Coordination among Abductive.
CL-2000 Workshop on Computational Logic in Multi-Agent Systems 2000: 35-43 |
| 12 | | Anna Ciampolini,
Evelina Lamma,
Paola Mello,
Paolo Torroni:
Expressing Collaboration And Competition Among Abductive Logic Agents.
WOA 2000: 64-69 |
| 1999 |
|---|
| 11 | EE | Anna Ciampolini,
Evelina Lamma,
Paola Mello,
Cesare Stefanelli,
Paolo Torroni:
An Implementation for Abductive Logic Agents.
AI*IA 1999: 61-71 |
| 10 | EE | Anna Ciampolini,
Evelina Lamma,
Paola Mello,
Cesare Stefanelli:
Abductive Coordination for Logic Agents.
SAC 1999: 134-140 |
| 1998 |
|---|
| 9 | EE | Michele Bugliesi,
Anna Ciampolini,
Evelina Lamma,
Paola Mello:
Optimizing Modular Logic Languages.
ACM Comput. Surv. 30(3es): 10 (1998) |
| 1997 |
|---|
| 8 | | Anna Ciampolini,
Evelina Lamma,
Cesare Stefanelli,
Paola Mello:
Blackboard- and Object-Based Systems via Multi-Head Clauses.
Computers and Artificial Intelligence 16(4): (1997) |
| 1996 |
|---|
| 7 | | Anna Ciampolini,
Evelina Lamma,
Cesare Stefanelli,
Paola Mello:
Distributed Logic Objects.
Comput. Lang. 22(4): 237-258 (1996) |
| 6 | EE | Anna Ciampolini,
Evelina Lamma,
Paola Mello,
Cesare Stefanelli:
Distributed logic objects: A fragment of rewriting logic and its implementation.
Electr. Notes Theor. Comput. Sci. 4: (1996) |
| 5 | EE | Anna Ciampolini,
Evelina Lamma,
Paola Mello:
An Abstract Interpretation Framework for Optimizing Dynamic Modular Logic Languages.
Inf. Process. Lett. 58(4): 163-170 (1996) |
| 4 | | Anna Ciampolini,
Evelina Lamma,
Paola Mello:
An Optimized Implementation of a Dynamic Modular Logic Language.
Software - Concepts and Tools 17(4): 148-162 (1996) |
| 1995 |
|---|
| 3 | | Anna Ciampolini,
Evelina Lamma,
Paola Mello:
Improving the Efficiency of Dynamic Modular Logic Languages.
GULP-PRODE 1995: 347-358 |
| 1993 |
|---|
| 2 | | Anna Ciampolini,
Evelina Lamma,
Paola Mello,
Cesare Stefanelli:
Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture.
ELP 1993: 62-76 |
| 1992 |
|---|
| 1 | | Antonio Brogi,
Anna Ciampolini,
Evelina Lamma,
Paola Mello:
The Implementation of a Distributed Model for Logic Programming Based on Multiple-Headed Clauses.
Inf. Process. Lett. 42(6): 331-338 (1992) |
