3546 search results - page 125 / 710 » A Causal Logic of Logic Programming |
141
click to vote
JELIA
2004
Springer
15 years 9 months ago
2004
Springer
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...
182
click to vote
ARGMAS
2009
Springer
15 years 10 months ago
2009
Springer
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...
168
click to vote
LPNMR
2007
Springer
15 years 10 months ago
2007
Springer
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 ...
133
click to vote
ILP
2005
Springer
15 years 9 months ago
2005
Springer
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...
109
click to vote
SBIA
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. The ability to view extended logic programs as argumentation systems opens the way for the use of this language in formalizing communication among reasoning computing age...