Fariba Sadri

	2009
43		Michael Fisher, Fariba Sadri, Michael Thielscher: Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers Springer 2009
42		Robert A. Kowalski, Fariba Sadri: Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents. RR 2009: 1-23
41		Paolo Mancarella, Giacomo Terreni, Fariba Sadri, Francesca Toni, Ulrich Endriss: The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments CoRR abs/0906.1182: (2009)
40		Paolo Mancarella, Giacomo Terreni, Fariba Sadri, Francesca Toni, Ulle Endriss: The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments. TPLP 9(6): 691-750 (2009)
	2008
39		Fariba Sadri, Ken Satoh: Computational Logic in Multi-Agent Systems, 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers Springer 2008
38		Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni: Computational Logic Foundations of KGP Agents. J. Artif. Intell. Res. (JAIR) 33: 285-348 (2008)
	2007
37		Fariba Sadri: Multi-agent Cooperative Planning and Information Gathering. CIA 2007: 72-88
36		Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: Programming Applications in CIFF. LPNMR 2007: 284-289
	2006
35		Fariba Sadri, Francesca Toni: Interleaving Belief Updating and Reasoning in Abductive Logic Programming. ECAI 2006: 442-446
34		Fariba Sadri, Francesca Toni: A Formal Analysis of KGP Agents. JELIA 2006: 413-425
33		Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni: Negotiating Socially Optimal Allocations of Resources. J. Artif. Intell. Res. (JAIR) 25: 315-348 (2006)
	2005
32		Fariba Sadri: Using the KGP Model of Agency to Design Applications (Tutorial Paper). CLIMA VI 2005: 165-185
31		Fariba Sadri, Francesca Toni: Variety of Behaviours Through Profiles in Logic-Based Agents. CLIMA VI 2005: 206-225
30		Fariba Sadri, Francesca Toni, Kostas Stathis: Normative KGP Agents: A Preliminary Report. NORMAS 2005: 85-96
	2004
29		Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: Planning Partially for Situated Agents. CLIMA V 2004: 230-248
28		Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni: Declarative Agent Control. CLIMA V 2004: 96-110
27		Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni: The KGP Model of Agency. ECAI 2004: 33-37
26		Andrea Bracciali, Neophytos Demetriou, Ulrich Endriss, Antonis C. Kakas, Wenjin Lu, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Giacomo Terreni, Francesca Toni: The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation. Global Computing 2004: 340-367
25		Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: The CIFF Proof Procedure for Abductive Logic Programming with Constraints. JELIA 2004: 31-43
24		Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: Abductive Logic Programming with CIFF: System Description. JELIA 2004: 680-684
	2003
23		Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni: On optimal outcomes of negotiations over resources. AAMAS 2003: 177-184
22		Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni: Aspects of protocol conformance in inter-agent dialogue. AAMAS 2003: 982-983
21		Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni: Protocol Conformance for Logic-based Agents. IJCAI 2003: 679-684
20		Fariba Sadri, Francesca Toni, Paolo Torroni: Minimally intrusive negotiating agents for resource sharing. IJCAI 2003: 796-804
19		Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni: Logic-Based Agent Communication Protocols. Workshop on Agent Communication Languages 2003: 91-107
18		Jürgen Dix, Fariba Sadri, Ken Satoh: Introduction. Ann. Math. Artif. Intell. 37(1-2): 1-3 (2003)
	2002
17		Antonis C. Kakas, Fariba Sadri: Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I Springer 2002
16		Antonis C. Kakas, Fariba Sadri: Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II Springer 2002
15		Fariba Sadri, Francesca Toni, Paolo Torroni: An Abductive Logic Programming Architecture for Negotiating Agents. JELIA 2002: 419-431
	2001
14		Fariba Sadri, Francesca Toni, Paolo Torroni: Dialogues for Negotiation: Agent Varieties and Dialogue Sequences. ATAL 2001: 405-421
13		Krzysztof R. Apt, Antonis C. Kakas, Fariba Sadri: Editorial. ACM Trans. Comput. Log. 2(4): 431 (2001)
	1999
12		Fariba Sadri, Francesca Toni: Abduction with Negation as Failure for Active and Reactive Rules. AI*IA 1999: 49-60
11		Robert A. Kowalski, Fariba Sadri: From Logic Programming Towards Multi-Agent Systems. Ann. Math. Artif. Intell. 25(3-4): 391-419 (1999)
	1998
10		Pierangelo Dell'Acqua, Fariba Sadri, Francesca Toni: Combining Introspection and Communication with Rationality and Reactivity in Agents. JELIA 1998: 17-32
	1997
9		Robert A. Kowalski, Fariba Sadri: Reconciling the Event Calculus With the Situation Calculus. J. Log. Program. 31(1-3): 39-58 (1997)
	1996
8		Robert A. Kowalski, Fariba Sadri: Towards a Unified Agent Architecture that Combines Rationality with Reactivity. Logic in Databases 1996: 137-149
	1995
7		Fariba Sadri, Robert A. Kowalski: Variants of the Event Calculus. ICLP 1995: 67-81
	1994
6		Robert A. Kowalski, Fariba Sadri: The Situation Calculus and Event Calculus Compared. SLP 1994: 539-553
	1991
5		Robert A. Kowalski, Fariba Sadri: Logic Programs with Exceptions. New Generation Comput. 9(3/4): 387-400 (1991)
	1990
4		Robert A. Kowalski, Fariba Sadri: Logic Programs with Exceptions. ICLP 1990: 598-613
	1988
3		Fariba Sadri, Robert A. Kowalski: A Theorem-Proving Approach to Database Integrity. Foundations of Deductive Databases and Logic Programming. 1988: 313-362
	1987
2		Robert A. Kowalski, Fariba Sadri, Paul Soper: Integrity Checking in Deductive Databases. VLDB 1987: 61-69
	1986
1		Marek J. Sergot, Fariba Sadri, Robert A. Kowalski, F. Kriwaczek, Peter Hammond, H. T. Cory: The British Nationality Act as a Logic Program. Commun. ACM 29(5): 370-386 (1986)

Coauthor Index

1	Krzysztof R. Apt	[13]
2	Andrea Bracciali	[26]
3	H. T. Cory	[1]
4	Pierangelo Dell'Acqua	[10]
5	Neophytos Demetriou	[26]
6	Jürgen Dix	[18]
7	Ulrich Endriss (Ulle Endriss)	[19] [21] [22] [23] [24] [25] [26] [33] [40] [41]
8	Michael Fisher	[43]
9	Peter Hammond	[1]
10	Antonis C. Kakas	[13] [16] [17] [26] [27] [28] [38]
11	Robert A. Kowalski	[1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [42]
12	F. Kriwaczek	[1]
13	Wenjin Lu	[26]
14	Paolo Mancarella	[24] [25] [26] [27] [28] [29] [36] [38] [40] [41]
15	Nicolas Maudet	[19] [21] [22] [23] [33]
16	Ken Satoh	[18] [39]
17	Marek J. Sergot	[1]
18	Paul Soper	[2]
19	Kostas Stathis	[26] [27] [28] [30] [38]
20	Giacomo Terreni	[24] [25] [26] [29] [36] [40] [41]
21	Michael Thielscher	[43]
22	Francesca Toni	[10] [12] [14] [15] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [33] [34] [35] [36] [38] [40] [41]
23	Paolo Torroni	[14] [15] [20]