default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFariba Sadri
Person information
- affiliation: Imperial College London, UK
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[p3]Robert A. Kowalski, Fariba Sadri, Miguel Calejo, Jacinto A. Dávila
:
Combining Logic Programming and Imperative Programming in LPS. Prolog: The Next 50 Years 2023: 210-223- 2022
- [j17]Krysia Broda, Fariba Sadri, Stephen Butler:
Reactive Answer Set Programming. Theory Pract. Log. Program. 22(3): 367-418 (2022) - 2021
- [i6]Krysia Broda, Fariba Sadri, Stephen Butler:
Reactive Answer Set Programming. CoRR abs/2109.10633 (2021)
2010 – 2019
- 2019
- [j16]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): 229-261 (2019) - [e10]Ioannis Chatzigiannakis, Fariba Sadri, Sten Hanke, Markus Garschall, Julia Himmelsbach, Aris S. Lalos, Helen C. Leligou, Georgios Mylonas, Katja Neureiter, Antonio F. Skarmeta:
1st Workshop on Behavioral Change and Ambient Intelligence for Sustainability, BRAINS@AmI 2018, and 2nd Workshop on Affective Interaction with Avatars and Robots, WS-AFFIN@AmI 2018, Larnaca, Cyprus, 2018. Electronic Notes in Theoretical Computer Science 343, Elsevier 2019 [contents] - 2018
- [c40]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: 1-2 - [i5]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 abs/1808.08042 (2018) - 2017
- [c39]Robert A. Kowalski, Fariba Sadri, Miguel Calejo:
How to do it with LPS (Logic-Based Production System). RuleML+RR (Supplement) 2017 - [e9]Nick Bassiliades, Antonis Bikakis, Stefania Costantini, Enrico Franconi, Adrian Giurca, Roman Kontchakov, Theodore Patkos, Fariba Sadri, William Van Woensel:
Proceedings of the Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters @ RuleML+RR 2017 hosted by International Joint Conference on Rules and Reasoning 2017 (RuleML+RR 2017), London, UK, July 11-15, 2017. CEUR Workshop Proceedings 1875, CEUR-WS.org 2017 [contents] - [e8]Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman:
Rules and Reasoning - International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings. Lecture Notes in Computer Science 10364, Springer 2017, ISBN 978-3-319-61251-5 [contents] - 2016
- [j15]Robert A. Kowalski, Fariba Sadri:
Programming in logic without logic programming. Theory Pract. Log. Program. 16(3): 269-295 (2016) - [c38]Fariba Sadri:
An Executable Logic-Based Model for Cutter Suction Dredging Using LPS. RuleML (Supplement) 2016 - [i4]Robert A. Kowalski, Fariba Sadri:
Programming in logic without logic programming. CoRR abs/1601.00529 (2016) - 2015
- [j14]Robert A. Kowalski, Fariba Sadri:
Reactive Computing as Model Generation. New Gener. Comput. 33(1): 33-67 (2015) - [e7]Nick Bassiliades, Paul Fodor, Adrian Giurca, Georg Gottlob, Tomás Kliegr, Grzegorz J. Nalepa, Monica Palmirani, Adrian Paschke, Mark Proctor, Dumitru Roman, Fariba Sadri, Nenad Stojanovic:
Proceedings of the RuleML 2015 Challenge, the Special Track on Rule-based Recommender Systems for the Web of Data, the Special Industry Track and the RuleML 2015 Doctoral Consortium hosted by the 9th International Web Rule Symposium (RuleML 2015), Berlin, Germany, August 2-5, 2015. CEUR Workshop Proceedings 1417, CEUR-WS.org 2015 [contents] - [e6]Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman:
Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings. Lecture Notes in Computer Science 9202, Springer 2015, ISBN 978-3-319-21541-9 [contents] - 2014
- [c37]Robert A. Kowalski, Fariba Sadri:
A Logical Characterization of a Reactive System Language. RuleML 2014: 22-36 - [i3]Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni:
Computational Logic Foundations of KGP Agents. CoRR abs/1401.3443 (2014) - 2012
- [c36]Fariba Sadri, Weikun Wang, Afroditi Xafi:
Intention Recognition with Clustering. AmI 2012: 379-384 - [c35]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 - [c34]Robert A. Kowalski, Fariba Sadri:
Teleo-Reactive Abductive Logic Programs. Logic Programs, Norms and Action 2012: 12-32 - [c33]Robert A. Kowalski, Fariba Sadri:
A Logic-Based Framework for Reactive Systems. RuleML 2012: 1-15 - [p2]Fariba Sadri:
Intention Recognition in Agents for Ambient Intelligence: Logic-Based Approaches. Agents and Ambient Intelligence 2012: 197-236 - 2011
- [j13]Robert A. Kowalski, Fariba Sadri:
Abductive logic programming agents with destructive databases. Ann. Math. Artif. Intell. 62(1-2): 129-158 (2011) - [j12]Fariba Sadri:
Ambient intelligence: A survey. ACM Comput. Surv. 43(4): 36:1-36:66 (2011) - [c32]Fariba Sadri:
Intention Recognition with Event Calculus Graphs and Weight of Evidence. ICAART (1) 2011: 470-475 - [i2]Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni:
Negotiating Socially Optimal Allocations of Resources. CoRR abs/1109.6340 (2011) - 2010
- [j11]Fariba Sadri, Kostas Stathis:
Special Issue on Artificial Societies for Ambient Intelligence Editorial Introduction. Comput. J. 53(8): 1136-1137 (2010) - [c31]Robert A. Kowalski, Fariba Sadri:
An Agent Language with Destructive Assignment and Model-Theoretic Semantics. CLIMA 2010: 200-218 - [c30]Fariba Sadri:
Intention Recognition with Event Calculus Graphs. Web Intelligence/IAT Workshops 2010: 386-391
2000 – 2009
- 2009
- [j10]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): 691-750 (2009) - [c29]Robert A. Kowalski, Fariba Sadri:
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents. RR 2009: 1-23 - [e5]Michael Fisher, Fariba Sadri, Michael Thielscher:
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 [contents] - [r1]Fariba Sadri, Kostas Stathis:
Ambient Intelligence. Encyclopedia of Artificial Intelligence 2009: 85-91 - [i1]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) - 2008
- [j9]Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni:
Computational Logic Foundations of KGP Agents. J. Artif. Intell. Res. 33: 285-348 (2008) - [e4]Fariba Sadri, Ken Satoh:
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 [contents] - 2007
- [c28]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 - [c27]Fariba Sadri:
Multi-agent Cooperative Planning and Information Gathering. CIA 2007: 72-88 - [c26]Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni:
Programming Applications in CIFF. LPNMR 2007: 284-289 - 2006
- [j8]Fariba Sadri, Kostas Stathis, Francesca Toni:
Normative KGP agents. Comput. Math. Organ. Theory 12(2-3): 101-126 (2006) - [j7]Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni:
Negotiating Socially Optimal Allocations of Resources. J. Artif. Intell. Res. 25: 315-348 (2006) - [c25]Fariba Sadri, Francesca Toni:
Interleaving Belief Updating and Reasoning in Abductive Logic Programming. ECAI 2006: 442-446 - [c24]Fariba Sadri, Francesca Toni:
A Formal Analysis of KGP Agents. JELIA 2006: 413-425 - 2005
- [c23]Fariba Sadri:
Using the KGP Model of Agency to Design Applications (Tutorial Paper). CLIMA 2005: 165-185 - [c22]Fariba Sadri, Francesca Toni:
Variety of Behaviours Through Profiles in Logic-Based Agents. CLIMA 2005: 206-225 - [c21]Fariba Sadri, Francesca Toni, Kostas Stathis:
Normative KGP Agents: A Preliminary Report. NORMAS 2005: 85-96 - 2004
- [c20]Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni:
Declarative Agent Control. CLIMA 2004: 96-110 - [c19]Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni:
Planning Partially for Situated Agents. CLIMA 2004: 230-248 - [c18]Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni:
The KGP Model of Agency. ECAI 2004: 33-37 - [c17]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 - [c16]Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni:
The CIFF Proof Procedure for Abductive Logic Programming with Constraints. JELIA 2004: 31-43 - [c15]Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni:
Abductive Logic Programming with CIFF: System Description. JELIA 2004: 680-684 - 2003
- [j6]Jürgen Dix, Fariba Sadri, Ken Satoh:
Introduction. Ann. Math. Artif. Intell. 37(1-2): 1-3 (2003) - [c14]Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni:
Logic-Based Agent Communication Protocols. Workshop on Agent Communication Languages 2003: 91-107 - [c13]Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni:
On optimal outcomes of negotiations over resources. AAMAS 2003: 177-184 - [c12]Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni:
Aspects of protocol conformance in inter-agent dialogue. AAMAS 2003: 982-983 - [c11]Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni:
Protocol Conformance for Logic-based Agents. IJCAI 2003: 679-684 - [c10]Fariba Sadri, Francesca Toni, Paolo Torroni:
Minimally intrusive negotiating agents for resource sharing. IJCAI 2003: 796-804 - 2002
- [c9]Fariba Sadri, Francesca Toni, Paolo Torroni:
An Abductive Logic Programming Architecture for Negotiating Agents. JELIA 2002: 419-431 - [e3]Antonis C. Kakas, Fariba Sadri:
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 [contents] - [e2]Antonis C. Kakas, Fariba Sadri:
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 [contents] - 2001
- [j5]Krzysztof R. Apt, Antonis C. Kakas, Fariba Sadri:
Editorial. ACM Trans. Comput. Log. 2(4): 431 (2001) - [c8]Fariba Sadri, Francesca Toni, Paolo Torroni:
Dialogues for Negotiation: Agent Varieties and Dialogue Sequences. ATAL 2001: 405-421 - 2000
- [e1]Ken Satoh, Fariba Sadri:
CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), London, UK, July 24-25, 2000. 2000 [contents]
1990 – 1999
- 1999
- [j4]Robert A. Kowalski, Fariba Sadri:
From Logic Programming Towards Multi-Agent Systems. Ann. Math. Artif. Intell. 25(3-4): 391-419 (1999) - [c7]Fariba Sadri, Francesca Toni:
Abduction with Negation as Failure for Active and Reactive Rules. AI*IA 1999: 49-60 - 1998
- [c6]Pierangelo Dell'Acqua, Fariba Sadri, Francesca Toni:
Combining Introspection and Communication with Rationality and Reactivity in Agents. JELIA 1998: 17-32 - 1997
- [j3]Robert A. Kowalski, Fariba Sadri:
Reconciling the Event Calculus With the Situation Calculus. J. Log. Program. 31(1-3): 39-58 (1997) - 1996
- [c5]Robert A. Kowalski, Fariba Sadri:
Towards a Unified Agent Architecture that Combines Rationality with Reactivity. Logic in Databases 1996: 137-149 - 1995
- [c4]Fariba Sadri, Robert A. Kowalski:
Variants of the Event Calculus. ICLP 1995: 67-81 - 1994
- [c3]Robert A. Kowalski, Fariba Sadri:
The Situation Calculus and Event Calculus Compared. ILPS 1994: 539-553 - 1991
- [j2]Robert A. Kowalski, Fariba Sadri:
Logic Programs with Exceptions. New Gener. Comput. 9(3/4): 387-400 (1991) - 1990
- [c2]Robert A. Kowalski, Fariba Sadri:
Logic Programs with Exceptions. ICLP 1990: 598-613
1980 – 1989
- 1988
- [b1]Fariba Sadri:
A theorem-proving approach to database integrity. Imperial College London, UK, 1988 - [p1]Fariba Sadri, Robert A. Kowalski:
A Theorem-Proving Approach to Database Integrity. Foundations of Deductive Databases and Logic Programming. 1988: 313-362 - 1987
- [c1]Robert A. Kowalski, Fariba Sadri, Paul Soper:
Integrity Checking in Deductive Databases. VLDB 1987: 61-69 - 1986
- [j1]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)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
