Model enumeration in propositional circumscription via unsatisfiable core analysis.

Published in: Theory Pract. Log. Program. (2017)

Keyphrases

management system
computational model
theoretical framework
statistical analysis
mathematical model
empirical data
logic programming
objective function
data model
dynamic programming
probabilistic model
fixed point
formal model