On the Classification and Existence of Structures in Default Logic.

Aidong Zhang V. Wiktor Marek

Published in: EPIA (1989)

Keyphrases

default logic
default theories
nonmonotonic reasoning
default reasoning
autoepistemic logic
nonmonotonic logics
support vector
text classification
logic programming
machine learning
modal logic
training set
decision trees
decision rules
supervised learning
fixed point
state space
databases