-
Apt, K.R., Fokkink, W.J. (2013) Wetenschappelijke uitgeverijen onder druk.De Groene Amsterdammer
-
Apt, K.R., Gabbrielli, M. (1994) Declarative Interpretations Reconsidered.In van Hentenryck, P. (Eds.), ICLP94 (pp 74-89). MIT Press.Chapter | UvA-DAREApt, K.R., Grädel, E. (2011) Lectures in game theory for computer scientists.Cambridge University Press.Book (Editorship) | https://doi.org/10.1017/CBO9780511973468 | UvA-DAREApt, K.R., Grossi, D., van der Hoek, W. (2016) Epistemic protocols for distributed gossiping.Electronic Proceedings in Theoretical Computer Science, Vol. 215 (pp 51-66)Article | https://doi.org/10.4204/EPTCS.215.5 | UvA-DAREApt, K.R., Kakas, A.C., Monfroy, E., Rossi, F. (2000) New Trends in Constraints, Lecture Notes in Artificial Intelligence 1865.Springer Verlag.Book (Editorship) | UvA-DAREApt, K.R., Kakas, A.C., Sadri, F. (2001) Editorial.ACM Transactions on Computational Logic, Vol. 2 (pp 431-431)Article | UvA-DAREApt, K.R., Luitjes, I. (1995) Verification of Logic Programs with Delay Declarations.In Nivat, M. Alagar, V.S. (Eds.), Proceedings of the Fourth International Conference on Algebraic Methodology and Software Technology (AMAST'95) (pp 66-90) (Lecture Notes in Computer Science). Springer-Verlag.Chapter | UvA-DAREApt, K.R., Marchiori, E., Palamidessi, C. (1994) A declarative approach for first-order built-in's of Prolog.Applicable Algebra in Engineering, Communication and Computing, Vol. 5 (pp 159-191)Article | https://doi.org/10.1007/BF01190828 | UvA-DAREApt, K.R., Marchiori, E. (1994) Reasoning about Prolog Programs: from Modes through Types to Assertions.Formal Aspects of Computing, Vol. 6 (pp 743-765)Article | UvA-DAREApt, K.R., Markakis, E. (2009) Optimal strategies in sequential bidding.In Decker, K.S. Sichman, J.S. Sierra, C. Castelfranchi, C. (Eds.), AAMAS 2009: the 8th International Conference on Autonomous Agents and Multiagent Systems: May 10-15, 2009, Budapest, Hungary: proceedings. - Volume 2 (pp 1189-1190). IFAAMAS.Conference contribution | http://portal.acm.org/citation.cfm?id=1558206 | UvA-DAREApt, K.R., Markakis, E. (2009) Sequential bidding in the Bailey-Cavallo mechanism.In Leonardi, S. (Eds.), Internet and Network Economics: 5th International Workshop, WINE 2009, Rome, Italy, December 14-18, 2009 : proceedings (pp 483-490) (Lecture Notes in Computer Science, Vol. 5929). Springer.Conference contribution | https://doi.org/10.1007/978-3-642-10841-9_46 | UvA-DAREApt, K.R., Markakis, E. (2011) Diffusion in social networks with competing products.In Persiano, G. (Eds.), Algorithmic Game Theory: 4th International Symposium, SAGT 2011, Amalfi, Italy, October 17-19 2011: proceedings (pp 212-223) (Lecture Notes in Computer Science, Vol. 6982). Springer.Conference contribution | https://doi.org/10.1007/978-3-642-24829-0_20 | UvA-DAREApt, K.R., Markakis, E. (2014) Social Networks with Competing Products.Fundamenta Informaticae, Vol. 129 (pp 225-250)Article | https://doi.org/10.3233/FI-2014-970 | UvA-DAREApt, K.R., Monfroy, E. (2001) Constraint Programming viewed as Rule-based Programming.Theory and Practice of Logic Programming, Vol. 1 (pp 713-750)Article | https://doi.org/10.1017/S1471068401000072 | UvA-DAREApt, K.R., Olderog, E.R. (1994) Programmverifikation.Springer Verlag.Book | UvA-DAREApt, K.R., Pedreschi, D. (1994) Modular Termination Proofs for Logic and Pure Prolog Programs.In Levi, G. (Eds.), Advances in Logic Programming Theory (pp 183-229). Oxford University Press.Chapter | UvA-DAREApt, K.R., Pellegrini, A. (1994) On the occur-check free Prolog programs.ACM Transactions on Programming Languages and Systems, Vol. 16 (pp 687-726)Article | https://doi.org/10.1145/177492.177673 | UvA-DAREApt, K.R., Rahn, M., Schäfer, G., Simon, S. (2014) Coordination Games on Graphs.In Liu, T.-Y. Qi, Q. Ye, Y. (Eds.), Web and Internet Economics: 10th International Conference, WINE 2014, Beijing, China, December 14-17, 2014: proceedings (pp 441-446) (Lecture Notes in Computer Science, Vol. 8877). Springer.Conference contribution | https://doi.org/10.1007/978-3-319-13129-0_37 | UvA-DAREApt, K.R., Rossi, F., Venable, K.B. (2005) CP-nets and Nash equilibria.In Proceedings of CIRAS '05 (pp 1-6). Elsevier.Conference contribution | UvA-DAREApt, K.R., Rossi, F., Venable, K.B. (2008) A comparison of the notions of optimality in soft constraints and graphical games.In Fages, F. Rossi, F. Soliman, S. (Eds.), Recent Advances in Constraints: 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 : revised selected papers (pp 1-16) (Lecture Notes in Computer Science, Vol. 5129). Springer.Conference contribution | https://doi.org/10.1007/978-3-540-89812-2_1 | UvA-DARE
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 illc at uva.nl