Fariba Sadri

According to our database1, Fariba Sadri authored at least 60 papers between 1986 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages.
Theory Pract. Log. Program., 2019

2018
Preface.
Proceedings of the 1st Workshop on Behavioral Change and Ambient Intelligence for Sustainability, 2018

Using SWISH to realise interactive web based tutorials for logic based languages.
CoRR, 2018

2017
How to do it with LPS (Logic-Based Production System).
Proceedings of the Doctoral Consortium, 2017

2016
Programming in logic without logic programming.
Theory Pract. Log. Program., 2016

An Executable Logic-Based Model for Cutter Suction Dredging Using LPS.
Proceedings of the Supplementary Proceedings of the RuleML 2016 Challenge, 2016

2015
Reactive Computing as Model Generation.
New Gener. Comput., 2015

2014
A Logical Characterization of a Reactive System Language.
Proceedings of the Rules on the Web. From Theory to Applications, 2014

2012
Intention Recognition in Agents for Ambient Intelligence: Logic-Based Approaches.
Proceedings of the Agents and Ambient Intelligence, 2012

A Logic-Based Framework for Reactive Systems.
Proceedings of the Rules on the Web: Research and Applications, 2012

Teleo-Reactive Abductive Logic Programs.
Proceedings of the Logic Programs, Norms and Action, 2012

Intention Recognition with Clustering.
Proceedings of the Ambient Intelligence - Third International Joint Conference, 2012

Sixth International Workshop on Human Aspects in Ambient Intelligence (HAI 2012).
Proceedings of the Ambient Intelligence - Third International Joint Conference, 2012

2011
Ambient intelligence: A survey.
ACM Comput. Surv., 2011

Abductive logic programming agents with destructive databases.
Ann. Math. Artif. Intell., 2011

Intention Recognition with Event Calculus Graphs and Weight of Evidence.
Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1, 2011

2010
Special Issue on Artificial Societies for Ambient Intelligence Editorial Introduction.
Comput. J., 2010

Intention Recognition with Event Calculus Graphs.
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, Toronto, Canada, August 31, 2010

An Agent Language with Destructive Assignment and Model-Theoretic Semantics.
Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

2009
Ambient Intelligence.
Proceedings of the Encyclopedia of Artificial Intelligence (3 Volumes), 2009

The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments.
Theory Pract. Log. Program., 2009

Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents.
Proceedings of the Web Reasoning and Rule Systems, Third International Conference, 2009

2008
Computational Logic Foundations of KGP Agents.
J. Artif. Intell. Res., 2008

2007
Programming Applications in CIFF.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Multi-agent Cooperative Planning and Information Gathering.
Proceedings of the Cooperative Information Agents XI, 11th International Workshop, 2007

First International Workshop on Human Aspects in Ambient Intelligence: Preface.
Proceedings of the Constructing Ambient Intelligence, 2007

2006
Negotiating Socially Optimal Allocations of Resources.
J. Artif. Intell. Res., 2006

Normative KGP agents.
Comput. Math. Organ. Theory, 2006

A Formal Analysis of KGP Agents.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Interleaving Belief Updating and Reasoning in Abductive Logic Programming.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005
Normative KGP Agents: A Preliminary Report.
Proceedings of the Symposium on Normative Multi-Agent Systems, 2005

Variety of Behaviours Through Profiles in Logic-Based Agents.
Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

Using the KGP Model of Agency to Design Applications (Tutorial Paper).
Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

2004
Abductive Logic Programming with CIFF: System Description.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

The CIFF Proof Procedure for Abductive Logic Programming with Constraints.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation.
Proceedings of the Global Computing, IST/FET International Workshop, 2004

The KGP Model of Agency.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Planning Partially for Situated Agents.
Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

Declarative Agent Control.
Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

2003
Introduction.
Ann. Math. Artif. Intell., 2003

Minimally intrusive negotiating agents for resource sharing.
Proceedings of the IJCAI-03, 2003

Protocol Conformance for Logic-based Agents.
Proceedings of the IJCAI-03, 2003

Aspects of protocol conformance in inter-agent dialogue.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

On optimal outcomes of negotiations over resources.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

Logic-Based Agent Communication Protocols.
Proceedings of the Advances in Agent Communication, 2003

2002
An Abductive Logic Programming Architecture for Negotiating Agents.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001
Editorial.
ACM Trans. Comput. Log., 2001

Dialogues for Negotiation: Agent Varieties and Dialogue Sequences.
Proceedings of the Intelligent Agents VIII, 8th International Workshop, 2001

1999
From Logic Programming Towards Multi-Agent Systems.
Ann. Math. Artif. Intell., 1999

Abduction with Negation as Failure for Active and Reactive Rules.
Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 1999

1998
Combining Introspection and Communication with Rationality and Reactivity in Agents.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

1997
Reconciling the Event Calculus With the Situation Calculus.
J. Log. Program., 1997

1996
Towards a Unified Agent Architecture that Combines Rationality with Reactivity.
Proceedings of the Logic in Databases, 1996

1995
Variants of the Event Calculus.
Proceedings of the Logic Programming, 1995

1994
The Situation Calculus and Event Calculus Compared.
Proceedings of the Logic Programming, 1994

1991
Logic Programs with Exceptions.
New Gener. Comput., 1991

1988
A theorem-proving approach to database integrity.
PhD thesis, 1988

A Theorem-Proving Approach to Database Integrity.
Proceedings of the Foundations of Deductive Databases and Logic Programming, 1988

1987
Integrity Checking in Deductive Databases.
Proceedings of the VLDB'87, 1987

1986
The British Nationality Act as a Logic Program.
Commun. ACM, 1986


  Loading...