The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Fariba Sadri" ( http://dblp.L3S.de/Authors/Fariba_Sadri )

URL (Homepage):  http://www.doc.ic.ac.uk/~fs/  Author page on DBLP  Author page in RDF  Community of Fariba Sadri in ASPL-2

Publication years (Num. hits)
1986-2002 (17) 2003-2005 (15) 2006-2010 (16) 2011-2012 (5)
Publication types (Num. hits)
article(15) incollection(2) inproceedings(32) proceedings(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 7 keywords

Results
Found 53 publication records. Showing 53 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Robert A. Kowalski, Fariba Sadri Teleo-Reactive Abductive Logic Programs. Search on Bibsonomy Logic Programs, Norms and Action The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni Negotiating Socially Optimal Allocations of Resources Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Fariba Sadri Ambient intelligence: A survey. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Robert A. Kowalski, Fariba Sadri Abductive logic programming agents with destructive databases. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Fariba Sadri Intention Recognition with Event Calculus Graphs and Weight of Evidence. Search on Bibsonomy ICAART The full citation details ... 2011 DBLP  BibTeX  RDF
1Fariba Sadri, Kostas Stathis Special Issue on Artificial Societies for Ambient Intelligence Editorial Introduction. Search on Bibsonomy Comput. J. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Robert A. Kowalski, Fariba Sadri An Agent Language with Destructive Assignment and Model-Theoretic Semantics. Search on Bibsonomy CLIMA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Fariba Sadri Intention Recognition with Event Calculus Graphs. Search on Bibsonomy Web Intelligence/IAT Workshops The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Paolo Mancarella, Giacomo Terreni, Fariba Sadri, Francesca Toni, Ulrich Endriss The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Paolo Mancarella, Giacomo Terreni, Fariba Sadri, Francesca Toni, Ulle Endriss The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments. Search on Bibsonomy TPLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Fariba Sadri, Kostas Stathis Ambient Intelligence. Search on Bibsonomy Encyclopedia of Artificial Intelligence The full citation details ... 2009 DBLP  BibTeX  RDF
1Michael 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 Search on Bibsonomy CLIMA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Robert A. Kowalski, Fariba Sadri Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents. Search on Bibsonomy RR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Abductive logic programming, agents, Integrity constraints, Production systems
1Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni Computational Logic Foundations of KGP Agents. Search on Bibsonomy J. Artif. Intell. Res. (JAIR) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Fariba 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 Search on Bibsonomy CLIMA The full citation details ... 2008 DBLP  BibTeX  RDF
1Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni Programming Applications in CIFF. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Fariba Sadri Multi-agent Cooperative Planning and Information Gathering. Search on Bibsonomy CIA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni Negotiating Socially Optimal Allocations of Resources. Search on Bibsonomy J. Artif. Intell. Res. (JAIR) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Fariba Sadri, Kostas Stathis, Francesca Toni Normative KGP agents. Search on Bibsonomy Computational & Mathematical Organization Theory The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Fariba Sadri, Francesca Toni Interleaving Belief Updating and Reasoning in Abductive Logic Programming. Search on Bibsonomy ECAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Fariba Sadri, Francesca Toni A Formal Analysis of KGP Agents. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Fariba Sadri Using the KGP Model of Agency to Design Applications (Tutorial Paper). Search on Bibsonomy CLIMA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Fariba Sadri, Francesca Toni Variety of Behaviours Through Profiles in Logic-Based Agents. Search on Bibsonomy CLIMA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Fariba Sadri, Francesca Toni, Kostas Stathis Normative KGP Agents: A Preliminary Report. Search on Bibsonomy NORMAS The full citation details ... 2005 DBLP  BibTeX  RDF
1Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni Declarative Agent Control. Search on Bibsonomy CLIMA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni Planning Partially for Situated Agents. Search on Bibsonomy CLIMA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni The KGP Model of Agency. Search on Bibsonomy ECAI The full citation details ... 2004 DBLP  BibTeX  RDF
1Andrea 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. Search on Bibsonomy Global Computing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni Abductive Logic Programming with CIFF: System Description. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni The CIFF Proof Procedure for Abductive Logic Programming with Constraints. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jürgen Dix, Fariba Sadri, Ken Satoh Introduction. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Fariba Sadri, Francesca Toni, Paolo Torroni Minimally intrusive negotiating agents for resource sharing. Search on Bibsonomy IJCAI The full citation details ... 2003 DBLP  BibTeX  RDF
1Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni Protocol Conformance for Logic-based Agents. Search on Bibsonomy IJCAI The full citation details ... 2003 DBLP  BibTeX  RDF
1Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni Logic-Based Agent Communication Protocols. Search on Bibsonomy Workshop on Agent Communication Languages The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni Aspects of protocol conformance in inter-agent dialogue. Search on Bibsonomy AAMAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF logic-based agents, agent communication protocols
1Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni On optimal outcomes of negotiations over resources. Search on Bibsonomy AAMAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF welfare economics, resource allocation, negotiation
1Fariba Sadri, Francesca Toni, Paolo Torroni An Abductive Logic Programming Architecture for Negotiating Agents. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Antonis C. Kakas, Fariba Sadri (eds.) Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II Search on Bibsonomy Computational Logic. Logic Programming and Beyond The full citation details ... 2002 DBLP  BibTeX  RDF
1Antonis C. Kakas, Fariba Sadri (eds.) Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I Search on Bibsonomy Computational Logic. Logic Programming and Beyond The full citation details ... 2002 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Antonis C. Kakas, Fariba Sadri Editorial. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Fariba Sadri, Francesca Toni, Paolo Torroni Dialogues for Negotiation: Agent Varieties and Dialogue Sequences. Search on Bibsonomy ATAL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Robert A. Kowalski, Fariba Sadri From Logic Programming Towards Multi-Agent Systems. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Fariba Sadri, Francesca Toni Abduction with Negation as Failure for Active and Reactive Rules. Search on Bibsonomy AI*IA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Pierangelo Dell'Acqua, Fariba Sadri, Francesca Toni Combining Introspection and Communication with Rationality and Reactivity in Agents. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Robert A. Kowalski, Fariba Sadri Reconciling the Event Calculus With the Situation Calculus. Search on Bibsonomy J. Log. Program. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Robert A. Kowalski, Fariba Sadri Towards a Unified Agent Architecture that Combines Rationality with Reactivity. Search on Bibsonomy Logic in Databases The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Fariba Sadri, Robert A. Kowalski Variants of the Event Calculus. Search on Bibsonomy ICLP The full citation details ... 1995 DBLP  BibTeX  RDF
1Robert A. Kowalski, Fariba Sadri The Situation Calculus and Event Calculus Compared. Search on Bibsonomy SLP The full citation details ... 1994 DBLP  BibTeX  RDF
1Robert A. Kowalski, Fariba Sadri Logic Programs with Exceptions. Search on Bibsonomy New Generation Comput. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Robert A. Kowalski, Fariba Sadri Logic Programs with Exceptions. Search on Bibsonomy ICLP The full citation details ... 1990 DBLP  BibTeX  RDF
1Fariba Sadri, Robert A. Kowalski A Theorem-Proving Approach to Database Integrity. Search on Bibsonomy Foundations of Deductive Databases and Logic Programming. The full citation details ... 1988 DBLP  BibTeX  RDF
1Robert A. Kowalski, Fariba Sadri, Paul Soper Integrity Checking in Deductive Databases. Search on Bibsonomy VLDB The full citation details ... 1987 DBLP  BibTeX  RDF
1Marek J. Sergot, Fariba Sadri, Robert A. Kowalski, F. Kriwaczek, Peter Hammond, H. T. Cory The British Nationality Act as a Logic Program. Search on Bibsonomy Commun. ACM The full citation details ... 1986 DBLP  DOI  BibTeX  RDF Prolog
Displaying result #1 - #53 of 53 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.