A Logic for Conceptual Hierarchies.

Norihiro Kamide

Published in: SBIA (2010)

Keyphrases

logic programming
modal logic
databases
logic synthesis
defeasible logic
knowledge structures
conceptual model
data model
hierarchical structure
website
information systems
data mining
automated reasoning
probabilistic logic
classical logic
real world
real time
sound and complete axiomatization