3845 search results - page 44 / 769 » Belief Logic Programming |
KI
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. The revision and transformation of knowledge is widely recognized as a key issue in knowledge representation and reasoning. Reasons for the importance of this topic are t...
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
We propose an integrated theoretical framework, grounded in possibility theory, to account for all the aspects involved in representing and changing beliefs, representing and gene...
AMAI
2008
Springer
14 years 9 months ago
2008
Springer
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
LPNMR
1999
Springer
15 years 2 months ago
1999
Springer
Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, defau...
CADE
2008
Springer
15 years 10 months ago
2008
Springer