On the Undecidability of Coherent Logic.

Published in: Processes, Terms and Cycles (2005)

Keyphrases

logic programming
automated reasoning
description logics
multi valued
predicate logic
deontic logic
neural network
knowledge base
integrity constraints
modal logic
probabilistic logic
answering queries
formal theory
micron cmos