95 citations · 371 across the 68 of their papers we have counts for
6 papers · 1 filter
Nondeterminism and Guarded Commands
Krzysztof R. Apt, Ernst-Rüdiger Olderog
The purpose of this paper is to discuss the relevance of nondeterminism in computer science, with a special emphasis on Dijkstra's guarded commands language.
Explaining Constraint Programming
Krzysztof R. Apt
We discuss here constraint programming (CP) by using a proof-theoretic perspective. To this end we identify three levels of abstraction. Each level sheds light on the essence of CP…
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…