3470 search results - page 269 / 694 » Head-Elementary-Set-Free Logic Programs |
183
click to vote
ILP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Logic Programs with Annotated Disjunctions (LPADs) provide a simple and elegant framework for integrating probabilistic reasoning and logic programming. In this paper we ...
148
click to vote
ESOP
2005
Springer
16 years 2 days ago
2005
Springer
This paper presents a determinacy inference analysis for logic programs. The analysis infers determinacy conditions that, if satisfied by a call, ensures that it computes at most ...
170
click to vote
LPNMR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a logic programming based conditional planner that is capable of generating both conditional and sequential conformant plans in the presence of sensing actions...
173
click to vote
SAINT
2005
IEEE
16 years 4 days ago
2005
IEEE
Inductive Logic Programming (ILP) is a combination of inductive learning and first-order logic aiming to learn first-order hypotheses from training examples. ILP has a serious b...
197
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
The development of Logic Programming and Defeasible Argumentation lead to Defeasible Logic Programming. Its core resides in the characterization of the warrant procedure. Defeasib...