ILS - Language, logic and information

Research output

Research output per year 1993 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025

• 158 Article
• 137 Conference contribution
• 104 Chapter
• 71 Paper
• 174 More
  • 35 Poster
  • 22 Abstract
  • 17 Book editing
  • 13 Report
  • 13 Doctoral thesis 1 (Research UU / Graduation UU)
  • 11 Web publication/site
  • 9 Book
  • 8 Other contribution
  • 6 Other
  • 6 Preprint
  • 6 Working paper
  • 5 Book/Film/Article review
  • 5 Software
  • 3 Special issue
  • 3 Digital or Visual Products
  • 2 Entry for encyclopedia/dictionary
  • 2 Conference article
  • 2 Data set/Database
  • 1 Comment/Letter to the editor
  • 1 Editorial
  • 1 Review article
  • 1 Doctoral thesis 2 (Research NOT UU / Graduation UU)
  • 1 Doctoral thesis 4 (Research NOT UU / Graduation NOT UU)
  • 1 Discussion paper

Research output per year

Research output per year

Search results

• 2020

  Solving Textual Entailment with the Theorem Prover for Natural Language

  Abzianidze, L., 29 Dec 2020, In: Applied Mathematics and Informatics. 25, 2, 23 p.

  Research output: Contribution to journal › Special issue › Academic

  Open Access

  File

  • Natural Language 100%
  • Theorem Prover 100%
  • Textual Entailment 100%
  • Entailment 100%
  • Prover 66%
• 2015

  Introduction: Issues in the formal semantics of referentiality

  Roberta, P. D. O., Foltran, M. J., de Swart, H. E. & Doetjes, J., Jun 2015, In: Journal of Portuguese Linguistics. 14, 1, p. 3-6 3 p.

  Research output: Contribution to journal › Special issue › Academic › peer-review

  Open Access
• 2010

  Festschrift for Joachim Lambek

  van Benthem, J. (Guest editor) & Moortgat, M. J. (Guest editor), 2010, In: Linguistic Analysis. 36, 1-4, p. 5-544

  Research output: Contribution to journal › Special issue › Academic › peer-review