Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Anna Ciampolini" ( http://dblp.L3S.de/Authors/Anna_Ciampolini )

  Author page on DBLP  Author page in RDF  Community of Anna Ciampolini in ASPL-2

Publication years (Num. hits)
1992-2002 (16) 2003-2010 (8)
Publication types (Num. hits)
article(10) inproceedings(14)
Venues (Conferences, Journals, ...)
Comput. Lang.(2) Inf. Process. Lett.(2) WOA(2) AAMAS(1) ACM Comput. Surv.(1) AI*IA(1) Ann. Math. Artif. Intell.(1) Applied Artificial Intelligenc...(1) CBMS(1) CEEMAS(1) CL-2000 Workshop on Computatio...(1) Computers and Artificial Intel...(1) Electr. Notes Theor. Comput. S...(1) ELP(1) GULP-PRODE(1) HAIS(1) More (+10 of total 21)
Authors
Anna Ciampolini(24) Paola Mello(23) Evelina Lamma(18) Paolo Torroni(10) Cesare Stefanelli(6) Federico Chesani(3) Marco Montali(3) Sergio Storari(3) Marco Alberti(2) Antonio Brogi(1) Davide Sottara(1) Francesca Toni(1) Marco Gavanelli(1) Michele Bugliesi(1) Stefano Bragaglia(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 24 publication records. Showing 24 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Stefano Bragaglia, Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Davide Sottara An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning. Search on Bibsonomy HAIS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Anna Ciampolini, Paola Mello, Sergio Storari An Abductive Multi-Agent System for Medical Services Coordination. Search on Bibsonomy IFIP AI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Federico Chesani, Anna Ciampolini, Paola Mello E-learning by Doing with Computational Logic. Search on Bibsonomy Knowledge Construction in E-learning Context The full citation details ... 2008 DBLP  BibTeX  RDF
1Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, Sergio Storari Protocol Specification and Verification by Using Computational Logic. Search on Bibsonomy WOA The full citation details ... 2005 DBLP  BibTeX  RDF
1Anna Ciampolini, Paola Mello, Marco Montali, Sergio Storari Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols. Search on Bibsonomy CBMS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Anna Ciampolini, Paolo Torroni Using Abductive Logic Agents For Modeling The Judicial Evaluation Of Criminal Evidence. Search on Bibsonomy Applied Artificial Intelligence The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Anna Ciampolini, Evelina Lamma, Paola Mello, Francesca Toni, Paolo Torroni Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni A Social ACL Semantics by Deontic Constraints. Search on Bibsonomy CEEMAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni A Proof-System for the Safe Execution of Tasks in Multi-agent Systems. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Anna Ciampolini, Paola Mello, Paolo Torroni, Evelina Lamma Coordinating the safe execution of tasks in a constrained multi-agent system. Search on Bibsonomy AAMAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni LAILA: a language for coordinating abductive reasoning among logic agents. Search on Bibsonomy Comput. Lang. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni Expressing Collaboration And Competition Among Abductive Logic Agents. Search on Bibsonomy WOA The full citation details ... 2000 DBLP  BibTeX  RDF
1Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni Expressing Collaborative and Competitive Coordination among Abductive. Search on Bibsonomy CL-2000 Workshop on Computational Logic in Multi-Agent Systems The full citation details ... 2000 DBLP  BibTeX  RDF
1Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli Abductive Coordination for Logic Agents. Search on Bibsonomy SAC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli, Paolo Torroni An Implementation for Abductive Logic Agents. Search on Bibsonomy AI*IA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Michele Bugliesi, Anna Ciampolini, Evelina Lamma, Paola Mello Optimizing Modular Logic Languages. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Anna Ciampolini, Evelina Lamma, Cesare Stefanelli, Paola Mello Blackboard- and Object-Based Systems via Multi-Head Clauses. Search on Bibsonomy Computers and Artificial Intelligence The full citation details ... 1997 DBLP  BibTeX  RDF
1Anna Ciampolini, Evelina Lamma, Paola Mello An Abstract Interpretation Framework for Optimizing Dynamic Modular Logic Languages. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Anna Ciampolini, Evelina Lamma, Paola Mello An Optimized Implementation of a Dynamic Modular Logic Language. Search on Bibsonomy Software - Concepts and Tools The full citation details ... 1996 DBLP  BibTeX  RDF
1Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli Distributed logic objects: A fragment of rewriting logic and its implementation. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Anna Ciampolini, Evelina Lamma, Cesare Stefanelli, Paola Mello Distributed Logic Objects. Search on Bibsonomy Comput. Lang. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Anna Ciampolini, Evelina Lamma, Paola Mello Improving the Efficiency of Dynamic Modular Logic Languages. Search on Bibsonomy GULP-PRODE The full citation details ... 1995 DBLP  BibTeX  RDF
1Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Antonio Brogi, Anna Ciampolini, Evelina Lamma, Paola Mello The Implementation of a Distributed Model for Logic Programming Based on Multiple-Headed Clauses. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #24 of 24 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.