Living with Inconsistency and Taming Nonmonotonicity.

Jan Maluszynski Andrzej Szalas

Published in: Datalog (2010)

Keyphrases

default reasoning
nonmonotonic reasoning
integrity checking
databases
data sets
neural network
machine learning
classical logic
search engine
computer vision
decision making
knowledge base
case study
data streams
logic programming
integrity constraints