Apt, K.R., Zoeteweij, P. (2003) A comparative study of arithmetic constraints on integer intervals.

In Proceedings of the 2003 ERCIM/Colognet Workshop on Constraints. MTA SZTAKI.

Apt, K.R., Zoeteweij, P. (2004) A Comparative Study of Arithmetic Constraints on Integer Intervals.

In Apt, K.R. Fages, F. Rossi, F. Szeredi, P. Váncza, J. (Eds.), Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30-July 2, 2003 : selected papers (pp 1-24) (Lecture notes in computer science
Lecture Notes in Artificial Intelligence, Vol. 3010). Springer.

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) 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