3693 search results - page 451 / 739 » Splitting a Logic Program |
142
click to vote
LPNMR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In answer-set programming (ASP), many notions of program equivalence have been introduced and formally analysed. A particular line of research in this direction aims at s...
116
Voted
GPCE
2009
Springer
15 years 8 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
150
Voted
AOSD
2007
ACM
15 years 7 months ago
2007
ACM
Design rules express constraints on the behavior and structure of a program. These rules can help ensure that a program follows a set of established practices, and avoids certain ...
153
Voted
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
131
Voted
CCE
2004
15 years 3 months ago
2004
A large number of problems in production planning and scheduling, location, transportation, finance, and engineering design require that decisions be made in the presence of uncer...