Fariba Sadri

ORCID

Publication Activity (10 Years)

Years Active: 1986-2022
Publications (10 Years): 10

Top Venues

CoRR

Theory Pract. Log. Program.

BRAINS/WS-AFFIN@AmI

RuleML (Supplement)

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Krysia Broda, Fariba Sadri, Stephen Butler
Reactive Answer Set Programming. Theory Pract. Log. Program. 22 (3) (2022)
Krysia Broda, Fariba Sadri, Stephen Butler
Reactive Answer Set Programming. CoRR (2021)
Jan Wielemaker, Fabrizio Riguzzi, Robert A. Kowalski, Torbjörn Lager, Fariba Sadri, Miguel Calejo
Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages. Theory Pract. Log. Program. 19 (2) (2019)
Ioannis Chatzigiannakis, Fariba Sadri, Sten Hanke, Markus Garschall, Julia Himmelsbach, Aris S. Lalos, Helen C. Leligou, Georgios Mylonas, Katja Neureiter, Antonio F. Skarmeta
Preface. BRAINS/WS-AFFIN@AmI (2018)
Jan Wielemaker, Fabrizio Riguzzi, Bob Kowalski, Torbjörn Lager, Fariba Sadri, Miguel Calejo
Using SWISH to realise interactive web based tutorials for logic based languages. CoRR (2018)
Robert A. Kowalski, Fariba Sadri, Miguel Calejo
How to do it with LPS (Logic-Based Production System). RuleML+RR (Supplement) (2017)
Robert A. Kowalski, Fariba Sadri
Programming in logic without logic programming. CoRR (2016)
Robert A. Kowalski, Fariba Sadri
Programming in logic without logic programming. Theory Pract. Log. Program. 16 (3) (2016)
Fariba Sadri
An Executable Logic-Based Model for Cutter Suction Dredging Using LPS. RuleML (Supplement) (2016)
Robert A. Kowalski, Fariba Sadri
Reactive Computing as Model Generation. New Gener. Comput. 33 (1) (2015)
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
Computational Logic Foundations of KGP Agents. CoRR (2014)
Robert A. Kowalski, Fariba Sadri
A Logical Characterization of a Reactive System Language. RuleML (2014)
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)
Robert A. Kowalski, Fariba Sadri
Teleo-Reactive Abductive Logic Programs. Logic Programs, Norms and Action (2012)
Fariba Sadri, Weikun Wang, Afroditi Xafi
Intention Recognition with Clustering. AmI (2012)
Robert A. Kowalski, Fariba Sadri
A Logic-Based Framework for Reactive Systems. RuleML (2012)
Fariba Sadri
Ambient intelligence: A survey. ACM Comput. Surv. 43 (4) (2011)
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
Negotiating Socially Optimal Allocations of Resources CoRR (2011)
Robert A. Kowalski, Fariba Sadri
Abductive logic programming agents with destructive databases. Ann. Math. Artif. Intell. 62 (1-2) (2011)
Fariba Sadri
Intention Recognition with Event Calculus Graphs and Weight of Evidence. ICAART (1) (2011)
Fariba Sadri, Kostas Stathis
Special Issue on Artificial Societies for Ambient Intelligence Editorial Introduction. Comput. J. 53 (8) (2010)
Robert A. Kowalski, Fariba Sadri
An Agent Language with Destructive Assignment and Model-Theoretic Semantics. CLIMA (2010)
Fariba Sadri
Intention Recognition with Event Calculus Graphs. Web Intelligence/IAT Workshops (2010)
Robert A. Kowalski, Fariba Sadri
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents. RR (2009)
Paolo Mancarella, Giacomo Terreni, Fariba Sadri, Francesca Toni, Ulle Endriss
The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments. Theory Pract. Log. Program. 9 (6) (2009)
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)
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
Computational Logic Foundations of KGP Agents. J. Artif. Intell. Res. 33 (2008)
Fariba Sadri
Multi-agent Cooperative Planning and Information Gathering. CIA (2007)
Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
Programming Applications in CIFF. LPNMR (2007)
Tibor Bosse, Cristiano Castelfranchi, Mark A. Neerincx, Fariba Sadri, Jan Treur
First International Workshop on Human Aspects in Ambient Intelligence: Preface. AmI Workshops (2007)
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
Negotiating Socially Optimal Allocations of Resources. J. Artif. Intell. Res. 25 (2006)
Fariba Sadri, Francesca Toni
A Formal Analysis of KGP Agents. JELIA (2006)
Fariba Sadri, Francesca Toni
Interleaving Belief Updating and Reasoning in Abductive Logic Programming. ECAI (2006)
Fariba Sadri, Kostas Stathis, Francesca Toni
Normative KGP agents. Comput. Math. Organ. Theory 12 (2-3) (2006)
Fariba Sadri
Using the KGP Model of Agency to Design Applications (Tutorial Paper). CLIMA (2005)
Fariba Sadri, Francesca Toni
Variety of Behaviours Through Profiles in Logic-Based Agents. CLIMA (2005)
Fariba Sadri, Francesca Toni, Kostas Stathis
Normative KGP Agents: A Preliminary Report. NORMAS (2005)
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)
Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
Planning Partially for Situated Agents. CLIMA (2004)
Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
The CIFF Proof Procedure for Abductive Logic Programming with Constraints. JELIA (2004)
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
Declarative Agent Control. CLIMA (2004)
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
The KGP Model of Agency. ECAI (2004)
Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
Abductive Logic Programming with CIFF: System Description. JELIA (2004)
Jürgen Dix, Fariba Sadri, Ken Satoh
Introduction. Ann. Math. Artif. Intell. 37 (1-2) (2003)
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
Aspects of protocol conformance in inter-agent dialogue. AAMAS (2003)
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
Logic-Based Agent Communication Protocols. Workshop on Agent Communication Languages (2003)
Fariba Sadri, Francesca Toni, Paolo Torroni
Minimally intrusive negotiating agents for resource sharing. IJCAI (2003)
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
On optimal outcomes of negotiations over resources. AAMAS (2003)
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
Protocol Conformance for Logic-based Agents. IJCAI (2003)
Fariba Sadri, Francesca Toni, Paolo Torroni
An Abductive Logic Programming Architecture for Negotiating Agents. JELIA (2002)
Fariba Sadri, Francesca Toni, Paolo Torroni
Dialogues for Negotiation: Agent Varieties and Dialogue Sequences. ATAL (2001)
Krzysztof R. Apt, Antonis C. Kakas, Fariba Sadri
Editorial. ACM Trans. Comput. Log. 2 (4) (2001)
Robert A. Kowalski, Fariba Sadri
From Logic Programming Towards Multi-Agent Systems. Ann. Math. Artif. Intell. 25 (3-4) (1999)
Fariba Sadri, Francesca Toni
Abduction with Negation as Failure for Active and Reactive Rules. AI*IA (1999)
Pierangelo Dell'Acqua, Fariba Sadri, Francesca Toni
Combining Introspection and Communication with Rationality and Reactivity in Agents. JELIA (1998)
Robert A. Kowalski, Fariba Sadri
Reconciling the Event Calculus With the Situation Calculus. J. Log. Program. 31 (1-3) (1997)
Robert A. Kowalski, Fariba Sadri
Towards a Unified Agent Architecture that Combines Rationality with Reactivity. Logic in Databases (1996)
Fariba Sadri, Robert A. Kowalski
Variants of the Event Calculus. ICLP (1995)
Robert A. Kowalski, Fariba Sadri
The Situation Calculus and Event Calculus Compared. ILPS (1994)
Robert A. Kowalski, Fariba Sadri
Logic Programs with Exceptions. New Gener. Comput. 9 (3/4) (1991)
Robert A. Kowalski, Fariba Sadri
Logic Programs with Exceptions. ICLP (1990)
Robert A. Kowalski, Fariba Sadri, Paul Soper
Integrity Checking in Deductive Databases. VLDB (1987)
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) (1986)

Fariba Sadri.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Fariba Sadri