uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • D'Agostino, G., Montanari, A., Policriti, A (1995) A set-theoretic translation method for polymodal logics.
    Journal of Automated Reasoning, Vol. 15 (pp 317-337)
  • D'Agostino, G., Montanari, A., Policriti, A (1995) Translating Modal Formulae as set-theoretic terms.
    The Bulletin of Symbolic Logic, Vol. 1 (pp 230-231)
    Article | UvA-DARE
  • D'Agostino, G., Montanari, A., Policriti, A (1995) A set-theoretic analysis of modal deduction.
    In Proceedings of the 10th International Congress of Logic, Methodology and Philosophy of Science, Firenze, Italy, August 1995 (pp 128)
    Chapter | UvA-DARE
  • D'Agostino, G., Montanari, A., Policriti, A (1995) A set-theoretic translation method for polymodal logics.
    In Proceedings of STACS '95: 12th Symposium on Theoretical Aspects of Computer Science (pp 217-228). Springer Verlag.
    Chapter | UvA-DARE
  • D'Agostino, G., Montanari, A., Policriti, A (1995) Set-theoretic decidability result for modal logic.
    Rapporto di Ricerca. Dipartimento di Matematica e Informatica, Univ. di Udine.
    Report | UvA-DARE
  • D'Agostino, G., van Benthem, J.F.A.K. (1998) Modal deduction in second-order logic and set theory, part 2.
    Studia Logica, Vol. 60 (pp ---)
    Article | UvA-DARE
  • D'Agostino, G. (1997) The los-tarski and lyndon theorems for the mu-logic.
    Research Report. onbekend (FdL).
    Report | UvA-DARE
  • D'Inverno, M., Fisher, M., Lomuscio, A., Luck, M., de Rijke, M., Ryan, M., Wooldridge, M. (1997) Formalisms for multi-agent systems.
    Knowledge Engineering Review, Vol. 12 (pp 315-321)
  • Daiber, J., Quiroz, L., Wechsler, R., Frank, S.C. (2015) Splitting Compounds by Semantic Analogy.
    In Jan Hajič António Branco (Eds.), Proceedings of the 1st Deep Machine Translation Workshop (DMTW 2015) (pp 20-28). Charles University in Prague, Faculty of Mathematics and Physics, Institute of Formal and Applied Linguistics, Praha, Czech Republic.
  • Daiber, J., Sima'an, K. (2015) Machine Translation with Source-Predicted Target Morphology.
    In Al-Onaizan, Y. Lewis, W. (Eds.), Proceedings of MT Summit XV. - Vol. 1: MT Researchers' Track: MT Summit XV : October 30-November 3, 2015, Miami, FL, USA (pp 283-296). Association for Machine Translation in the Americas.
  • Daiber, J., Sima'an, K. (2015) Delimiting Morphosyntactic Search Space with Source-Side Reordering Models.
    In Jan Hajič António Branco (Eds.), Proceedings of the 1st Deep Machine Translation Workshop (pp 29-38). Charles University in Prague, Faculty of Mathematics and Physics, Institute of Formal and Applied Linguistics, Praha, Czech Republic.
  • Daiber, J., Stanojević, M., Aziz, W., Sima'an, K. (2016) Examining the Relationship between Preordering and Word Order Freedom in Machine Translation.
    In Proceedings of the First Conference on Machine Translation: Berlin, Germany, August 11-12, 2016 (pp 118-130). Association for Computational Linguistics.
    Conference contribution | https://doi.org/10.18653/v1/W16-2213 | UvA-DARE
  • Daiber, J., Stanojević, M., Sima'an, K. (2016) Universal Reordering via Linguistic Typology.
    In Matsumoto, Y. Prasad, R. (Eds.), Proceedings of COLING 2016: technical papers: the 26th International Conference on Computational Linguistics : Osaka, Japan, December 11-17 2016 (pp 3167-3176). The COLING 2016 Organizing Committee.
  • Daiber, J., van der Goot, R. (2016) The Denoised Web Treebank: Evaluating Dependency Parsing under Noisy Input Conditions.
    In Calzolari, N. Choukri, K. Declerck, T. Goggi, S. Grobelnik, M. Maegaard, B. Mariani, J. Mazo, H. Moreno, A. Odijk, J. Piperidis, S. (Eds.), LREC 2016 : Tenth International Conference on Language Resources and Evaluation: May 23-28, 2016, Grand Hotel Bernardin Conference Center, Portorož, Slovenia (pp 649-653). European Language Resources Association (ELRA).
  • Daiber, J. (2018) Typologically robust statistical machine translation: Understanding and exploiting differences and similarities between languages in machine translation.
    Thesis, fully internal | UvA-DARE
  • Dalla Chiara, M., Doets, H.C., Mundici, D., van Benthem, J.F.A.K. (1997) Logic and scientific methods. Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995.
    Synthese library; studies in epistemology, logic, methodoloe. Kluwer.
    Book (Editorship) | UvA-DARE
  • Dalla Chiara, M., Doets, H.C., Mundici, D., van Benthem, J.F.A.K. (1997) Structures and norms in science. Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995.
    Synthese library; studies in epistemology, logic, methodolo. Kluwer.
    Book (Editorship) | UvA-DARE
  • Dam, Nick C.P., Honing, H., Spierings, M. (2024) Artoo-Detoo: What imitating a Star Wars droid reveals on allospecific vocal imitation in parrots and starlings.
  • Dam, T.A., Hoogendoorn, M., Elbers, P.W.G., Fornasa, M., de Neree tot Babberich, M., Cina, G. (2022) Predicting responders to prone positioning in mechanically ventilated patients with COVID-19 using machine learning.
    Annals of intensive care, Vol. 12
  • Damgård, I., Fehr, S., Salvail, L., Schaffner, C. (2014) Secure identification and QKD in the bounded-quantum-storage model.
    Theoretical Computer Science, Vol. 560 (pp 12-26)
1 ... 81 82 83 84 85 86 87 88 89 ... 311

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