A Logic of Knowing Why.

Chao Xu Yanjing Wang

Published in: CoRR (2016)

Keyphrases

modal logic
multi valued
classical logic
automated reasoning
real world
database
databases
information retrieval
computer vision
web services
clustering algorithm
proof theory
delay insensitive