5482 search results - page 112 / 1097 » Logic Programming and Databases |
157
click to vote
ENTCS
2008
15 years 5 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...
137
click to vote
JELIA
2000
Springer
15 years 8 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 ...