uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Blackburn, P., Gaiffe, B., Marx, M. (2003) Variable free reasoning on finite trees.
    In Proceedings of Mathematics of Language (MOL-8)
    Conference contribution | UvA-DARE
  • Blackburn, P., Jaspars, J., de Rijke, M. (1997) Reasoning about changing information.
    South African Computer Journal, Vol. 19 (pp 2-26)
    Article | UvA-DARE
  • Blackburn, P., Kamps, J., Marx, M. (2001) Situation calculus as hybrid logic: First steps.
    In Brazdil, P. Jorge, A. (Eds.), Progress in Artificial Intelligence (pp 253-260) (Lecture Notes in Artificial Intelligence). Springer Verlag.
    Chapter | UvA-DARE
  • Blackburn, P., Kamps, J., Marx, M. (2001) Situation calculus as hybrid logic: First steps.
    Technical Report. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • Blackburn, P., Marx, M. (2001) Third international workshop on hybrid logic (hylo'01).
    Logic Journal of the IGPL, Vol. 9 (pp 735-737)
    Article | UvA-DARE
  • Blackburn, P., Marx, M. (2001) Quantified hybrid logic and natural language.
    In Proceedings Amsterdam Colloquium 2001
    Conference contribution | UvA-DARE
  • Blackburn, P., Marx, M. (2001) Tableaux for quantified hybrid logic.
    In Areces, C. de Rijke, M. (Eds.), Proceedings of M4M Workshop, 2001
    Conference contribution | UvA-DARE
  • Blackburn, P., Marx, M. (2002) Tableaux for quantified hybrid logic.
    Lecture Notes in Computer Science, Vol. 2381 (pp 38-52)
    Article | UvA-DARE
  • Blackburn, P., Marx, M. (2002) Remarks on D. Gregory's actually operator.
    Journal of Philosophical Logic, Vol. 31 (pp 281-288)
  • Blackburn, P., Marx, M. (2002) Constructive Interpolation in Hybrid Logic.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • Blackburn, P., Marx, M. (2003) Tableaux for Quantified Hybrid Logic.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • Blackburn, P., Marx, M. (2003) Constructive interpolation in hybrid logic.
    Journal of Symbolic Logic, Vol. 68 (pp 463-480)
  • Blackburn, P., ten Cate, B. (2002) Beyond pure axioms: Node creating rules in hybrid tableaux.
    In Marx, M. Areces, C. Blackburn, P. Sattler, U. (Eds.), Proceedings of the 4th Workshop on Hybrid Logics (HyLo 2002) (pp 1-15)
    Conference contribution | UvA-DARE
  • Blackburn, P., ten Cate, B. (2004) Pure extensions, proof rules and hybrid axiomatics.
    In Schmidt, R. Pratt-Hartmann, I. (Eds.), Preliminary proceedings of Advances in Modal Logic 2004 (pp 16-29)
    Conference contribution | UvA-DARE
  • Blackburn, P., van Benthem, J.F.A.K., Wolter, F. (2007) Handbook of Modal Logic.
    Studies in Logic and Practical Reasoning. Elsevier.
    Book (Editorship) | UvA-DARE
  • Blanke, T., Aradau, C. (2021) Computational genealogy: Continuities and discontinuities in the political rhetoric of US presidents.
    Historical Methods, Vol. 54 (pp 29-43)
  • Blanke, T., Bryant, M., Hedges, M. (2020) Understanding memories of the Holocaust: A new approach to neural networks in the digital humanities.
    Digital Scholarship in the Humanities, Vol. 35 (pp 17-33)
  • Blanke, T., Damai, P. (2023) Algorithmic Reason: Tobias Blanke interviewed by Puspa Damai.
    Critical Humanities, Vol. 2
  • Blanke, T., Pybus, J. (2020) The Material Conditions of Platforms: Monopolization Through Decentralization.
    Social Media + Society, Vol. 6
  • Blanke, T., Venturini, T., De Pryck, K. (2024) A peek inside two black boxes: an experiment with explainable artificial intelligence and IPCC leadership.
    International Journal of Digital Humanities, Vol. 6 (pp 45-69)
1 ... 44 45 46 47 48 49 50 51 52 ... 326

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