Sciweavers

3845 search results - page 157 / 769
» Belief Logic Programming
Sort
View
ARGMAS
2009
Springer
15 years 4 months ago
Realizing Argumentation in Multi-agent Systems Using Defeasible Logic Programming
We describe a working multi-agent architecture based on Defeasible Logic Programming (DeLP) by Garc´ıa and Simari where agents are engaged in an argumentation to reach a common c...
Matthias Thimm
LPNMR
2007
Springer
15 years 4 months ago
An Application of Defeasible Logic Programming to Decision Making in a Robotic Environment
Decision making models for autonomous agents have received increased attention, particularly in the field of intelligent robots. In this paper we will show how a Defeasible Logic ...
Edgardo Ferretti, Marcelo Errecalde, Alejandro Jav...
MLG
2007
Springer
15 years 4 months ago
Graphs, Hypergraphs, and Inductive Logic Programming
Abstract. There are many connections between graph mining and inductive logic programming (ILP), or more generally relational learning. Up till now these connections have mostly be...
Hendrik Blockeel, Tijn Witsenburg, Joost N. Kok
ILP
2005
Springer
15 years 3 months ago
Learning Teleoreactive Logic Programs from Problem Solving
In this paper, we focus on the problem of learning reactive skills for use by physical agents. We propose a new representation for such procedures, teleoreactive logic programs, al...
Dongkyu Choi, Pat Langley
JELIA
2004
Springer
15 years 3 months ago
The CIFF Proof Procedure for Abductive Logic Programming with Constraints
Abstract. 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 abduc...
Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Gi...