Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders).

Published in: Electron. Notes Theor. Comput. Sci. (2014)

Keyphrases

formal theory
belief update
commonsense reasoning
spatial reasoning
mathematical models
logic programming
deductive databases
predicate logic
natural deduction
artificial intelligence
epistemic logic
horn clauses
temporal reasoning
qualitative and quantitative
modal logic
mathematical model
image retrieval