3845 search results - page 118 / 769 » Belief Logic Programming |
IFIP
1994
Springer
15 years 2 months ago
1994
Springer
POPL
1994
ACM
15 years 2 months ago
1994
ACM
ENTCS
2008
14 years 10 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...
JELIA
2000
Springer
15 years 1 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 ...
LPAR
1999
Springer
15 years 2 months ago
1999
Springer
In this work, we develop a partial evaluation technique for residuating functional logic programs, which generalize the concurrent computation models for logic programs with delays...