uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Apt, K.R. (2000) Editorial.
    ACM Transactions on Computational Logic, Vol. 1 (pp 1-2)
    Article | UvA-DARE
  • 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) Some Remarks on Boolean Constraint Propagation.
    In New Trends in Constraints (pp 91-107) (Lecture Notes in Artificial Intelligence). Springer Verlag.
    Chapter | 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.
    Chapter | UvA-DARE
  • 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)
  • Apt, K.R. (2005) Order Independence and Rationalizability.
    In Proc. of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (pp 22-38)
    Conference contribution | 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.
    Chapter | UvA-DARE
  • Apt, K.R. (2005) Editorial.
    ACM Transactions on Computational Logic, Vol. 6 (pp 673-673)
    Article | UvA-DARE
  • Apt, K.R. (2006) Portret van een genie: Edsger Wybe Dijkstra.
    Informatie, Vol. 48 (pp 38-44)
  • Apt, K.R. (2007) Relative Strength of Strategy Elimination Procedures.
    Economics Bulletin, Vol. 3 (pp 1-9)
    Article | UvA-DARE
  • Apt, K.R. (2007) Book review of "Alfred Tarski: Life and Logic", by A. Burdman Feferman and S. Feferman.
    Mathematical Intelligencer, Vol. 29 (pp 78-80)
    Article | UvA-DARE
  • Apt, K.R. (2007) The many faces of Rationalizability.
    The B.E. journal of theoretical economics, Vol. 7
  • Apt, K.R. (2007) Post your articles in ArXiv:Math and CoRR!.
    Nieuw Archief voor Wiskunde, Vol. 5/9 (pp 98-99)
    Article | UvA-DARE
  • Apt, K.R. (2007) Epistemic Analysis of Strategic Games with Arbitrary Strategy Sets.
    In Proceedings 11th Conference on Theoretical Aspects of Reasoning about Knowledge (TARK07) (pp 25-32). The ACM Digital Library.
    Conference contribution | http://portal.acm.org | UvA-DARE
  • Apt, K.R. (2009) Principles of constraint programming.
    Cambridge University Press.
    Book | UvA-DARE
  • Apt, K.R. (2010) [Review of: A. Doxiadis, C.H. Papadimitriou (2009) Logicomix: an epic search for truth].
    Mathematical Intelligencer, Vol. 32 (pp 51-52)
    Book/Film/Article/Exhibition review | https://doi.org/10.1007/s00283-009-9111-5 | UvA-DARE
1 ... 15 16 17 18 19 20 21 22 23 ... 340

The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact