Analytic Calculi for Circular Concepts by Finite Revision.

Published in: Stud Logica (2013)

Keyphrases

belief revision
knowledge base
finite number
knowledge structures
information systems
hough transform
finite automata
revision operators
vague concepts
data sets
website
domain knowledge
domain ontology
belief change
conceptual models
sequent calculi