A logic of knowing why.

Chao Xu Yanjing Wang Thomas Studer

Published in: Synth. (2021)

Keyphrases

logic programming
modal logic
asynchronous circuits
classical logic
computational properties
information systems
multi valued
logical framework
real time
computer vision
hidden markov models
query language
automated reasoning