Fariba Sadri Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael 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
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert A. Kowalski, Fariba Sadri: Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents. RR 2009: 1-23
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo 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)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo 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
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFariba 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
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonis 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
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFariba Sadri: Multi-agent Cooperative Planning and Information Gathering. CIA 2007: 72-88
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: Programming Applications in CIFF. LPNMR 2007: 284-289
2006
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFariba Sadri, Francesca Toni: Interleaving Belief Updating and Reasoning in Abductive Logic Programming. ECAI 2006: 442-446
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFariba Sadri, Francesca Toni: A Formal Analysis of KGP Agents. JELIA 2006: 413-425
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni: Negotiating Socially Optimal Allocations of Resources. J. Artif. Intell. Res. (JAIR) 25: 315-348 (2006)
2005
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFariba Sadri: Using the KGP Model of Agency to Design Applications (Tutorial Paper). CLIMA VI 2005: 165-185
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFariba Sadri, Francesca Toni: Variety of Behaviours Through Profiles in Logic-Based Agents. CLIMA VI 2005: 206-225
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFariba Sadri, Francesca Toni, Kostas Stathis: Normative KGP Agents: A Preliminary Report. NORMAS 2005: 85-96
2004
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: Planning Partially for Situated Agents. CLIMA V 2004: 230-248
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni: Declarative Agent Control. CLIMA V 2004: 96-110
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni: The KGP Model of Agency. ECAI 2004: 33-37
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea 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
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: The CIFF Proof Procedure for Abductive Logic Programming with Constraints. JELIA 2004: 31-43
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: Abductive Logic Programming with CIFF: System Description. JELIA 2004: 680-684
2003
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni: On optimal outcomes of negotiations over resources. AAMAS 2003: 177-184
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni: Aspects of protocol conformance in inter-agent dialogue. AAMAS 2003: 982-983
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni: Protocol Conformance for Logic-based Agents. IJCAI 2003: 679-684
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFariba Sadri, Francesca Toni, Paolo Torroni: Minimally intrusive negotiating agents for resource sharing. IJCAI 2003: 796-804
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni: Logic-Based Agent Communication Protocols. Workshop on Agent Communication Languages 2003: 91-107
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Fariba Sadri, Ken Satoh: Introduction. Ann. Math. Artif. Intell. 37(1-2): 1-3 (2003)
2002
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonis C. Kakas, Fariba Sadri: Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I Springer 2002
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonis C. Kakas, Fariba Sadri: Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II Springer 2002
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFariba Sadri, Francesca Toni, Paolo Torroni: An Abductive Logic Programming Architecture for Negotiating Agents. JELIA 2002: 419-431
2001
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFariba Sadri, Francesca Toni, Paolo Torroni: Dialogues for Negotiation: Agent Varieties and Dialogue Sequences. ATAL 2001: 405-421
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrzysztof R. Apt, Antonis C. Kakas, Fariba Sadri: Editorial. ACM Trans. Comput. Log. 2(4): 431 (2001)
1999
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFariba Sadri, Francesca Toni: Abduction with Negation as Failure for Active and Reactive Rules. AI*IA 1999: 49-60
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert A. Kowalski, Fariba Sadri: From Logic Programming Towards Multi-Agent Systems. Ann. Math. Artif. Intell. 25(3-4): 391-419 (1999)
1998
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Dell'Acqua, Fariba Sadri, Francesca Toni: Combining Introspection and Communication with Rationality and Reactivity in Agents. JELIA 1998: 17-32
1997
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert A. Kowalski, Fariba Sadri: Reconciling the Event Calculus With the Situation Calculus. J. Log. Program. 31(1-3): 39-58 (1997)
1996
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert A. Kowalski, Fariba Sadri: Towards a Unified Agent Architecture that Combines Rationality with Reactivity. Logic in Databases 1996: 137-149
1995
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFariba Sadri, Robert A. Kowalski: Variants of the Event Calculus. ICLP 1995: 67-81
1994
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert A. Kowalski, Fariba Sadri: The Situation Calculus and Event Calculus Compared. SLP 1994: 539-553
1991
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert A. Kowalski, Fariba Sadri: Logic Programs with Exceptions. New Generation Comput. 9(3/4): 387-400 (1991)
1990
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert A. Kowalski, Fariba Sadri: Logic Programs with Exceptions. ICLP 1990: 598-613
1988
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFariba Sadri, Robert A. Kowalski: A Theorem-Proving Approach to Database Integrity. Foundations of Deductive Databases and Logic Programming. 1988: 313-362
1987
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert A. Kowalski, Fariba Sadri, Paul Soper: Integrity Checking in Deductive Databases. VLDB 1987: 61-69
1986
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarek 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

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

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)