754 search results - page 5 / 151 » An Ordered Logic Program Solver |
134
Voted
AI
2004
Springer
15 years 13 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...
106
click to vote
FOIKS
2004
Springer
15 years 6 months ago
2004
Springer
We introduce a simple and practically efficient method for repairing inconsistent databases. The idea is to properly represent the underlying problem, and then use off-the-shelf a...
132
Voted
ATVA
2007
Springer
15 years 6 months ago
2007
Springer
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...
67
Voted
ENTCS
2007
15 years 15 days ago
2007
78
Voted
CORR
2002
Springer
15 years 11 days ago
2002
Springer
We introduce a general and in a certain sense time-optimal way of solving one problem after another, efficiently searching the space of programs that compute solution candidates, i...