Login / Signup
Exploiting Modal Logic to Express Performance Measures.
Graham Clark
Stephen Gilmore
Jane Hillston
Marina Ribaudo
Published in:
Computer Performance Evaluation / TOOLS (2000)
Keyphrases
</>
modal logic
temporal logic
inference rules
decision procedures
nonmonotonic logics
default logic
classical logic
epistemic logic
dynamic logic
conditional logic
situation calculus
evaluation measures
logical framework
prime implicates
autoepistemic logic
domain knowledge
normal form
model checking