Model enumeration in propositional circumscription via unsatisfiable core analysis.

Published in: CoRR (2017)

Keyphrases

mathematical model
high level
probabilistic model
statistical model
prior knowledge
management system
computational model
formal model
search space
statistical analysis
experimental data
propositional logic
default logic