834 search results - page 9 / 167 » Computing Minimal Models, Stable Models, and Answer Sets |
113
Voted
ATVA
2008
Springer
15 years 1 months ago
2008
Springer
We show how fault injection together with recent advances in stochastic model checking can be combined to form a crucial ingredient for improving quantitative safety analysis. Base...
111
Voted
FOIKS
2008
Springer
15 years 1 months ago
2008
Springer
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
98
Voted
ICLP
2007
Springer
15 years 5 months ago
2007
Springer
aa We consider the problem of obtaining a minimal logic program strongly equivalent (under the stable models semantics) to a given arbitrary propositional theory. We propose a meth...
186
Voted
ICLP
2009
Springer
16 years 9 days ago
2009
Springer
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1, . . . , Pn, the goal is to provide characterisations of the...
103
click to vote
CORR
2008
Springer
14 years 11 months ago
2008
Springer
The paper introduces the notion of off-line justification for Answer Set Programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom w.r.t. a ...