754 search results - page 11 / 151 » An Ordered Logic Program Solver |
CP
2008
Springer
15 years 24 days ago
2008
Springer
Constraint programming often involves global constraints, for which various custom filtering algorithms have been published. This work presents a semi-automatic generation of CHR s...
ESOP
2005
Springer
15 years 4 months ago
2005
Springer
109
click to vote
AAAI
2012
13 years 1 months ago
2012
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergi...
109
click to vote
MP
2007
14 years 10 months ago
2007
The selection of the branching variable can greatly affect the speed of the branch and bound solution of a mixed-integer or integer linear program. Traditional approaches to branc...
ICLP
2003
Springer
15 years 4 months ago
2003
Springer
We equip ordered logic programs with negation as failure, using a simple generalization of the preferred answer set semantics for ordered programs. This extension supports a conven...