3172 search results - page 86 / 635 » On the Random-Self-Reducibility of Complete Sets |
137
Voted
AI
2004
Springer
15 years 21 days ago
2004
Springer
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
77
Voted
ICLP
1999
Springer
15 years 5 months ago
1999
Springer
This paper presents a programming language that includes paradigms that are usually associated with declarative languages, such as sets, rules and search, into an imperative (funct...
94
Voted
ISSRE
2007
IEEE
15 years 2 months ago
2007
IEEE
Model-checkers are powerful tools that can find individual traces through models to satisfy desired properties. These traces provide solutions to a number of problems. Instead of...
98
Voted
COMBINATORICA
2008
15 years 27 days ago
2008
It is a long standing open problem to find an explicit description of the stable set polytope of clawfree graphs. Yet more than 20 years after the discovery of a polynomial algori...
84
Voted
JAIR
2006
15 years 23 days ago
2006
In a peer-to-peer inference system, each peer can reason locally but can also solicit some of its acquaintances, which are peers sharing part of its vocabulary. In this paper, we ...