uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Miedema, D., Gattinger, M. (2023) Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic.
    Electronic Proceedings in Theoretical Computer Science, Vol. 379 (pp 407-420)
  • Mikulas, S., Nemeti, I., Sain, I. (1995) Decidable Logics of the Dynamic Trend, and Relativized Relation Algebras.
    In Gabbay, D.M. Csirmaz, L. de Rijke, M. (Eds.), Studies in Logic, Language and Information, CSLI. Stanford.
    Chapter | UvA-DARE
  • Mikulas, S. (1995) Taming Logics.
    Thesis, fully internal | UvA-DARE
  • Mikulas, S. (1995) Taming First-order Logic.
    In Trautwein, M. Fischer, S. (Eds.), Proceedings Accolade '95. Dutch Graduate School in Logic.
    Chapter | UvA-DARE
  • Milan, S., Beraldo, D. (2024) Data in movement: the social movement society in the age of datafication.
    Social Movement Studies, Vol. 23 (pp 265-284)
  • Milan, S., Beraldo, D. (2025) Data in movement: the social movement society in the age of datafication.
    In Flesher Fominaya, C. Milan, S. Beraldo, D. (Eds.), Contentious Data in Movement (pp 6-25). Routledge.
  • Milanese, G.C., Venema, Y. (2019) Closure ordinals for the two-way μ-calculus.
    In Iemhoff, R. Moortgat, M. de Queiroz, R. (Eds.), Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019 : proceedings (pp 498-515) (Lecture Notes in Computer Science
    FoLLI Publications on Logic, Language and Information, Vol. 11541). Springer.
  • Milano, M., van Hoeve, W.J. (2002) Reduced cost-based ranking for generating promising subproblems.
    In Proceedings of the Joint ERCIM/CologNet Workshop on Constraint Solving and Constraint Logic Programming (pp 7-22)
    Conference contribution | UvA-DARE
  • Milano, M., van Hoeve, W.J. (2002) Reduced cost-based ranking for generating promising subproblems.
    Lecture Notes in Computer Science, Vol. 2470 (pp 1-16)
    Article | UvA-DARE
  • Milewski, V., Bilgin, A., Kumbasar, T. (2017) A Fuzzy Logic Approach to Improve Phone Segmentation: A Case Study of Dutch Language.
    In Sabourin, C. Merelo, J.J. O'Reilly, U.-M. Madani, K. Warwick, K. (Eds.), IJCCI 2017: proceedings of the 9th International Joint Conference on Computational Intelligence, November 1-3, 2017, Funchal, Madeira, Portugal (pp 64-72). SciTePress Science and Technology Publications.
  • Milewski, V., Moens, M.-F., Calixto, I. (2020) Are Scene Graphs Good Enough to Improve Image Captioning?.
    In Wong, K.-F. Knight, K. Wu, H. (Eds.), The 1st Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics and the 10th International Joint Conference on Natural Language Processing: AACL-IJCNLP 2020 : proceedings of the conference : December 4-7, 2020 (pp 504-515). The Association for Computational Linguistics.
  • Minică, Ş. (2010) Implementing Dynamic-Epistemic Questioning: Engineering and Teaching Information Seeking via Dynamic Inquiry.
    In Moinhos Cordeiro, J.A. Shishkov, B. Verbraeck, A. Helfert, M. (Eds.), CSEDU 2010: proceedings of the 2nd International Conference on Computer Supported Education, Valencia, Spain, April 7-10, 2010 (pp 367-372). SciTePress.
  • Minică, Ş. (2010) Extensive questioning games.
    In Arrazola, X. Ponte, M. (Eds.), Proceedings of LogKCA-10 - ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action, Donostia-San Sebastián, Spain. UPV-EHU.
  • Minică, Ş.A. (2011) Dynamic logic of questions.
    Institute for Logic, Language and Computation.
    Thesis, fully internal | UvA-DARE
  • Mirabile, P., van Rooij, R., Schulz, K. (2024) The role of impact on the meaning of generic sentences: Frontiers in Psychology.
    Frontiers in Psychology, Vol. 15
  • Mishne, G., de Rijke, M. (2004) Source code retrieval using conceptual similarity.
    In Proceedins RIAO 2004 (pp 539-554)
    Conference contribution | UvA-DARE
  • Mishne, G.A., Jijkoun, V., de Rijke, M. (2003) Error Analysis in a Multi-stream Question Answering System.
    In 14th Meeting of Computational Linguistics in the Netherlands
    Conference contribution | UvA-DARE
  • Mishne, G.A. (2004) ILPS Extensions to Lucene.
  • Mishne, G.A. (2004) Blog Comment Spam Collection.
  • Mishne, G.A. (2004) Source Code Retrieval Corpus+Assessments.
1 ... 198 199 200 201 202 203 204 205 206 ... 322

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