uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Gennari, R. (2000) Arc Consistency via Subsumed Functions.
    Lecture Notes in Computer Science, Vol. 1861 (pp 358-372)
    Article | UvA-DARE
  • Gennari, R. (2001) General schema for constraint propagation.
    Joint Bulletin of the Novosibirsk Computing Center and Institute of Information Systems, Vol. 2
    Article | UvA-DARE
  • Gennari, R. (2001) Translations for comparing soft frameworks.
    In Walsh, T. (Eds.), Proceedings of CP01, volume 2239 of LNCS, 2239
    Conference contribution | UvA-DARE
  • Gennari, R. (2002) Mapping Inferences: Constraint Propagation and Diamond Satisfaction.
    ILLC Dissertation Series DS-2002-05.
    Thesis, fully internal | UvA-DARE
  • Geraci, C., Oomen, M., Santoro, M. (2022) As strong as an NPI in LSF, NGT and LIS.
    Proceedings from Semantics and Linguistic Theory, Vol. 32 (pp 125-143)
  • Gerbrandy, J.D., Marx, M., de Rijke, M., Venema, Y. (1999) JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday.
    Vossiuspers - Amsterdam University Press.
    Digital or Visual Products | UvA-DARE
  • Gerbrandy, J.D., Marx, M., de Rijke, M., Venema, Y. (1999) JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday.
    Vossiuspers - Amsterdam University Press.
    Book (Editorship) | UvA-DARE
  • Gerdes, Wout, Acar, E. (2024) Integrating Fuzzy Logic into Deep Symbolic Regression.
    In Workshop for Explainable AI in Finance 2024, New York
    Conference contribution | UvA-DARE
  • Geschke, S., Lowe, B., Schlicht, P. (2014) Infinity, Computability and Metamathematics: Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch.
    Tributes, Vol. 23. College Publications.
    Book (Editorship) | UvA-DARE
  • Gesmundo, F., Landsberg, J.M., Walter, M. (2018) Matrix product states and the quantum max-flow/min-cut conjectures.
    Journal of Mathematical Physics, Vol. 59
  • Geva, S., Kamps, J., Lehtonen, M., Schenkel, R., Thom, J.A., Trotman, A. (2010) Overview of the INEX 2009 ad hoc track.
    In Geva, S. Kamps, J. Trotman, A. (Eds.), Focused Retrieval and Evaluation: 8th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2009, Brisbane, Australia, December 7-9, 2009 : revised and selected papers (pp 4-25) (Lecture Notes in Computer Science, Vol. 6203). Springer.
  • Geva, S., Kamps, J., Lethonen, M., Schenkel, R., Thom, J.A., Trotman, A. (2009) Overview of the INEX 2009 Ad Hoc Track.
    In Geva, S. Kamps, J. Trotman, A. (Eds.), INEX 2009 workshop pre-proceedings (pp 16-50). IR Publications.
  • Geva, S., Kamps, J., Peters, C., Sakai, T., Trotman, A., Voorhees, E. (2009) Proceedings of the SIGIR 2009 Workshop on the Future of IR Evaluation.
    IR Publications.
  • Geva, S., Kamps, J., Schenkel, R., Trotman, A. (2010) INEX 2010 Workshop Pre-proceedings.
    IR Publications.
    Book (Editorship) | UvA-DARE
  • Geva, S., Kamps, J., Schenkel, R., Trotman, A. (2011) Preface.
    In Geva, S. Kamps, J. Schenkel, R. Trotman, A. (Eds.), Comparative Evaluation of Focused Retrieval: 9th International Workshop of the Inititative for the Evaluation of XML Retrieval, INEX 2010, Vugh, The Netherlands, December 13-15, 2010 : revised selected papers (pp V-VI) (Lecture Notes in Computer Science, Vol. 6932). Springer.
  • Geva, S., Kamps, J., Schenkel, R., Trotman, A. (2011) Comparative Evaluation of Focused Retrieval: 9th International Workshop of the Inititative for the Evaluation of XML Retrieval, INEX 2010, Vugh, The Netherlands, December 13-15, 2010 : revised selected papers.
    Lecture Notes in Computer Science, Vol. 6932. Springer.
  • Geva, S., Kamps, J., Schenkel, R. (2011) INEX 2011 Workshop Pre-proceedings.
    IR Publications.
    Book (Editorship) | UvA-DARE
  • Geva, S., Kamps, J., Schenkel, R. (2012) Focused Retrieval of Content and Structure: 10th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2011, Saarbrücken, Germany, December 12-14, 2011, Revised Selected Papers.
    Lecture Notes in Computer Science, Vol. 7424. Springer.
    Book (Editorship) | UvA-DARE
  • Geva, S., Kamps, J., Trotman, A. (2009) INEX 2009 workshop pre-proceedings.
    IR Publications.
  • Geva, S., Kamps, J., Trotman, A. (2009) Advances in Focused Retrieval: 7th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2008, Dagstuhl Castle, Germany, December 15-18, 2008 : revised and selected papers.
    Lecture Notes in Computer Science, Vol. 5631. Springer.
1 ... 121 122 123 124 125 126 127 128 129 ... 327

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