Space Efficiency of Propositional Knowledge Representation Formalisms

Marco Cadoli Francesco M. Donini Paolo Liberatore Marco Schaerf

Published in: CoRR (2011)

Keyphrases

knowledge representation formalisms
default logic
knowledge representation
propositional logic
first order logic
computational complexity
knowledge base
description logics
state space
domain specific
graphical models
low dimensional
space time
multi valued