3470 search results - page 1 / 694 » Head-Elementary-Set-Free Logic Programs |
LPNMR
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. The recently proposed notion of an elementary set yielded a refinement of the theorem on loop formulas, telling us that the stable models of a disjunctive logic program ...
IJCAI
2007
13 years 11 months ago
2007
We first provide a mapping from Pearce’s equilibrium logic and Ferraris’s general logic programs to Lin and Shoham’s logic of knowledge and justified assumptions, a nonmon...
ASP
2001
Springer
14 years 1 months ago
2001
Springer
This paper presents a novel application of answer set programming to concept learning in nonmonotonic logic programs. Given an extended logic program as a background theory, we in...
ICLP
1991
Springer
14 years 1 months ago
1991
Springer
Interpretation of Logic Programs 1
EUSFLAT
2009
13 years 7 months ago
2009
