Maximally Permissive Controlled System Synthesis for Modal Logic.

Allan van Hulst Michel A. Reniers Wan J. Fokkink

Published in: SOFSEM (2015)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
classical logic
nonmonotonic logics
epistemic logic
program synthesis
default logic
conditional logic
situation calculus
description logic alc
autoepistemic logic
case based reasoning
domain knowledge
sequent calculus
machine learning