uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • 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.
    Chapter | 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) 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)
  • 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) 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. (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. (2006) Portret van een genie: Edsger Wybe Dijkstra.
    Informatie, Vol. 48 (pp 38-44)
  • Apt, K.R. (2007) The many faces of Rationalizability.
    The B.E. journal of theoretical economics, Vol. 7
  • 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) 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
1 ... 13 14 15 16 17 18 19 20 21 ... 307

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