[2015][2014]
[2013][2012]
[2011][2010]
[2009][2008]
[2007][2006]
[2005][2004]
[2003][2002]
[2001][2000]
[1999][1998]
[1997][1996]
[1995][1994]
[1993]
For the publications after 2015 please consult
the DBLP database.
2015
2014
2013
 K.R. Apt and S. Simon,
Social Network Games with Obligatory Product Selection.
Proc. 4th International Symposium on
Games, Automata, Logics and Formal Verification (Gandalf 2013).
EPTCS No 119, pp. 180193.
 B. de Keijzer and K.R. Apt,
The Hindex can be easily manipulated.
Bulletin of EATCS No 110, pp. 7985.
 F. Sietsma and K.R. Apt,
Common Knowledge in Email Exchanges.
ACM ToCL 14(3), Article No 23, pp. 123.
 K.R. Apt, E. Markakis and S. Simon,
Paradoxes in Social Networks with Multiple Products.
 M. Guo, E. Markakis, K.R. Apt and V. Conitzer,
Undominated Groves Mechanisms.
JAIR 46, pp. 129163.
2012
 K.R. Apt and S. Simon,
A Classification of Weakly Acyclic Games.
Proc. 5th International Symposium on Algorithmic Game Theory (SAGT 2012).
Lecture Notes in Computer Science 7615, Springer, pp. 112.
 K.R. Apt,
Book review of "A Strange Wilderness: The Lives of the Great Mathematicians" by Amir D. Aczel.
Sterling, 2011, Nieuw Archief voor Wiskunde 5/13 nr. 2, pp. 138.
 K.R. Apt,
Book review of "Logic: a Brief Course" by Daniele Mundici.
Springer, 2012, Theory and Practice of Logic Programming
12(3), pp. 417419.
 A. Witzel, K.R. Apt and J.A. Zvesper,
Distributed iterated elimination of strictly dominated strategies.
Autonomous Agents and MultiAgent Systems,
25(2), pp. 395418.
 K.R. Apt, F.S. de Boer, E.R. Olderog and S. de Gouw,
Verification of ObjectOriented Programs: a Transformational Approach.
Journal of Computer and System Sciences,
78(3), pp. 823852.
 K.R. Apt and G. Schaefer,
Selfishness Level of Strategic Games.
Proc. 5th International Symposium on Algorithmic Game Theory, (SAGT 2012).
Lecture Notes in Computer Science 7615, Springer, pp. 1324.
 S. Simon and K.R. Apt,
Choosing Products in Social Networks.
Proc. of the 8th International Workshop on Internet and Network Economics (WINE 2012).
Lecture Notes in Computer Science 7695, Springer, pp. 100113.
2011
 K.R. Apt and E. Markakis,
Diffusion in Social Networks with Competing Products.
Proc. 4th International Symposium on Algorithmic Game Theory, (SAGT 2011).
Lecture Notes in Computer Science 6982, Springer, pp. 212223.
 K.R. Apt,
A Primer on Strategic Games,
in Lectures in Game Theory for Computer Scientists,
K.R. Apt and E. Graedel (editors),
Cambridge University Press, pp. 137.
 K.R. Apt,
Direct Proofs of Order Independence.
Economics Bulletin, 31(1), pp. 106115.
 K.R. Apt, F. Arbab and H. Ma,
A System for Distributed Mechanisms: Design, Implementation and Applications.
2010
 K.R. Apt and J.A. Zvesper,
Public Announcements in Strategic Games with Arbitrary Strategy Sets
.
LOFT 2010.
 K.R. Apt and J.A. Zvesper,
The Role of Monotonicity in the Epistemic Analysis of Strategic Games
.
Games 1(4), pp. 381394.
 J.A. Zvesper and K.R. Apt,
Prooftheoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets
.
Proc. 11th International Workshop on Computational Logic in MultiAgent Systems (CLIMA XI).
Lecture Notes in Computer Science 6245, Springer, pp. 186199.
 K.R. Apt and L. Zuck,
Obituary: Amir Pnueli (19412009)
.
Bulletin of EATCS 100, pp. 910, (2010).
 K.R. Apt,
Book review of "Logicomix: An Epic Search for Truth", by
A. Doxiadis, C.H. Papadimitriou, A. Papadatos and A. di Donna.
Bloomsbury, The Mathematical Intelligencer, 32(3), pp. 5152, 2010.
2009
 K.R. Apt and E. Markakis,
Sequential Bidding in the BaileyCavallo Mechanism
.
Proc. 5th Workshop on Internet & Network Economics, (WINE 2009).
Lecture Notes in Computer Science 5929, Springer, pp. 483490.
 A. Witzel, K.R. Apt and J.A. Zvesper,
Strategy elimination in games with interaction structures.
Proc. 2nd International Workshop on Logic,
Rationality and Interaction (LORIII).
Lecture Notes in Artificial Intelligence 5834, Springer, pp. 302315.
 K.R. Apt and A. EstevezFernandez,
Sequential pivotal mechanisms for public project problems.
Proc. 2nd International Symposium on Algorithmic Game Theory, (SAGT 2009).
Lecture Notes in Computer Science 5385, Springer, pp. 8596.
 K.R. Apt, A. Witzel and J.A. Zvesper,
Common knowledge in interaction structures.
Proc. 12th Conference on
Theoretical Aspects of Rationality and Knowledge
(TARK XII),
The ACM Digital Library, pp. 413.
 K.R. Apt, F.S. de Boer and E.R. Olderog,
Modular Verification of Recursive Programs.
Languages: From Formal to Natural, Essays
Dedicated to Nissim Francez on the Occasion of His 65th Birthday.
Lecture Notes in Computer Science 5533, Springer, pp. 121.
 K.R. Apt and A. Witzel,
A Generic Approach to Coalition Formation.
International Game Theory Review (IGTR) 11(3), pp. 347367.
 K.R. Apt and E. Markakis,
Optimal Strategies in Sequential Bidding (Extended Abstract) .
Proc. of AAMAS 2009, pp. 11891190.
2008
 K.R. Apt and E. Markakis,
Optimal Strategies in Sequential Bidding.
 K.R. Apt, F. Arbab and H. Ma,
Distributed Platform for Mechanism Design.
Proc. International Conference on Computational Intelligence for Modelling, Control and Automation,
IEEE Society, pp. 16.
 K.R. Apt, V. Conitzer, M. Guo and E. Markakis,
Welfare Undominated Groves Mechanisms.
Proc. Workshop on Internet & Network Economic (WINE 2008).
Lecture Notes in Computer Science 5385, Springer,
pp. 426437.
 K.R. Apt, F. Rossi, and K.B. Venable
Comparing the notions of optimality in CPnets, strategic games and soft constraints
.
Annals of Mathematics and Artificial Intelligence 52(1), pp. 2554.
 K.R. Apt, F. Rossi, and K.B. Venable
A comparison of the notions of optimality in
soft constraints and graphical games.
Recent Advances in Constraints.
Lecture Notes in Artificial Intelligence 5129, pp. 118.
2007
 K.R. Apt and J.A. Zvesper,
Common Beliefs and Public Announcements in Strategic Games with Arbitrary Strategy Sets.
 K.R. Apt,
The Many Faces of Rationalizability
.
The B.E. Journal of Theoretical Economics, 7(1), (Topics), Article 18, 38 pages.
 K.R. Apt,
Relative Strength of Strategy Elimination Procedures
.
Economics Bulletin, 3(21), pp. 19.
 K.R. Apt,
Epistemic Analysis of Strategic Games with Arbitrary Strategy Sets,
Proc. 11th Conference on
Theoretical Aspects of Rationality and Knowledge
(TARK XI), pp. 2238. The ACM Digital Library.
 K.R. Apt and A. EstevezFernandez,
Sequential Mechanism Design
 K.R. Apt,
Post your articles in ArXiv:Math and CoRR!
Nieuw Archief voor Wiskunde 5/8 nr. 2, pp. 9899.
(about scientific publishing)
 K.R. Apt and P. Zoeteweij,
An Analysis of Arithmetic Constraints on Integer Intervals,
Constraints journal, 12(4), pp. 429468.
.
 K.R. Apt,
Book review of "Alfred Tarski: Life and Logic", by
A. Burdman Feferman and S. Feferman,
Cambridge University Press, 2004,
The Mathematical Intelligencer, 29(2), pp. 7880.
2006
2005
 K.R. Apt,
Explaining Constraint Programming,
Processes, Terms and Cycles: Steps on the Road to Infinity,
Lecture Notes in Computer Science 3838, Springer, pp. 5569.

K.R. Apt, F. Rossi and K. B. Venable,
CPnets and Nash equilibria,
Proc. Third International Conference on
Computational Intelligence, Robotics and Autonomous Systems (CIRAS '05).
 S. Brand and K.R. Apt,
Schedulers and Redundancy for a Class of Constraint Propagation Rules,
Theory and Practice of Logic Programming 5(4&5), pp. 441465.
 K.R. Apt and S. Brand,
ConstraintBased Qualitative Simulation
,
Proc. 12th International Symposium on Temporal Representation and Reasoning
(TIME '05), pp. 2634.
 K.R. Apt,
Order Independence and Rationalizability
,
Proc. 10th Conference on Theoretical Aspects of Rationality and
Knowledge (TARK X),
The ACM Digital Library, pp. 2238.
2004
 K.R. Apt,
Uniform Proofs of Order Independence for Various Strategy Elimination Procedures,
The B.E. Journal of Theoretical Economics, 4(1), (Contributions), Article 5, 48 pages.
 K.R. Apt and P. Zoeteweij,
A Comparative Study of Arithmetic Constraints on Integer Intervals,
Recent Advances in Constraints.
Lecture Notes in Computer Science 3010, Springer, pp. 124.
2003
2002
 K.R. Apt,
Edsger Wybe Dijkstra (1930  2002): A Portrait of a Genius
.
Formal Aspects of Computing, 14, pp. 9298.
 K.R. Apt and C.F.M. Vermeulen,
Firstorder Logic as a Constraint Programming Language.
Proc. Logic for Programming, Artificial Intelligence, and Reasoning
(LPAR 2002),
Lecture Notes in Artificial Intelligence 2514, Springer, pp. 1935.
 K.R. Apt,
The Logic Programming Paradigm and Prolog.
(Chapter 15 in
Concepts in Programming Languages , J. Mitchell, Cambridge University Press (2002).
)
 K.R. Apt,
Book review of "Mathematical Logic for Computer Science (Second Revised Edition)",
by Mordechai BenAri, Springer, 2001.
Theory and Practice of Logic Programming 2(1) pp. 123124 (2002).
2001
 K.R. Apt and J.G. Smaus,
Rulebased versus Procedurebased View of Programming.
Joint Bulletin of the Novosibirsk Computing Center and Institute of Informatics
Systems, Series: Computer Science, 16, pp. 7597.
 K.R. Apt and E. Monfroy,
Constraint Programming viewed as Rulebased Programming.
Theory and Practice of Logic Programming (TPLP) 1(6) pp. 713  750.
 K.R. Apt,
Towards Free Access to Scientific Literature.
Nieuw Archief voor Wiskunde, 5/2 nr. 3, september 2001, pp. 251255.
(about scientific publishing)
 K.R. Apt,
One More Revolution to Make: Free Scientific Publishing.
Communications of ACM, 44(5), pp. 2528.
(Taken from
http://www.acm.org/pubs/citations/journals/cacm/2001445/p25apt/.
Posted with permission of the ACM. )
(about scientific publishing)
2000
 K.R. Apt,
The Role of Commutativity in Constraint Propagation Algorithms.
ACM TOPLAS, 22(6), pp. 1002  1036.
(For ACM Interim Copyright Policy see here.)
 K.R. Apt,
A Denotational Semantics for FirstOrder Logic.
Proc. Computational Logic Conference (CL2000),
(invited lecture),
Lecture Notes in Artificial Intelligence 1861, Springer, pp. 5369.
 K.R. Apt and A. Schaerf,
Programming in Alma0, or Imperative
and Declarative Programming Reconciled, in
Frontiers of Combining Systems 2, Research Studies Press Ltd,
D. M. Gabbay and M. de Rijke (editors), pp. 116.
 K.R. Apt,
Some Remarks on Boolean Constraint Propagation, in
New Trends in Constraints,
Lecture Notes in
Artificial Intelligence 1865, Springer, pp. 91107.
1999
 K.R. Apt,
Book review of Programming With Constraints : An Introduction,
by Kim Marriott, Peter J. Stuckey, The MIT Press, 1998.
Artificial Intelligence in Medicine, 16, pp. 315319.
 K.R. Apt,
The Essence of Constraint Propagation.
Theoretical Computer Science, 221(12), pp. 179210.
 K.R. Apt and M. Bezem,
Formulas as Programs.
in The Logic Programming Paradigm: A 25 Years Perspective,
K.R. Apt, V. Marek, M. Truszczynski and D.S. Warren (editors),
SpringerVerlag, Artificial Intelligence Series,
pp. 75107.
 K.R. Apt, E. Monfroy,
Automatic generation of constraint propagation
algorithms for small finite domains.
Proc. 5th International Conference on
Principles and Practice of Constraint Programming (CP'99),
SpringerVerlag Lecture Notes in
Computer Science 1713, pp. 5872.
 K.R. Apt,
The Rough Guide to Constraint Propagation
(Corrected version.)
Proc. 5th International Conference on
Principles and Practice of Constraint Programming (CP'99),
(invited lecture), SpringerVerlag Lecture Notes in
Computer Science 1713, pp. 123.
 K.R. Apt and A. Schaerf,
The Alma Project, or How FirstOrder Logic Can Help Us in Imperative
Programming.
E.R. Olderog, B. Steffen, Eds.: "Correct
System Design.
SpringerVerlag Lecture Notes in Computer Science 1710,
pp. 89113.
 K.R. Apt,
A Logical Analysis of Boolean Constraints.
Amsterdam University Press, Vossiuspers,
JFAK. Essays Dedicated to Johan van Benthem on the
Occasion of his 50th Birthday.
1998
1997
1996
 K.R. Apt and R. BenEliyahu,
Metavariables in Logic Programming, or in Praise of Ambivalent Syntax,
Fundamenta Informaticae, 28, 12, pp. 2336 (1996).
 K.R. Apt,
Arrays, Bounded Quantification and Iteration
in Logic and Constraint Logic Programming,
Science of Computer Programming, 26, No. 13, pp. 133148 (1996).
 K.R. Apt and M. Gabbrielli and D. Pedreschi,
A Closer Look at Declarative Interpretations,
(almost identical to the journal version)
Journal of Logic Programming, No 2, 147180 (1996).
1995

K.R. Apt,
Program Verification and Prolog,
Specification and Validation methods for Programming languages and systems,
(E. Börger ed.), Oxford University Press, pp. 5595 (1995).

K.R. Apt and F. Teusink,
Comparing negation in logic programming and
in Prolog, in
Metalogics and Logic Programming,
(K.R. Apt and F. Turini, eds.), The MIT Press, pp. 111133 (1995).

K.R. Apt and I. Luitjes,
Verification of Logic Programs with Delay Declarations,
Proc. 4th International Conference on Algebraic Methodology and
Software Technology (AMAST '95), (invited lecture),
SpringerVerlag Lecture Notes in Computer Science 936, pp. 6690 (1995).
1994

K.R. Apt and K. Doets,
A new definition of SLDNFresolution,
Journal of Logic Programming 18, No. 2, pp. 177190, (1994).

K.R. Apt and E. Marchiori and C. Palamidessi,
Declarative Approach for FirstOrder Builtin's in Prolog,
Applicable Algebra in Engineering, Communication and
Computing (AAECC) 5, No. 3/4, pp. 159191, (1994).

K.R. Apt and A. Pellegrini,
On the occurcheck free Prolog programs,
(almost identical to the journal version)
ACM TOPLAS, 16, No. 3, pp. 687726, (1994).

K.R. Apt and R. Bol,
Logic programming and negation: a survey,
(almost identical to the journal version)
Journal of Logic Programming 1920, pp. 971, (1994).

K.R. Apt and E. Marchiori,
Reasoning about Prolog Programs:
from Modes through Types to Assertions,
Formal Aspects of Computing (FACS) 6, No. 6A, pp. 743765, (1994).

K.R. Apt and M. Gabbrielli,
Declarative Interpretations Reconsidered,
Proc.International Conference on Logic Programming
(ICLP '94), The MIT Press, pp. 7489 (1994).

K.R. Apt and P. van Emde Boas and A. Welling,
The STOproblem is NPhard,
Journal of Symbolic Computation, 18, pp. 489495 (1994).
1993

K.R. Apt and D. Pedreschi,
Reasoning about termination of pure Prolog programs,
Information and Computation 106,
No. 1, pp. 109157, (1993).

K.R. Apt and S. Etalle,
On the unification free Prolog programs,
Proc. Conference on Mathematical Foundations of Computer Science
(MFCS '93), (invited lecture), SpringerVerlag Lecture Notes in
Computer Science 711, pp. 119 (1993).

K.R. Apt,
Declarative programming in Prolog,
Proc. International Logic Programming Symposium
(ILPS '93), (invited lecture), The MIT Press, pp. 1235 (1993).
[Home]
This page is maintained by
Krzysztof R. Apt
CWI DISCLAIMER