|
Search the dblp DataBase
Fariba Sadri:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Robert A. Kowalski, Fariba Sadri, Paul Soper
Integrity Checking in Deductive Databases. [Citation Graph (20, 6)][DBLP] VLDB, 1987, pp:61-69 [Conf]
- Robert A. Kowalski, Fariba Sadri
Logic Programs with Exceptions. [Citation Graph (7, 0)][DBLP] ICLP, 1990, pp:598-613 [Conf]
- Robert A. Kowalski, Fariba Sadri
The Situation Calculus and Event Calculus Compared. [Citation Graph (1, 0)][DBLP] SLP, 1994, pp:539-553 [Conf]
- Marek J. Sergot, Fariba Sadri, Robert A. Kowalski, F. Kriwaczek, Peter Hammond, H. T. Cory
The British Nationality Act as a Logic Program. [Citation Graph (1, 0)][DBLP] Commun. ACM, 1986, v:29, n:5, pp:370-386 [Journal]
- Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
Logic-Based Agent Communication Protocols. [Citation Graph (0, 0)][DBLP] Workshop on Agent Communication Languages, 2003, pp:91-107 [Conf]
- Fariba Sadri, Francesca Toni
Abduction with Negation as Failure for Active and Reactive Rules. [Citation Graph (0, 0)][DBLP] AI*IA, 1999, pp:49-60 [Conf]
- Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
On optimal outcomes of negotiations over resources. [Citation Graph (0, 0)][DBLP] AAMAS, 2003, pp:177-184 [Conf]
- Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
Aspects of protocol conformance in inter-agent dialogue. [Citation Graph (0, 0)][DBLP] AAMAS, 2003, pp:982-983 [Conf]
- Fariba Sadri, Francesca Toni, Paolo Torroni
Dialogues for Negotiation: Agent Varieties and Dialogue Sequences. [Citation Graph (0, 0)][DBLP] ATAL, 2001, pp:405-421 [Conf]
- Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
Declarative Agent Control. [Citation Graph (0, 0)][DBLP] CLIMA V, 2004, pp:96-110 [Conf]
- Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
Planning Partially for Situated Agents. [Citation Graph (0, 0)][DBLP] CLIMA V, 2004, pp:230-248 [Conf]
- Fariba Sadri
Using the KGP Model of Agency to Design Applications (Tutorial Paper). [Citation Graph (0, 0)][DBLP] CLIMA VI, 2005, pp:165-185 [Conf]
- Fariba Sadri, Francesca Toni
Variety of Behaviours Through Profiles in Logic-Based Agents. [Citation Graph (0, 0)][DBLP] CLIMA VI, 2005, pp:206-225 [Conf]
- Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
The KGP Model of Agency. [Citation Graph (0, 0)][DBLP] ECAI, 2004, pp:33-37 [Conf]
- Fariba Sadri, Francesca Toni
Interleaving Belief Updating and Reasoning in Abductive Logic Programming. [Citation Graph (0, 0)][DBLP] ECAI, 2006, pp:442-446 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] Global Computing, 2004, pp:340-367 [Conf]
- Fariba Sadri, Robert A. Kowalski
Variants of the Event Calculus. [Citation Graph (0, 0)][DBLP] ICLP, 1995, pp:67-81 [Conf]
- Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
Protocol Conformance for Logic-based Agents. [Citation Graph (0, 0)][DBLP] IJCAI, 2003, pp:679-684 [Conf]
- Fariba Sadri, Francesca Toni, Paolo Torroni
Minimally intrusive negotiating agents for resource sharing. [Citation Graph (0, 0)][DBLP] IJCAI, 2003, pp:796-804 [Conf]
- Pierangelo Dell'Acqua, Fariba Sadri, Francesca Toni
Combining Introspection and Communication with Rationality and Reactivity in Agents. [Citation Graph (0, 0)][DBLP] JELIA, 1998, pp:17-32 [Conf]
- Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
The CIFF Proof Procedure for Abductive Logic Programming with Constraints. [Citation Graph (0, 0)][DBLP] JELIA, 2004, pp:31-43 [Conf]
- Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
Abductive Logic Programming with CIFF: System Description. [Citation Graph (0, 0)][DBLP] JELIA, 2004, pp:680-684 [Conf]
- Fariba Sadri, Francesca Toni
A Formal Analysis of KGP Agents. [Citation Graph (0, 0)][DBLP] JELIA, 2006, pp:413-425 [Conf]
- Fariba Sadri, Francesca Toni, Paolo Torroni
An Abductive Logic Programming Architecture for Negotiating Agents. [Citation Graph (0, 0)][DBLP] JELIA, 2002, pp:419-431 [Conf]
- Robert A. Kowalski, Fariba Sadri
Towards a Unified Agent Architecture that Combines Rationality with Reactivity. [Citation Graph (0, 0)][DBLP] Logic in Databases, 1996, pp:137-149 [Conf]
- Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
Programming Applications in CIFF. [Citation Graph (0, 0)][DBLP] LPNMR, 2007, pp:284-289 [Conf]
- Jürgen Dix, Fariba Sadri, Ken Satoh
Introduction. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 2003, v:37, n:1-2, pp:1-3 [Journal]
- Robert A. Kowalski, Fariba Sadri
From Logic Programming Towards Multi-Agent Systems. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1999, v:25, n:3-4, pp:391-419 [Journal]
- Robert A. Kowalski, Fariba Sadri
Reconciling the Event Calculus With the Situation Calculus. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1997, v:31, n:1-3, pp:39-58 [Journal]
- Robert A. Kowalski, Fariba Sadri
Logic Programs with Exceptions. [Citation Graph (0, 0)][DBLP] New Generation Comput., 1991, v:9, n:3/4, pp:387-400 [Journal]
- Krzysztof R. Apt, Antonis C. Kakas, Fariba Sadri
Editorial. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2001, v:2, n:4, pp:431- [Journal]
- Fariba Sadri
Multi-agent Cooperative Planning and Information Gathering. [Citation Graph (0, 0)][DBLP] CIA, 2007, pp:72-88 [Conf]
- Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
Negotiating Socially Optimal Allocations of Resources. [Citation Graph (0, 0)][DBLP] J. Artif. Intell. Res. (JAIR), 2006, v:25, n:, pp:315-348 [Journal]
An Agent Language with Destructive Assignment and Model-Theoretic Semantics. [Citation Graph (, )][DBLP]
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents. [Citation Graph (, )][DBLP]
Normative KGP Agents: A Preliminary Report. [Citation Graph (, )][DBLP]
The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.006secs
|