5482 search results - page 112 / 1097 » Logic Programming and Databases |
85
Voted
IFIP
1994
Springer
15 years 6 months ago
1994
Springer
104
Voted
POPL
1994
ACM
15 years 6 months ago
1994
ACM
133
Voted
ENTCS
2008
15 years 2 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...
115
Voted
JELIA
2000
Springer
15 years 6 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 ...