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