899 search results - page 53 / 180 » A CTL-Based Logic for Program Abstractions |
113
click to vote
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
115
click to vote
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In previous research, we presented a dynamicprogramming-based EM (expectation-maximization) algorithm for parameterized logic programs, which is based on the structure sh...
106
click to vote
CORR
2000
Springer
15 years 1 months ago
2000
Springer
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in th...
195
click to vote
CP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We address a location-allocation problem that requires deciding the location of a set of facilities, the allocation of customers to those facilities under facility capaci...
141
click to vote
LPNMR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper, we present a logic R for rule bases by introducing a set of rule connectives. We define both the models and extensions of a rule base. The semantics of ex...