754 search results - page 11 / 151 » An Ordered Logic Program Solver |
92
Voted
CP
2008
Springer
15 years 2 months 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...
92
Voted
ESOP
2005
Springer
15 years 6 months ago
2005
Springer
123
click to vote
AAAI
2012
13 years 3 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...
124
Voted
MP
2007
15 years 3 days 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...
110
click to vote
ICLP
2003
Springer
15 years 5 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...