Making inconsistency respectable: a logical framework for inconsistency in reasoning.

Dov M. Gabbay Anthony Hunter

Published in: FAIR (1991)

Keyphrases

logical framework
reasoning tasks
inference rules
inconsistent information
belief revision
linear logic
possibilistic logic
epistemic logic
artificial intelligence
relational databases
multi dimensional
bayesian networks
multi agent
normative systems