Comparing Space Efficiency of Propositional Knowledge Representation Formalisms.

Marco Cadoli Francesco M. Donini Paolo Liberatore Marco Schaerf

Published in: KR (1996)

Keyphrases

knowledge representation formalisms
default logic
knowledge representation
search space
description logics
space time
first order logic
propositional logic
knowledge base
bayesian networks
expert systems
domain knowledge
data sources
general purpose
graph cuts