A logic of goal-directed knowing how.

Published in: Synth. (2018)

Keyphrases

goal directed
modal logic
automated planning
logic programming
autonomous robots
databases
logic synthesis
asynchronous circuits
classical logic
defeasible logic
set theory
digital circuits
action models
knowledge base
search engine
natural deduction
database