Login / Signup
Reasoning about Minimal Belief and Negation as Failure
Riccardo Rosati
Published in:
CoRR (2011)
Keyphrases
</>
modal operators
logic programs
belief revision
logic programming
belief functions
spatial reasoning
failure rate
truth values
qualitative reasoning
root cause
formal theory
database
case study
partially ordered
evidential reasoning
probabilistic knowledge