On the Succinctness of Atoms of Dependency.

Martin Lück Miikka Vilander

Published in: Log. Methods Comput. Sci. (2019)

Keyphrases

modal logic
logic programs
linear combination
knowledge compilation
answer sets
database
real world
digital libraries
multiresolution