Logic of agreement: foundations, semantic system and proof theory.

Luís M. M. Custódio Carlos A. Pinto-Ferreira

Published in: Int. J. Approx. Reason. (1999)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
artificial intelligence
semantic annotation
semantic web
nonmonotonic reasoning
high level
natural language
description logics
domain ontology
belief revision
decision procedures
logical equivalence