Searchable List of Research Output

Filter Publications
  • Zvesper, J. A., & Apt, K. R. (2010). Proof-theoretic analysis of rationality for strategic games with arbitrary strategy sets. In J. Dix, J. Leite, G. Governatori, & W. Jamroga (Eds.), Computational Logic in Multi-Agent Systems: 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010 : proceedings (pp. 186-199). (Lecture Notes in Computer Science; Vol. 6245), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-642-14977-1_15 >>>
  • Zvesper, J. A., & Degremont, C. M. L. (2007). Logique dynamique pour le raisonnement strategique dans les jeux extensifs. In J. Lang, Y. Lesperance, D. Sadek, & N. Maudet (Eds.), Proceedings of Modeles Formels de I'interaction (pp. 61-74). Lamsade. >>>
  • Zvesper, J. A. (2007). How to keep on changing your mind, dynamically. Proceedings of Logic Rationality and Interaction, 291-306. >>>
  • Zvesper, J. A. (2010). Playing with information. >>>
  • Zwart, S. D. (2001). Refined Verisimilitude. (Synthese Library; No. 307). Kluwer Academic Press. >>>
  • Øhrstrøm, P., Schärfe, H., & Uckelman, S. L. (2008). Jacob Lorhard's ontology: A 17th century hypertext on the reality and temporality of the world of intelligibles. In P. Eklund, & O. Haemmerlé (Eds.), Conceptual Structures: Knowledge Visualization and Reasoning: 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 : proceedings (pp. 74-87). (Lecture Notes in Computer Science; Vol. 5113), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-540-70596-3_5 >>>
  • Øhrstrøm, P., Uckelman, S. L., & Schärfe, H. (2007). Historical and Conceptual Foundation of Diagrammatical Ontology. In U. Priss, S. Polovina, & R. Hill (Eds.), Conceptual Structures: Knowledge Architectures for Smart Applications: 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007 : proceedings (pp. 374-386). (Lecture Notes in Computer Science; Vol. 4604), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-540-73681-3_28 >>>

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