A Logic of Knowing How.

Published in: LORI (2015)

Keyphrases

modal logic
asynchronous circuits
artificial intelligence
multi valued
predicate logic
website
probabilistic model
logic programming
automated reasoning
computational properties
defeasible logic
dynamic logic