Apt, K.R., Zoeteweij, P. (2007) An Analysis of Arithmetic Constraints on Integer Intervals.

Constraints, Vol. 12 (pp 429-468)

Article | https://doi.org/10.1007/s10601-007-9017-9 | UvA-DARE

Apt, K.R., Zvesper, J.A. (2010) The role of monotonicity in the epistemic analysis of strategic games.

Games, Vol. 1 (pp 381-394)

Article | https://doi.org/10.3390/g1040381 | UvA-DARE

Apt, K.R. (1995) Arrays, Bounded Quantification and Iteration in Logic and Constraint Logic Programming.

In Sessa, M.I. Alpuente Frasnedo, M. (Eds.), 1995 Joint Conference on Declarative Programming (GULP-PRODE '95) (pp 19-35). University of Salerno, Italy.

Apt, K.R. (1998) Formulas as programs.

PNA. WINS (oud WINS).

Report | UvA-DARE

Apt, K.R. (1998) Alma-O: An Imperative Language that supports declarative programming.

ACM Transactions on Programming Languages and Systems, Vol. 20 (pp 1014-1066)

Article | UvA-DARE

Apt, K.R. (1998) Special Issue: foundations of constraint programming.

Fundamenta Informaticae, Vol. 34 (pp ---)

Article | UvA-DARE

Apt, K.R. (1998) CWI Quarterly: Special issue on constraints.

-. CWI.

Book | UvA-DARE

Apt, K.R. (1998) View of constraint programming.

Fundamenta Informaticae, Vol. 33 (pp 263-293)

Article | UvA-DARE

Apt, K.R. (2000) Some Remarks on Boolean Constraint Propagation.

In New Trends in Constraints (pp 91-107) (Lecture Notes in Artificial Intelligence). Springer Verlag.

Apt, K.R. (2000) A Denotational Semantics For First-Order Logic.

Lecture Notes in Computer Science, Vol. 1861 (pp 53-69)

Article | UvA-DARE

Apt, K.R. (2000) Editorial.

ACM Transactions on Computational Logic, Vol. 1 (pp 1-2)

Article | UvA-DARE

Apt, K.R. (2000) The Role of Commutativity in Constraint Propagation Algorithms.

ACM Transactions on Programming Languages and Systems, Vol. 22 (pp 1002-1036)

Article | https://doi.org/10.1145/371880.371884 | UvA-DARE

Apt, K.R. (2001) Towards Free Access to Scientific Literature.

Nieuw Archief voor Wiskunde, Vol. 5/2 (pp 251-255)

Article | http://www.nieuwarchief.nl/serie5/toonnummer.php?deel=02&nummer=3&taal=0 | UvA-DARE

Apt, K.R. (2001) One More Revolution to Make: Free Scientific Publishing.

Communications of the ACM, Vol. 44 (pp 25-28)

Article | UvA-DARE

Apt, K.R. (2002) Edsger Wybe Dijkstra (1930 - 2002): A portrait of a genius''.

Formal Aspects of Computing, Vol. 14 (pp 92-98)

Article | UvA-DARE

Apt, K.R. (2002) The logic programming paradigm and Prolog.

In Mitchell, J. (Eds.), Concepts in Programming Languages (pp 475-507). Cambridge University Press.

Apt, K.R. (2002) [Review of: Mordechai Ben-Ari. Mathematical Logic for Computer science].

Theory and Practice of Logic Programming, Vol. 2 (pp 123-124)

Book/Film/Article/Exhibition review | UvA-DARE

Apt, K.R. (2003) Principles of Constraint Programming.

Cambridge University Press.

Book | UvA-DARE

Apt, K.R. (2004) Uniform Proofs of Order Independence for Various Strategy Elimination Procedures.

Contributions to Theoretical Economics, Vol. 4 (pp 1-48)

Article | http://ideas.repec.org/a/bpj/bejtec/vcontributions.4y2004i1n5.html | UvA-DARE

Apt, K.R. (2005) Explaining Constraint Programming.

In Middeldorp, A. van Oostrom, V. van Raamsdonk, F. de Vrijer, R. (Eds.), Processes, Terms and Cycles: Steps on the Road to Infinity (pp 55-69) (Lecture Notes in Computer Science). Springer Verlag.