A Tableau-Based Characterisation for Default Logic.

Camilla Schwind Vincent Risch

Published in: ECSQARU (1991)

Keyphrases

default logic
default theories
description logics
default reasoning
nonmonotonic reasoning
autoepistemic logic
logic programming
default rules
fixed point
nonmonotonic logics
modal logic
extended logic programs
classical logic
higher order
deductive databases