1022 search results - page 4 / 205 » Stable models and circumscription |
QUESTA
2008
13 years 5 months ago
2008
We introduce the Conditional Mean Value Analysis (CMVA) algorithm, an exact solution method for product-form load-dependent closed queueing networks that provides a numerically st...
ICRA
2010
IEEE
13 years 4 months ago
2010
IEEE
— Bipedal walking could be implemented into a robot by mimicking spring-like leg behaviour. The fundamental model, describing human-like leg function in walking is the bipedal sp...
NMELP
1994
13 years 9 months ago
1994
In Prz91], Przymusinski introduced the partial (or 3-valued) stable model semantics which extends the (2-valued) stable model semantics dened originally by Gelfond and Lifschitz G...
JELIA
2010
Springer
13 years 4 months ago
2010
Springer
Stable belief sets were introduced by R. Stalnaker in the early ’80s, as a formal representation of the epistemic state for an ideal introspective agent. This notion motivated M...
AAAI
1990
13 years 7 months ago
1990
An algorithm is described which computes stable models of propositional logic programs with negation as failure using the Assumption Based Truth Maintenance mechanism. Since stabl...