15 citations · 17 across the 7 of their papers we have counts for
4 papers · 1 filter
The Role of Commutativity in Constraint Propagation Algorithms
Krzysztof R. Apt
Constraint propagation algorithms form an important part of most of the constraint programming systems. We provide here a simple, yet very general framework that allows us to expla…
A Denotational Semantics for First-Order Logic
Krzysztof R. Apt
In Apt and Bezem [AB99] (see cs.LO/9811017) we provided a computational interpretation of first-order formulas over arbitrary interpretations. Here we complement this work by intro…
Programming in Alma-0, or Imperative and Declarative Programming Reconciled
Krzysztof R. Apt, Andrea Schaerf
In (Apt et al, TOPLAS 1998) we introduced the imperative programming language Alma-0 that supports declarative programming. In this paper we illustrate the hybrid programming style…
Some Remarks on Boolean Constraint Propagation
Krzysztof R. Apt
We study here the well-known propagation rules for Boolean constraints. First we propose a simple notion of completeness for sets of such rules and establish a completeness result.…