On Representation Theorems for Nonmonotonic Consequence Relations.

Ramón Pino Pérez Carlos Uzcátegui

Published in: J. Symb. Log. (2000)

Keyphrases

real time
nonmonotonic reasoning
data sets
computer vision
feature selection
logic programming
image representation
autoepistemic logic
multiple inheritance