4513 search results - page 119 / 903 » Logic programming with satisfiability |
138
click to vote
ENTCS
2008
15 years 3 months ago
2008
In this paper, we describe a proof-theoretic foundation for bottom-up logic programming based on uniform proofs in the setting of the logical framework LF. We present a forward un...
123
Voted
JELIA
2000
Springer
15 years 7 months ago
2000
Springer
In previous work, we developed a framework for expressing general preference information in default logic and logic programming. Here we show that the approach of Brewka and Eiter ...
131
click to vote
APAL
2005
15 years 3 months ago
2005
We propose an extension of answer sets, that we call safe beliefs, that can be used to study several properties and notions of answer sets and logic programming from a more genera...
140
click to vote
MST
2008
15 years 3 months ago
2008
Subtyping in first order object calculi is studied with respect to the logical semantics obtained by identifying terms that satisfy the same set of predicates, as formalised throu...