Fariba Sadri

2008
38		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
2007
37	EE	Fariba Sadri: Multi-agent Cooperative Planning and Information Gathering. CIA 2007: 72-88
36	EE	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	EE	Fariba Sadri, Francesca Toni: A Formal Analysis of KGP Agents. JELIA 2006: 413-425
33	EE	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	EE	Fariba Sadri: Using the KGP Model of Agency to Design Applications (Tutorial Paper). CLIMA VI 2005: 165-185
31	EE	Fariba Sadri, Francesca Toni: Variety of Behaviours Through Profiles in Logic-Based Agents. CLIMA VI 2005: 206-225
30	EE	Fariba Sadri, Francesca Toni, Kostas Stathis: Normative KGP Agents: A Preliminary Report. NORMAS 2005: 85-96
2004
29	EE	Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: Planning Partially for Situated Agents. CLIMA V 2004: 230-248
28	EE	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	EE	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	EE	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	EE	Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: Abductive Logic Programming with CIFF: System Description. JELIA 2004: 680-684
2003
23	EE	Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni: On optimal outcomes of negotiations over resources. AAMAS 2003: 177-184
22	EE	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	EE	Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni: Logic-Based Agent Communication Protocols. Workshop on Agent Communication Languages 2003: 91-107
18	EE	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	EE	Fariba Sadri, Francesca Toni, Paolo Torroni: An Abductive Logic Programming Architecture for Negotiating Agents. JELIA 2002: 419-431
2001
14	EE	Fariba Sadri, Francesca Toni, Paolo Torroni: Dialogues for Negotiation: Agent Varieties and Dialogue Sequences. ATAL 2001: 405-421
13	EE	Krzysztof R. Apt, Antonis C. Kakas, Fariba Sadri: Editorial. ACM Trans. Comput. Log. 2(4): 431 (2001)
1999
12	EE	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	EE	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	EE	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]
8	Peter Hammond	[1]
9	Antonis C. Kakas	[13] [16] [17] [26] [27] [28]
10	Robert A. Kowalski	[1] [2] [3] [4] [5] [6] [7] [8] [9] [11]
11	F. Kriwaczek	[1]
12	Wenjin Lu	[26]
13	Paolo Mancarella	[24] [25] [26] [27] [28] [29] [36]
14	Nicolas Maudet	[19] [21] [22] [23] [33]
15	Ken Satoh	[18] [38]
16	Marek J. Sergot	[1]
17	Paul Soper	[2]
18	Kostas Stathis	[26] [27] [28] [30]
19	Giacomo Terreni	[24] [25] [26] [29] [36]
20	Francesca Toni	[10] [12] [14] [15] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [33] [34] [35] [36]
21	Paolo Torroni	[14] [15] [20]