Circumscribing Defaults.

Zhaogang Qian Keki B. Irani

Published in: IJCAI (1991)

Keyphrases

default reasoning
default logic
default theories
expressive power
default rules
knowledge representation
high quality
data structure
nonmonotonic reasoning
databases
artificial intelligence
pattern recognition
logic programming
nonmonotonic logics