3481 search results - page 15 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
EUROCAST
1994
Springer
15 years 1 months ago
1994
Springer
Logistic systems analysts use a wide array of modeling systems such as algebraic and logic programs. Two simple examples show how they mesh as Constraint Logic programs, emphasizin...
AAAI
2008
14 years 12 months ago
2008
We formulate loop formulas for logic programs with arbitrary constraint atoms, for the semantics based on conditional satisfaction. This provides a method for answer set computati...
SAS
2004
Springer
15 years 3 months ago
2004
Springer
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...
104
click to vote
AAAI
2012
13 years 12 hour 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...
PPDP
1999
Springer
15 years 1 months ago
1999
Springer