1022 search results - page 3 / 205 » Stable models and circumscription |
FS
2010
13 years 3 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...
AMAI
1999
Springer
13 years 5 months ago
1999
Springer
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
VR
2008
IEEE
13 years 3 months ago
2008
IEEE
It is difficult to implement a stable and realistic haptic simulation for cutting rigid objects that is based on a damping model because of an inevitable conflict between stability...
JLP
2000
13 years 5 months ago
2000
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...
JSYML
2002
13 years 5 months ago
2002
We investigate the effect of a variant of Matet forcing on ultrafilters in the ground model and give a characterization of those P