3845 search results - page 34 / 769 » Belief Logic Programming |
FLOPS
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents a self-applicable partial evaluator for a considerable subset of full Prolog. The partial evaluator is shown to achieve non-trivial specialisation and be effect...
SIGIR
2004
ACM
15 years 5 months ago
2004
ACM
Applying Belief Revision logic to model adaptive information retrieval is appealing since it provides a rigorous theoretical foundation to model partiality and uncertainty inheren...
106
click to vote
CL
2000
Springer
15 years 4 months ago
2000
Springer
In this paper I give a brief overview of recent work on uncertainty inAI, and relate it to logical representations. Bayesian decision theory and logic are both normative frameworks...
104
click to vote
JELIA
2010
Springer
14 years 10 months ago
2010
Springer
Stable belief sets were introduced by R. Stalnaker in the early ’80s, as a formal representation of the epistemic state for an ideal introspective agent. This notion motivated M...