Sign in
On the decidability of open logic.
Wei Zhang
Published in:
Sci. China Ser. F Inf. Sci. (2009)
Keyphrases
</>
computational properties
description logics
modal logic
classical logic
artificial intelligence
query answering
decision procedures
multi valued
proof theory
predicate logic
nonmonotonic logics
database
logic programming
probabilistic logic
knowledge representation
web services
automata theoretic