1578 search results - page 86 / 316 » Induction of Stable Models |
ASP
2001
Springer
14 years 1 months ago
2001
Springer
Default Logic and Logic Programming with stable model semantics are recognized as powerful frameworks for incomplete information representation. Their expressive power are suitabl...
AI
1998
Springer
13 years 8 months ago
1998
Springer
We argue that the situation calculus is a natural formalism for representing and reasoning about control and strategic information. As a case study, in this paper we provide a sit...
ACAL
2009
Springer
14 years 1 months ago
2009
Springer
Societal behaviour can be studied at a causal level by perturbing a stable multi-agent model with new microscopic behaviours and observing the statistical response over an ensembl...
ICSP
1993
13 years 10 months ago
1993
Much contemporary development process research is based on analyses of process steps, their duration, and the events they propagate. Our initial research in large, mature telecomm...
ICCAD
2007
IEEE
2007
IEEE
Stabilizing schemes for piecewise-linear reduced order models via projection and weighting functions
14 years 5 months ago
— In this paper we present several results concerning the stabilization of piecewise-linear reduced order models. We include proofs of internal and external stability for models ...