On minimal models of the Region Connection Calculus.

Lirong Xia Sanjiang Li

Published in: Fundam. Informaticae (2006)

Keyphrases

minimal models
propositional logic
logic programs
nonmonotonic reasoning
autoepistemic logic
default logic
logic programming
belief revision
fixpoint
stable models
truth maintenance systems
knowledge base
temporal reasoning
model theoretic