1578 search results - page 16 / 316 » Induction of Stable Models |
ICARCV
2006
IEEE
14 years 1 months ago
2006
IEEE
—This paper presents a multi-estimation adaptive control strategy for stabilizing a potentially noninversely stable, linear and time-invariant plant. Such a strategy works with s...
ICLP
2001
Springer
13 years 12 months ago
2001
Springer
We formally characterize alternating fixed points of boolean equation systems as models of (propositional) normal logic programs. To this end, we introduce the notion of a preferr...
EPIA
2005
Springer
14 years 1 months ago
2005
Springer
This paper introduces an original 2-valued semantics for Normal Logic Programs (NLP), which conservatively extends the Stable Model semantics (SM) to all normal programs. The dist...
IJCAI
2007
13 years 9 months ago
2007
The definition of a stable model has provided a declarative semantics for Prolog programs with negation as failure and has led to the development of answer set programming. In th...
FS
2010
13 years 6 months ago
2010
Portfolio credit risk models as well as models for operational risk can often be treated analogously to the collective risk model coming from insurance. Applying the classical Panj...