Transforming Prioritized Defaults and Specificity into Parallel Defaults

Benjamin N. Grosof

Published in: CoRR (2013)

Keyphrases

default reasoning
default logic
default theories
expressive power
logic programs
logic programs with negation
neural network
knowledge base
database
artificial intelligence
information systems
image segmentation
parallel processing
domain theory
nonmonotonic logics