Eine entscheidbare Klasse n-stelliger Horn-Prädikate.

Jochen Burghardt

Published in: CoRR (2014)

Keyphrases

np hard
horn theories
propositional logic
knowledge compilation
horn logic
multi agent
databases
artificial intelligence
decision trees
computational complexity
evolutionary algorithm
query processing
special case
scheduling problem
management system
canonical representation