Logical Characterizations of Nonmonotonic TMSs.

Published in: MFCS (1989)

Keyphrases

nonmonotonic reasoning
logic programming
probabilistic knowledge
defeasible logic
nonmonotonic logics
logical reasoning
default rules
scene representation
logical operations
rationality postulates
neural network
multiple inheritance
model theoretic
default logic
markov random field
object oriented
computer vision