Two Extensions of the Structurally Free Logic LC*.

Katalin Bimbó J. Michael Dunn

Published in: Log. J. IGPL (1998)

Keyphrases

logic programming
modal logic
knowledge representation formalisms
default logic
multi valued
classical logic
database
machine learning
artificial intelligence
probabilistic logic
automated reasoning
predicate logic
abductive reasoning
truth maintenance systems
algebraic operators
sound and complete axiomatization