Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions.

Published in: J. Log. Comput. (1993)

Keyphrases

default logic
argumentation frameworks
object oriented
nonmonotonic reasoning
data model
knowledge representation
object oriented databases
real time
data mining
information retrieval
computer vision
database systems
image sequences
data structure
logic programming
default theories