A Logic of Knowing How.

Published in: CoRR (2015)

Keyphrases

modal logic
classical logic
logic programming
proof theory
information systems
case study
bayesian networks
relational databases
hidden markov models
temporal logic
logical framework
nonmonotonic logics