Fariba Sadri

Robert A. Kowalski, Fariba Sadri: Towards a Logic-Based Unifying Framework for Computing. CoRR abs/1301.6905 (2013)

Fariba Sadri, Weikun Wang, Afroditi Xafi: Intention Recognition with Clustering. AmI 2012: 379-384

Juan Carlos Augusto, Tibor Bosse, Cristiano Castelfranchi, Diane J. Cook, Mark A. Neerincx, Fariba Sadri: Sixth International Workshop on Human Aspects in Ambient Intelligence (HAI 2012). AmI 2012: 449-450

Robert A. Kowalski, Fariba Sadri: Teleo-Reactive Abductive Logic Programs. Logic Programs, Norms and Action 2012: 12-32

Robert A. Kowalski, Fariba Sadri: A Logic-Based Framework for Reactive Systems. RuleML 2012: 1-15

Robert A. Kowalski, Fariba Sadri: Abductive logic programming agents with destructive databases. Ann. Math. Artif. Intell. 62(1-2): 129-158 (2011)

Fariba Sadri: Ambient intelligence: A survey. ACM Comput. Surv. 43(4): 36 (2011)

Fariba Sadri: Intention Recognition with Event Calculus Graphs and Weight of Evidence. ICAART (1) 2011: 470-475

Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni: Negotiating Socially Optimal Allocations of Resources. CoRR abs/1109.6340 (2011)

Fariba Sadri, Kostas Stathis: Special Issue on Artificial Societies for Ambient Intelligence Editorial Introduction. Comput. J. 53(8): 1136-1137 (2010)

Robert A. Kowalski, Fariba Sadri: An Agent Language with Destructive Assignment and Model-Theoretic Semantics. CLIMA 2010: 200-218

Fariba Sadri: Intention Recognition with Event Calculus Graphs. Web Intelligence/IAT Workshops 2010: 386-391

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 9(6): 691-750 (2009)

Robert A. Kowalski, Fariba Sadri: Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents. RR 2009: 1-23

Fariba Sadri, Kostas Stathis: Ambient Intelligence. Encyclopedia of Artificial Intelligence 2009: 85-91

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. Lecture Notes in Computer Science 5405, Springer 2009, isbn 978-3-642-02733-8

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 abs/0906.1182 (2009)

Antonis 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)

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. Lecture Notes in Computer Science 5056, Springer 2008, isbn 978-3-540-88832-1

Tibor Bosse, Cristiano Castelfranchi, Mark A. Neerincx, Fariba Sadri, Jan Treur: First International Workshop on Human Aspects in Ambient Intelligence: Preface. AmI Workshops 2007: 261

Fariba Sadri: Multi-agent Cooperative Planning and Information Gathering. CIA 2007: 72-88

Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: Programming Applications in CIFF. LPNMR 2007: 284-289

Fariba Sadri, Kostas Stathis, Francesca Toni: Normative KGP agents. Computational & Mathematical Organization Theory 12(2-3): 101-126 (2006)

Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni: Negotiating Socially Optimal Allocations of Resources. J. Artif. Intell. Res. (JAIR) 25: 315-348 (2006)

Fariba Sadri, Francesca Toni: Interleaving Belief Updating and Reasoning in Abductive Logic Programming. ECAI 2006: 442-446

Fariba Sadri, Francesca Toni: A Formal Analysis of KGP Agents. JELIA 2006: 413-425

Fariba Sadri: Using the KGP Model of Agency to Design Applications (Tutorial Paper). CLIMA 2005: 165-185

Fariba Sadri, Francesca Toni: Variety of Behaviours Through Profiles in Logic-Based Agents. CLIMA 2005: 206-225

Fariba Sadri, Francesca Toni, Kostas Stathis: Normative KGP Agents: A Preliminary Report. NORMAS 2005: 85-96

Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni: Declarative Agent Control. CLIMA 2004: 96-110

Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: Planning Partially for Situated Agents. CLIMA 2004: 230-248

Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni: The KGP Model of Agency. ECAI 2004: 33-37

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

Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: The CIFF Proof Procedure for Abductive Logic Programming with Constraints. JELIA 2004: 31-43

Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: Abductive Logic Programming with CIFF: System Description. JELIA 2004: 680-684

Jürgen Dix, Fariba Sadri, Ken Satoh: Introduction. Ann. Math. Artif. Intell. 37(1-2): 1-3 (2003)

Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni: Logic-Based Agent Communication Protocols. Workshop on Agent Communication Languages 2003: 91-107

Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni: On optimal outcomes of negotiations over resources. AAMAS 2003: 177-184

Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni: Aspects of protocol conformance in inter-agent dialogue. AAMAS 2003: 982-983

Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni: Protocol Conformance for Logic-based Agents. IJCAI 2003: 679-684

Fariba Sadri, Francesca Toni, Paolo Torroni: Minimally intrusive negotiating agents for resource sharing. IJCAI 2003: 796-804

Fariba Sadri, Francesca Toni, Paolo Torroni: An Abductive Logic Programming Architecture for Negotiating Agents. JELIA 2002: 419-431

Antonis C. Kakas, Fariba Sadri (Eds.): Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I. Lecture Notes in Computer Science 2407, Springer 2002, isbn 3-540-43959-5

Antonis C. Kakas, Fariba Sadri (Eds.): Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II. Lecture Notes in Computer Science 2408, Springer 2002, isbn 3-540-43960-9

Krzysztof R. Apt, Antonis C. Kakas, Fariba Sadri: Editorial. ACM Trans. Comput. Log. 2(4): 431 (2001)

Fariba Sadri, Francesca Toni, Paolo Torroni: Dialogues for Negotiation: Agent Varieties and Dialogue Sequences. ATAL 2001: 405-421

Robert A. Kowalski, Fariba Sadri: From Logic Programming Towards Multi-Agent Systems. Ann. Math. Artif. Intell. 25(3-4): 391-419 (1999)

Fariba Sadri, Francesca Toni: Abduction with Negation as Failure for Active and Reactive Rules. AI*IA 1999: 49-60

Pierangelo Dell'Acqua, Fariba Sadri, Francesca Toni: Combining Introspection and Communication with Rationality and Reactivity in Agents. JELIA 1998: 17-32

Robert A. Kowalski, Fariba Sadri: Reconciling the Event Calculus With the Situation Calculus. J. Log. Program. 31(1-3): 39-58 (1997)

Robert A. Kowalski, Fariba Sadri: Towards a Unified Agent Architecture that Combines Rationality with Reactivity. Logic in Databases 1996: 137-149

Fariba Sadri, Robert A. Kowalski: Variants of the Event Calculus. ICLP 1995: 67-81

Robert A. Kowalski, Fariba Sadri: The Situation Calculus and Event Calculus Compared. SLP 1994: 539-553

Robert A. Kowalski, Fariba Sadri: Logic Programs with Exceptions. New Generation Comput. 9(3/4): 387-400 (1991)

Robert A. Kowalski, Fariba Sadri: Logic Programs with Exceptions. ICLP 1990: 598-613

Fariba Sadri, Robert A. Kowalski: A Theorem-Proving Approach to Database Integrity. Foundations of Deductive Databases and Logic Programming. 1988: 313-362

Robert A. Kowalski, Fariba Sadri, Paul Soper: Integrity Checking in Deductive Databases. VLDB 1987: 61-69

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)