Logic of approximate entailment in quasimetric spaces.

Thomas Vetterlein

Published in: Int. J. Approx. Reason. (2015)

Keyphrases

logic programming
probabilistic logic
nearest neighbor searching
knowledge base
knowledge representation
modal logic
automated reasoning
classical logic
asynchronous circuits
multi valued
nonmonotonic logics
predicate logic
linear logic
recognizing textual entailment
tableau calculus