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