1749 search results - page 36 / 350 » Logic, Optimization, and Constraint Programming |
118
click to vote
AAAI
2008
15 years 5 months ago
2008
Recent research in nonmonotonic logic programming has focused on program equivalence relevant for program optimization and modular programming. So far, most results concern the st...
124
click to vote
ESOP
2003
Springer
15 years 8 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...
122
click to vote
LPNMR
1995
Springer
15 years 6 months ago
1995
Springer
In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of a...
117
Voted
PPDP
2007
Springer
15 years 9 months ago
2007
Springer
Program transformation is an appealing technique which allows to improve run-time efficiency, space-consumption and more generally to optimize a given program. Essentially it con...
131
click to vote
ICRA
1995
IEEE
15 years 6 months ago
1995
IEEE
The optimal motion generation problem is solved subject to various actuator constraints while the motion is constrained to an arbitrary path. The considered objective function is ...