4586 search results - page 10 / 918 » Computing stable models in parallel |
151
click to vote
ICLP
2003
Springer
15 years 6 months ago
2003
Springer
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...
131
click to vote
HAPTICS
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper describes a new technique for allowing multiple users to haptically interact with a set of deformable slowly-simulated objects in a stable manner. Stability has been ap...
IPPS
2010
IEEE
14 years 11 months ago
2010
IEEE
142
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
In this paper we analyze the relationship between cyclic definitions and consistency in GelfondLifschitz's answer sets semantics (initially defined as `stable model semantics...
PVM
2009
Springer
15 years 8 months ago
2009
Springer