Computing Minimal Models Modulo Subset-Simulation for Modal Logics.

Fabio Papacchini Renate A. Schmidt

Published in: FroCos (2013)

Keyphrases

modal logic
autoepistemic logic
minimal models
default logic
nonmonotonic logics
decision procedures
nonmonotonic reasoning
temporal logic
inference rules
classical logic
logic programs
default theories
epistemic logic
logic programming
situation calculus
data model
default reasoning
rough sets