1461 search results - page 36 / 293 » Analysis of Constraint Logic Programs |
AAECC
1999
Springer
13 years 10 months ago
1999
Springer
Effective quantifier elimination procedures for the reals allow to solve problems that can be encoded into corresponding first-order formulas including ordering constraints. In con...
EPIA
2005
Springer
14 years 4 months ago
2005
Springer
The paper studies reductions of propositional theories in equilibrium logic to logic programs under answer set semantics. Specifically we are concerned with the question of how to...
CL
2000
Springer
14 years 2 months ago
2000
Springer
Logic programming rules are provided to capture the rules governing formal poetry in Spanish. The resulting logic program scans verses in Spanish to provide their metric analysis. ...
TACAS
1998
Springer
14 years 2 months ago
1998
Springer
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL...
ESOP
2003
Springer
14 years 3 months ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...