Studying properties of classes of default logics.

Grigoris Antoniou Tyrone O'Neill Joe Thurbon

Published in: J. Exp. Theor. Artif. Intell. (1998)

Keyphrases

default logic
default theories
nonmonotonic reasoning
default reasoning
query language
autoepistemic logic
default rules
knowledge representation formalisms