An upper bound on computing all X-minimal models.

Chen Avin Rachel Ben-Eliyahu-Zohary

Published in: AI Commun. (2007)

Keyphrases

upper bound
minimal models
lower bound
propositional logic
worst case
logic programs
nonmonotonic reasoning
upper and lower bounds
default logic
branch and bound algorithm
generalization error
relational databases
knowledge representation