740 search results - page 10 / 148 » Open Answer Set Programming with Guarded Programs |
ICLP
2010
Springer
13 years 11 months ago
2010
Springer
Answer set programming is a form of declarative programming that has proven very successful in succinctly formulating and solving complex problems. Although mechanisms for represen...
CONCUR
2008
Springer
13 years 9 months ago
2008
Springer
We present the tool Sycraft (SYmboliC synthesizeR and Adder of Fault-Tolerance). In Sycraft, a distributed fault-intolerant program is specified in terms of a set of processes and ...
ICLP
2007
Springer
14 years 2 months ago
2007
Springer
AI
2004
Springer
13 years 7 months 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...
CADE
2001
Springer
14 years 8 months ago
2001
Springer