The KGP Model of Agency for Global (2004)
A. Bracciali, N. Demetriou, U. Endriss, A. Kakas, W. Lu, P. Mancarella, ...
We present the computational counterpart of the KGP (Knowledge, Goals, Plan) declarative model of agency for Global Computing.
Abductive Logic Programming with CIFF: (2004)
U. Endriss, P. Mancarella, F. Sadri, G. Terreni, F. Toni
Introduction Abduction has long been recognised as a powerful mechanism for hypothetical reasoning in the presence of incomplete knowledge. Here, we discuss the implementation of a novel abductive...
The CIFF Proof Procedure for Abductive Logic Programming with Constraints (2004)
U. Endriss, P. Mancarella, F. Sadri, G. Terreni, F. Toni
We introduce a new proof procedure for abductive logic programming and present two soundness results. Our procedure extends that of Fung and Kowalski by integrating abductive reasoning with...
Abductive Logic Programming with CIFF: (2004)
U. Endriss, P. Mancarella, F. Sadri, G. Terrreni, F. Toni
We describe a system implementing a novel extension of Fung and Kowalski's IFF abductive proof procedure which we call CIFF, and its application to realise intelligent agents that can construct...
The CIFF Proof Procedure: Definition and (2004)
U. Endriss, P. Mancarella, F. Sadri, G. Terreni, F. Toni
We introduce a new proof procedure for abductive logic programming and prove two soundness results. Our procedure extends that of Fung and Kowalski by integrating abductive reasoning with constraint...
Logic Agents, Dialogues and Negotiation: An Abductive Approach (2001)
This paper proposes a logical framework for automated negotiation processes. It describes the language, the knowledge and the reasoning that is required to build negotiation dialogues between two...
A Logic-Agent based System for Semantic Integration (2000)
F. Sadri, F. Toni, I. Xanthakos
Introduction The heterogeneity of information sources can syntactic or semantic. The former can be due, for example to platform mismatches and different Database Management Systems, and, the latter...
An Agent Architecture That Combines Backward and Forward Reasoning (1999)
R. A. Kowalski, F. Sadri, F. Toni
. We present a proof procedure that combines backward reasoning with logic programs and forward reasoning with integrity constraints. We illustrate the use of the proof procedure as the inference...
Combining Introspection and Communication With Rationality and Reactivity in Agents (1999)
. We propose a logic-based language for programming agents that can reason about their own beliefs as well as the beliefs of other agents and can communicate with each other. The agents can be...
Communication and Beliefs in Agents (1999)
this paper we propose a combination of (a version of) the RPC programming paradigm and KS-agents. In the resulting framework reactive, rational or hybrid agents can reason about their own beliefs as...
Combining Introspection and Communication With Rationality and Reactivity in Agents (1998)
. We propose a logic-based language for programming agents that can reason about their own beliefs as well as the beliefs of other agents and can communicate with each other. The agents can be...
An Agent Architecture That Combines Backward and Forward Reasoning (1998)
R. A. Kowalski, F. Sadri, F. Toni
. We present a proof procedure that combines backward reasoning with logic programs and forward reasoning with integrity constraints. We illustrate the use of the proof procedure as the inference...
An Agent Architecture That Combines Backward and Forward Reasoning (1998)
R. A. Kowalski, F. Sadri, F. Toni
. We present a proof procedure that combines backward reasoning with logic programs and forward reasoning with integrity constraints. We illustrate the use of the proof procedure as the inference...
An Agent Architecture That Combines Backward and Forward Reasoning (1998)
R. A. Kowalski, F. Sadri, F. Toni
. We present a proof procedure that combines backward reasoning with logic programs and forward reasoning with integrity constraints. We illustrate the use of the proof procedure as the inference...
An Agent Architecture That Combines Backward and Forward Reasoning (1998)
R. A. Kowalski, F. Sadri, F. Toni
. We present a proof procedure that combines backward reasoning with logic programs and forward reasoning with integrity constraints. We illustrate the use of the proof procedure as the inference...
Combining Introspection and Communication With Rationality and Reactivity in Agents (1998)
. We propose a logic-based language for programming agents that can reason about their own beliefs as well as the beliefs of other agents and can communicate with each other. The agents can be...
An Agent Architecture That Combines Backward and Forward Reasoning (1998)
R. A. Kowalski, F. Sadri, F. Toni
. We present a proof procedure that combines backward reasoning with logic programs and forward reasoning with integrity constraints. We illustrate the use of the proof procedure as the inference...
An Agent Architecture That Combines Backward and Forward Reasoning (1998)
R. A. Kowalski, F. Sadri, F. Toni
. We present a proof procedure that combines backward reasoning with logic programs and forward reasoning with integrity constraints. We illustrate the use of the proof procedure as the inference...
An Agent Architecture That Combines Backward and Forward Reasoning (1998)
R. A. Kowalski, F. Sadri, F. Toni
. We present a proof procedure that combines backward reasoning with logic programs and forward reasoning with integrity constraints. We illustrate the use of the proof procedure as the inference...