1022 search results - page 23 / 205 » Stable models and circumscription |
AAAI
2004
13 years 9 months ago
2004
An odd cycle of a logic program is a simple cycle that has an odd number of negative edges in the dependency graph of the program. Similarly, an even cycle is one that has an even...
MANSCI
2008
13 years 7 months ago
2008
Continuing research by Jennings, Mandelbaum, Massey and Whitt (1996), we investigate methods to perform time-dependent staffing for many-server queues. Our aim is to achieve time-...
SIMPAR
2010
13 years 6 months ago
2010
Stability of bipedal locomotion is analyzed using a model of a planar biped written in the framework of systems with unilateral constraints. Based on this model, two different sta...
SODA
2008
ACM
13 years 9 months ago
2008
ACM
We study the behavior of random walks along the edges of the stable marriage lattice for various restricted families of allowable preference sets. In the "k-attribute model,&...
LPNMR
2001
Springer
14 years 3 days ago
2001
Springer
Schlipf (Sch95) proved that Stable Logic Programming (SLP) solves all NP decision problems. We extend Schlipf’s result to prove that SLP solves all search problems in the class ...