Fariba Sadri - RankMe

78 papers A* 3A 4B 9Journal 23Unranked 25

Year	Rank	Type	Title / Venue / Authors
2023	—	`ch.`	Combining Logic Programming and Imperative Programming in LPS. Prolog: The Next 50 Years Robert A. Kowalski, Fariba Sadri, Miguel Calejo, Jacinto A. Dávila
2022	J	`jnl`	Reactive Answer Set Programming. Theory Pract. Log. Program. Krysia Broda, Fariba Sadri, Stephen Butler
2021	J	`jnl`	Reactive Answer Set Programming. CoRR Krysia Broda, Fariba Sadri, Stephen Butler
2019	—	`ed.`	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 BRAINS/WS-AFFIN@AmI Ioannis Chatzigiannakis, Fariba Sadri, Sten Hanke, Markus Garschall, Julia Himmelsbach, Aris S. Lalos, Helen C. Leligou, Georgios Mylonas, Katja Neureiter, Antonio F. Skarmeta
2019	J	`jnl`	Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages. Theory Pract. Log. Program. Jan Wielemaker, Fabrizio Riguzzi, Robert A. Kowalski, Torbjörn Lager, Fariba Sadri, Miguel Calejo
2018	—	`conf`	Preface. BRAINS/WS-AFFIN@AmI Ioannis Chatzigiannakis, Fariba Sadri, Sten Hanke, Markus Garschall, Julia Himmelsbach, Aris S. Lalos, Helen C. Leligou, Georgios Mylonas, Katja Neureiter, Antonio F. Skarmeta
2018	J	`jnl`	Using SWISH to realise interactive web based tutorials for logic based languages. CoRR Jan Wielemaker, Fabrizio Riguzzi, Bob Kowalski, Torbjörn Lager, Fariba Sadri, Miguel Calejo
2017	—	`conf`	How to do it with LPS (Logic-Based Production System). RuleML+RR (Supplement) Robert A. Kowalski, Fariba Sadri, Miguel Calejo
2017	—	`ed.`	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. RuleML+RR (Supplement) Nick Bassiliades, Antonis Bikakis, Stefania Costantini, Enrico Franconi, Adrian Giurca, Roman Kontchakov, Theodore Patkos, Fariba Sadri, William Van Woensel
2017	B	`ed.`	Rules and Reasoning - International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings RuleML+RR Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman
2016	—	`conf`	An Executable Logic-Based Model for Cutter Suction Dredging Using LPS. RuleML (Supplement) Fariba Sadri
2016	J	`jnl`	Programming in logic without logic programming. CoRR Robert A. Kowalski, Fariba Sadri
2016	J	`jnl`	Programming in logic without logic programming. Theory Pract. Log. Program. Robert A. Kowalski, Fariba Sadri
2015	—	`ed.`	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. Challenge+DC@RuleML 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
2015	J	`jnl`	Reactive Computing as Model Generation. New Gener. Comput. Robert A. Kowalski, Fariba Sadri
2015	—	`ed.`	Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings RuleML Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman
2014	—	`conf`	A Logical Characterization of a Reactive System Language. RuleML Robert A. Kowalski, Fariba Sadri
2014	J	`jnl`	Computational Logic Foundations of KGP Agents. CoRR Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
2012	—	`conf`	A Logic-Based Framework for Reactive Systems. RuleML Robert A. Kowalski, Fariba Sadri
2012	—	`ch.`	Intention Recognition in Agents for Ambient Intelligence: Logic-Based Approaches. Agents and Ambient Intelligence Fariba Sadri
2012	—	`conf`	Intention Recognition with Clustering. AmI Fariba Sadri, Weikun Wang, Afroditi Xafi
2012	—	`conf`	Sixth International Workshop on Human Aspects in Ambient Intelligence (HAI 2012). AmI Juan Carlos Augusto, Tibor Bosse, Cristiano Castelfranchi, Diane J. Cook, Mark A. Neerincx, Fariba Sadri
2012	—	`conf`	Teleo-Reactive Abductive Logic Programs. Logic Programs, Norms and Action Robert A. Kowalski, Fariba Sadri
2011	J	`jnl`	Abductive logic programming agents with destructive databases. Ann. Math. Artif. Intell. Robert A. Kowalski, Fariba Sadri
2011	J	`jnl`	Ambient intelligence: A survey. ACM Comput. Surv. Fariba Sadri
2011	—	`conf`	Intention Recognition with Event Calculus Graphs and Weight of Evidence. ICAART (1) Fariba Sadri
2011	J	`jnl`	Negotiating Socially Optimal Allocations of Resources CoRR Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
2010	—	`conf`	An Agent Language with Destructive Assignment and Model-Theoretic Semantics. CLIMA Robert A. Kowalski, Fariba Sadri
2010	—	`conf`	Intention Recognition with Event Calculus Graphs. Web Intelligence/IAT Workshops Fariba Sadri
2010	J	`jnl`	Special Issue on Artificial Societies for Ambient Intelligence Editorial Introduction. Comput. J. Fariba Sadri, Kostas Stathis
2009	—	`ch.`	Ambient Intelligence. Encyclopedia of Artificial Intelligence Fariba Sadri, Kostas Stathis
2009	—	`ed.`	Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers CLIMA Michael Fisher, Fariba Sadri, Michael Thielscher
2009	—	`conf`	Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents. RR Robert A. Kowalski, Fariba Sadri
2009	J	`jnl`	The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments CoRR Paolo Mancarella, Giacomo Terreni, Fariba Sadri, Francesca Toni, Ulrich Endriss
2009	J	`jnl`	The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments. Theory Pract. Log. Program. Paolo Mancarella, Giacomo Terreni, Fariba Sadri, Francesca Toni, Ulle Endriss
2008	J	`jnl`	Computational Logic Foundations of KGP Agents. J. Artif. Intell. Res. Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
2008	—	`ed.`	Computational Logic in Multi-Agent Systems, 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers CLIMA Fariba Sadri, Ken Satoh
2007	—	`conf`	First International Workshop on Human Aspects in Ambient Intelligence: Preface. AmI Workshops Tibor Bosse, Cristiano Castelfranchi, Mark A. Neerincx, Fariba Sadri, Jan Treur
2007	—	`conf`	Multi-agent Cooperative Planning and Information Gathering. CIA Fariba Sadri
2007	B	`conf`	Programming Applications in CIFF. LPNMR Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
2006	B	`conf`	A Formal Analysis of KGP Agents. JELIA Fariba Sadri, Francesca Toni
2006	A	`conf`	Interleaving Belief Updating and Reasoning in Abductive Logic Programming. ECAI Fariba Sadri, Francesca Toni
2006	J	`jnl`	Negotiating Socially Optimal Allocations of Resources. J. Artif. Intell. Res. Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
2006	J	`jnl`	Normative KGP agents. Comput. Math. Organ. Theory Fariba Sadri, Kostas Stathis, Francesca Toni
2005	—	`conf`	Normative KGP Agents: A Preliminary Report. NORMAS Fariba Sadri, Francesca Toni, Kostas Stathis
2005	—	`conf`	Using the KGP Model of Agency to Design Applications (Tutorial Paper). CLIMA Fariba Sadri
2005	—	`conf`	Variety of Behaviours Through Profiles in Logic-Based Agents. CLIMA Fariba Sadri, Francesca Toni
2004	B	`conf`	Abductive Logic Programming with CIFF: System Description. JELIA Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
2004	—	`conf`	Declarative Agent Control. CLIMA Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
2004	—	`conf`	Planning Partially for Situated Agents. CLIMA Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
2004	B	`conf`	The CIFF Proof Procedure for Abductive Logic Programming with Constraints. JELIA Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
2004	—	`conf`	The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation. Global Computing Andrea Bracciali, Neophytos Demetriou, Ulrich Endriss, Antonis C. Kakas, Wenjin Lu, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Giacomo Terreni, Francesca Toni
2004	A	`conf`	The KGP Model of Agency. ECAI Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
2003	A	`conf`	Aspects of protocol conformance in inter-agent dialogue. AAMAS Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
2003	J	`jnl`	Introduction. Ann. Math. Artif. Intell. Jürgen Dix, Fariba Sadri, Ken Satoh
2003	—	`conf`	Logic-Based Agent Communication Protocols. Workshop on Agent Communication Languages Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
2003	A*	`conf`	Minimally intrusive negotiating agents for resource sharing. IJCAI Fariba Sadri, Francesca Toni, Paolo Torroni
2003	A	`conf`	On optimal outcomes of negotiations over resources. AAMAS Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
2003	A*	`conf`	Protocol Conformance for Logic-based Agents. IJCAI Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
2002	B	`conf`	An Abductive Logic Programming Architecture for Negotiating Agents. JELIA Fariba Sadri, Francesca Toni, Paolo Torroni
2002	—	`ed.`	Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I Computational Logic. Logic Programming and Beyond Antonis C. Kakas, Fariba Sadri
2002	—	`ed.`	Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II Computational Logic. Logic Programming and Beyond Antonis C. Kakas, Fariba Sadri
2001	—	`conf`	Dialogues for Negotiation: Agent Varieties and Dialogue Sequences. ATAL Fariba Sadri, Francesca Toni, Paolo Torroni
2001	J	`jnl`	Editorial. ACM Trans. Comput. Log. Krzysztof R. Apt, Antonis C. Kakas, Fariba Sadri
2000	—	`ed.`	CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), London, UK, July 24-25, 2000 CLIMA Ken Satoh, Fariba Sadri
1999	—	`conf`	Abduction with Negation as Failure for Active and Reactive Rules. AI*IA Fariba Sadri, Francesca Toni
1999	J	`jnl`	From Logic Programming Towards Multi-Agent Systems. Ann. Math. Artif. Intell. Robert A. Kowalski, Fariba Sadri
1998	B	`conf`	Combining Introspection and Communication with Rationality and Reactivity in Agents. JELIA Pierangelo Dell'Acqua, Fariba Sadri, Francesca Toni
1997	J	`jnl`	Reconciling the Event Calculus With the Situation Calculus. J. Log. Program. Robert A. Kowalski, Fariba Sadri
1996	—	`conf`	Towards a Unified Agent Architecture that Combines Rationality with Reactivity. Logic in Databases Robert A. Kowalski, Fariba Sadri
1995	B	`conf`	Variants of the Event Calculus. ICLP Fariba Sadri, Robert A. Kowalski
1994	—	`conf`	The Situation Calculus and Event Calculus Compared. ILPS Robert A. Kowalski, Fariba Sadri
1991	J	`jnl`	Logic Programs with Exceptions. New Gener. Comput. Robert A. Kowalski, Fariba Sadri
1990	B	`conf`	Logic Programs with Exceptions. ICLP Robert A. Kowalski, Fariba Sadri
1988	—	`ch.`	A Theorem-Proving Approach to Database Integrity. Foundations of Deductive Databases and Logic Programming. Fariba Sadri, Robert A. Kowalski
1988	—	`—`	A theorem-proving approach to database integrity. Fariba Sadri
1987	A*	`conf`	Integrity Checking in Deductive Databases. VLDB Robert A. Kowalski, Fariba Sadri, Paul Soper
1986	J	`jnl`	The British Nationality Act as a Logic Program. Commun. ACM Marek J. Sergot, Fariba Sadri, Robert A. Kowalski, F. Kriwaczek, Peter Hammond, H. T. Cory