Fariba Sadri

Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

2009

Ambient Intelligence.

[BibT_eX]

[DOI]

Kostas Stathis

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

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

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2009

Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems, Third International Conference, 2009

2008

Computational Logic Foundations of KGP Agents.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2008

2007

Programming Applications in CIFF.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Multi-agent Cooperative Planning and Information Gathering.

[BibT_eX]

[DOI]

Proceedings of the Cooperative Information Agents XI, 11th International Workshop, 2007

First International Workshop on Human Aspects in Ambient Intelligence: Preface.

[BibT_eX]

[DOI]

Tibor Bosse

Cristiano Castelfranchi

Mark A. Neerincx

Jan Treur

Proceedings of the Constructing Ambient Intelligence, 2007

2006

Negotiating Socially Optimal Allocations of Resources.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2006

Normative KGP agents.

[BibT_eX]

[DOI]

Kostas Stathis

Comput. Math. Organ. Theory, 2006

A Formal Analysis of KGP Agents.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Interleaving Belief Updating and Reasoning in Abductive Logic Programming.

[BibT_eX]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005

Normative KGP Agents: A Preliminary Report.

[BibT_eX]

[DOI]

Kostas Stathis

Proceedings of the Symposium on Normative Multi-Agent Systems, 2005

Variety of Behaviours Through Profiles in Logic-Based Agents.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

Using the KGP Model of Agency to Design Applications (Tutorial Paper).

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

2004

Abductive Logic Programming with CIFF: System Description.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

The CIFF Proof Procedure for Abductive Logic Programming with Constraints.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation.

[BibT_eX]

[DOI]

Proceedings of the Global Computing, IST/FET International Workshop, 2004

The KGP Model of Agency.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Planning Partially for Situated Agents.

[BibT_eX]

[DOI]

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

Declarative Agent Control.

[BibT_eX]

[DOI]

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

2003

Introduction.

[BibT_eX]

[DOI]

Jürgen Dix

Ken Satoh

Ann. Math. Artif. Intell., 2003

Minimally intrusive negotiating agents for resource sharing.

[BibT_eX]

[DOI]

Paolo Torroni

Proceedings of the IJCAI-03, 2003

Protocol Conformance for Logic-based Agents.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-03, 2003

Aspects of protocol conformance in inter-agent dialogue.

[BibT_eX]

[DOI]

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

On optimal outcomes of negotiations over resources.

[BibT_eX]

[DOI]

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

Logic-Based Agent Communication Protocols.

[BibT_eX]

[DOI]

Proceedings of the Advances in Agent Communication, 2003

2002

An Abductive Logic Programming Architecture for Negotiating Agents.

[BibT_eX]

[DOI]

Paolo Torroni

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001

Editorial.

[BibT_eX]

[DOI]

Krzysztof R. Apt

Antonis C. Kakas

ACM Trans. Comput. Log., 2001

Dialogues for Negotiation: Agent Varieties and Dialogue Sequences.

[BibT_eX]

[DOI]

Paolo Torroni

Proceedings of the Intelligent Agents VIII, 8th International Workshop, 2001

1999

From Logic Programming Towards Multi-Agent Systems.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1999

Abduction with Negation as Failure for Active and Reactive Rules.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 1999

1998

Combining Introspection and Communication with Rationality and Reactivity in Agents.

[BibT_eX]

[DOI]

Pierangelo Dell'Acqua

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

1997

Reconciling the Event Calculus With the Situation Calculus.

[BibT_eX]

[DOI]

J. Log. Program., 1997

1996

Towards a Unified Agent Architecture that Combines Rationality with Reactivity.

[BibT_eX]

[DOI]

Proceedings of the Logic in Databases, 1996

1995

Variants of the Event Calculus.

[BibT_eX]

Proceedings of the Logic Programming, 1995

1994

The Situation Calculus and Event Calculus Compared.

[BibT_eX]

Proceedings of the Logic Programming, 1994

1991

Logic Programs with Exceptions.

[BibT_eX]

[DOI]

New Gener. Comput., 1991

1988

A theorem-proving approach to database integrity.

[BibT_eX]

[DOI]

PhD thesis, 1988

A Theorem-Proving Approach to Database Integrity.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Deductive Databases and Logic Programming, 1988

1987

Integrity Checking in Deductive Databases.

[BibT_eX]

[DOI]