An Alternative Logic for Knowability.

Xuefeng Wen Hu Liu Fan Huang

Published in: LORI (2011)

Keyphrases

classical logic
asynchronous circuits
data sets
data structure
modal logic
real time
social networks
computer vision
website
knowledge representation
logic programming
multi valued
defeasible logic
proof theory