15 citations · 17 across the 7 of their papers we have counts for
4 papers · 1 filter
A Comparative Study of Arithmetic Constraints on Integer Intervals
Krzysztof R. Apt, Peter Zoeteweij
We propose here a number of approaches to implement constraint propagation for arithmetic constraints on integer intervals. To this end we introduce integer interval arithmetic. Ea…
Proceedings of the 6th Annual Workshop of the ERCIM Working Group on Constraints
Krzysztof R. Apt, Roman Bartak, Eric Monfroy +2
Homepage of the workshop proceedings, with links to all individually archived papers
The Logic Programming Paradigm and Prolog
Krzysztof R. Apt
This is a tutorial on logic programming and Prolog appropriate for a course on programming languages for students familiar with imperative programming.
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…