Computing Extensions of Nonmonotonic Logics.

Grigoris Antoniou Volker Sperschneider

Published in: SCAI (1993)

Keyphrases

nonmonotonic logics
default logic
default theories
modal logic
nonmonotonic reasoning
propositional logic
default reasoning
logic programming
neural network
machine learning
error rate
autoepistemic logic
database
artificial intelligence
natural language