The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Anna Ciampolini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli
    Abductive Coordination for Logic Agents. [Citation Graph (0, 0)][DBLP]
    SAC, 1999, pp:134-140 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]

  22. An Abductive Multi-Agent System for Medical Services Coordination. [Citation Graph (, )][DBLP]


  23. An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning. [Citation Graph (, )][DBLP]


  24. E-learning by Doing with Computational Logic. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002