| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Robert A. Kowalski, Fariba Sadri |
Teleo-Reactive Abductive Logic Programs.  |
Logic Programs, Norms and Action  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni |
Negotiating Socially Optimal Allocations of Resources  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Fariba Sadri |
Ambient intelligence: A survey.  |
ACM Comput. Surv.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert A. Kowalski, Fariba Sadri |
Abductive logic programming agents with destructive databases.  |
Ann. Math. Artif. Intell.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fariba Sadri |
Intention Recognition with Event Calculus Graphs and Weight of Evidence.  |
ICAART  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Fariba Sadri, Kostas Stathis |
Special Issue on Artificial Societies for Ambient Intelligence Editorial Introduction.  |
Comput. J.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert A. Kowalski, Fariba Sadri |
An Agent Language with Destructive Assignment and Model-Theoretic Semantics.  |
CLIMA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fariba Sadri |
Intention Recognition with Event Calculus Graphs.  |
Web Intelligence/IAT Workshops  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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  |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fariba Sadri, Kostas Stathis |
Ambient Intelligence.  |
Encyclopedia of Artificial Intelligence  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Michael Fisher, Fariba Sadri, Michael Thielscher (eds.) |
Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers  |
CLIMA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert A. Kowalski, Fariba Sadri |
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents.  |
RR  |
2009 |
DBLP DOI BibTeX RDF |
Abductive logic programming, agents, Integrity constraints, Production systems |
| 1 | Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni |
Computational Logic Foundations of KGP Agents.  |
J. Artif. Intell. Res. (JAIR)  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fariba Sadri, Ken Satoh (eds.) |
Computational Logic in Multi-Agent Systems, 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers  |
CLIMA  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni |
Programming Applications in CIFF.  |
LPNMR  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fariba Sadri |
Multi-agent Cooperative Planning and Information Gathering.  |
CIA  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni |
Negotiating Socially Optimal Allocations of Resources.  |
J. Artif. Intell. Res. (JAIR)  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fariba Sadri, Kostas Stathis, Francesca Toni |
Normative KGP agents.  |
Computational & Mathematical Organization Theory  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fariba Sadri, Francesca Toni |
Interleaving Belief Updating and Reasoning in Abductive Logic Programming.  |
ECAI  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Fariba Sadri, Francesca Toni |
A Formal Analysis of KGP Agents.  |
JELIA  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fariba Sadri |
Using the KGP Model of Agency to Design Applications (Tutorial Paper).  |
CLIMA  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fariba Sadri, Francesca Toni |
Variety of Behaviours Through Profiles in Logic-Based Agents.  |
CLIMA  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fariba Sadri, Francesca Toni, Kostas Stathis |
Normative KGP Agents: A Preliminary Report.  |
NORMAS  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni |
Declarative Agent Control.  |
CLIMA  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni |
Planning Partially for Situated Agents.  |
CLIMA  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni |
The KGP Model of Agency.  |
ECAI  |
2004 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni |
Abductive Logic Programming with CIFF: System Description.  |
JELIA  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni |
The CIFF Proof Procedure for Abductive Logic Programming with Constraints.  |
JELIA  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Fariba Sadri, Ken Satoh |
Introduction.  |
Ann. Math. Artif. Intell.  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Fariba Sadri, Francesca Toni, Paolo Torroni |
Minimally intrusive negotiating agents for resource sharing.  |
IJCAI  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni |
Protocol Conformance for Logic-based Agents.  |
IJCAI  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni |
Logic-Based Agent Communication Protocols.  |
Workshop on Agent Communication Languages  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni |
Aspects of protocol conformance in inter-agent dialogue.  |
AAMAS  |
2003 |
DBLP DOI BibTeX RDF |
logic-based agents, agent communication protocols |
| 1 | Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni |
On optimal outcomes of negotiations over resources.  |
AAMAS  |
2003 |
DBLP DOI BibTeX RDF |
welfare economics, resource allocation, negotiation |
| 1 | Fariba Sadri, Francesca Toni, Paolo Torroni |
An Abductive Logic Programming Architecture for Negotiating Agents.  |
JELIA  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonis C. Kakas, Fariba Sadri (eds.) |
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II  |
Computational Logic. Logic Programming and Beyond  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Antonis C. Kakas, Fariba Sadri (eds.) |
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I  |
Computational Logic. Logic Programming and Beyond  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Antonis C. Kakas, Fariba Sadri |
Editorial.  |
ACM Trans. Comput. Log.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Fariba Sadri, Francesca Toni, Paolo Torroni |
Dialogues for Negotiation: Agent Varieties and Dialogue Sequences.  |
ATAL  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert A. Kowalski, Fariba Sadri |
From Logic Programming Towards Multi-Agent Systems.  |
Ann. Math. Artif. Intell.  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Fariba Sadri, Francesca Toni |
Abduction with Negation as Failure for Active and Reactive Rules.  |
AI*IA  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierangelo Dell'Acqua, Fariba Sadri, Francesca Toni |
Combining Introspection and Communication with Rationality and Reactivity in Agents.  |
JELIA  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert A. Kowalski, Fariba Sadri |
Reconciling the Event Calculus With the Situation Calculus.  |
J. Log. Program.  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert A. Kowalski, Fariba Sadri |
Towards a Unified Agent Architecture that Combines Rationality with Reactivity.  |
Logic in Databases  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Fariba Sadri, Robert A. Kowalski |
Variants of the Event Calculus.  |
ICLP  |
1995 |
DBLP BibTeX RDF |
|
| 1 | Robert A. Kowalski, Fariba Sadri |
The Situation Calculus and Event Calculus Compared.  |
SLP  |
1994 |
DBLP BibTeX RDF |
|
| 1 | Robert A. Kowalski, Fariba Sadri |
Logic Programs with Exceptions.  |
New Generation Comput.  |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert A. Kowalski, Fariba Sadri |
Logic Programs with Exceptions.  |
ICLP  |
1990 |
DBLP BibTeX RDF |
|
| 1 | Fariba Sadri, Robert A. Kowalski |
A Theorem-Proving Approach to Database Integrity.  |
Foundations of Deductive Databases and Logic Programming.  |
1988 |
DBLP BibTeX RDF |
|
| 1 | Robert A. Kowalski, Fariba Sadri, Paul Soper |
Integrity Checking in Deductive Databases.  |
VLDB  |
1987 |
DBLP BibTeX RDF |
|
| 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  |
1986 |
DBLP DOI BibTeX RDF |
Prolog |