Believability in Default Logic Entails Logical Consequence from Circumscription (Somestimes).

Atsushi Togashi Ben-Hui Hou Shoichi Noguchi

Published in: KBCS (1989)

Keyphrases

default logic
autoepistemic logic
default reasoning
default theories
logic programming
nonmonotonic logics
nonmonotonic reasoning
fixed point
default rules
modal logic
extended logic programs
truth maintenance systems
classical logic
database
logic programs