4586 search results - page 10 / 918 » Computing stable models in parallel |
ICLP
2003
Springer
14 years 28 days 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...
HAPTICS
2003
IEEE
14 years 1 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
13 years 5 months ago
2010
IEEE
CORR
2004
Springer
13 years 7 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
14 years 2 months ago
2009
Springer