Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search.

Mario Alviano Carmine Dodaro

Published in: Fundam. Informaticae (2020)

Keyphrases

probabilistic model
formal model
objective function
statistical model
image analysis
mathematical model
search strategies
cooperative game
data sets
search mechanism
empirical data
simulation model
experimental data
computational model
query language
search space
genetic algorithm