Anna Ciampolini

	2010
24		Stefano Bragaglia, Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Davide Sottara: An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning. HAIS (1) 2010: 438-445
	2008
23		Anna Ciampolini, Paola Mello, Sergio Storari: An Abductive Multi-Agent System for Medical Services Coordination. IFIP AI 2008: 421-425
22		Federico Chesani, Anna Ciampolini, Paola Mello: E-learning by Doing with Computational Logic. Knowledge Construction in E-learning Context 2008
	2005
21		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		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		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		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		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		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		Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli, Paolo Torroni: An Implementation for Abductive Logic Agents. AI*IA 1999: 61-71
10		Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli: Abductive Coordination for Logic Agents. SAC 1999: 134-140
	1998
9		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		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: 110-125 (1996)
5		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)

Coauthor Index

1	Marco Alberti	[18] [20]
2	Stefano Bragaglia	[24]
3	Antonio Brogi	[1]
4	Michele Bugliesi	[9]
5	Federico Chesani	[20] [22] [24]
6	Marco Gavanelli	[18]
7	Evelina Lamma	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18]
8	Paola Mello	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [20] [21] [22] [23] [24]
9	Marco Montali	[20] [21] [24]
10	Davide Sottara	[24]
11	Cesare Stefanelli	[2] [6] [7] [8] [10] [11]
12	Sergio Storari	[20] [21] [23]
13	Francesca Toni	[17]
14	Paolo Torroni	[11] [12] [13] [14] [15] [16] [17] [18] [19] [20]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page