Interconnection of the Lattices of Extensions of Four Logics.

Alexei Y. Muravitsky

Published in: Logica Universalis (2017)

Keyphrases

knowledge representation formalisms
default logic
expressive power
information systems
high density
knowledge base
fuzzy logic
modal logic
efficient implementation
argumentation semantics
databases
proof theory
default theories
concept lattice
expert systems
search algorithm
decision trees
computer vision