-
Huurdeman, H. (2014) Adaptive Search Systems for Web Archive Research.In IIiX2014, building bridges: behaviour, systems, interfaces : Regensburg, 26.-30. August 2014 : proceedings of the 5th Information Interaction in Context Symposium (pp 354-356). ACM.Conference contribution | https://doi.org/10.1145/2637002.2637063 | UvA-DAREHuurdeman, H. (2015) Adaptive Search Support for Information Seeking Stages.Bulletin of the IEEE-TCDL, Vol. 11Huurdeman, H. (2018) Supporting the complex dynamics of the information seeking process.Thesis, fully internal | UvA-DAREHwa, R., Nichols, C., Sima'an, K. (2006) Corpus Variations for Translation Lexicon Induction.In Proceedings of the Association for Machine Translation in the Americas (AMTA 2006) (pp 74-81)Conference contribution | UvA-DAREHyland, M. (2014) Turing Centenary Conference: How the World Computes.Annals of Pure and Applied Logic, Vol. 165 (pp 1353-1532)Special issue (Editorship) | http://www.sciencedirect.com/science/journal/01680072/165/9?sdc=1 | UvA-DAREHyttinen, T., Kangas, K., Väänänen, J.A. (2013) On second-order characterizability.Logic Journal of the IGPL, Vol. 21 (pp 767-787)Article | https://doi.org/10.1093/jigpal/jzs047 | UvA-DAREHyttinen, T., Paolini, G., Väänänen, J.A. (2015) Quantum team logic and Bell's inequalities.Review of Symbolic Logic, Vol. 8 (pp 722-742)Article | https://doi.org/10.1017/S1755020315000192 | UvA-DAREHyttinen, T., Paolini, G., Väänänen, J.A. (2017) A logic for arguing about probabilities in measure teams.Archive for Mathematical Logic, Vol. 56 (pp 475-489)Article | https://doi.org/10.1007/s00153-017-0535-x | UvA-DAREIdrissou, Al, van Wissen, L., Carretta Zamborlini, Veruska (2022) The Lenticular Lens: Addressing Various Aspects of Entity Disambiguation in the Semantic Web.Iemhoff, R., Passmann, R. (2021) Logics of intuitionistic Kripke-Platek set theory.Annals of Pure and Applied Logic, Vol. 172Article | https://doi.org/10.1016/j.apal.2021.103014 | UvA-DAREIemhoff, R. (1998) A modal analysis of some principles fo the provability logic of heyting arthmetic.In Advances in modal logicChapter | UvA-DAREIemhoff, R. (2000) A(nother) characterization of Intuitionistic Propositional Logic.Technical Reports. Institute for Logic, Language and Computation.Working paper | UvA-DAREIemhoff, R. (2001) A(nother) characterization of intuitionistic propositional logic..Annals of Pure and Applied Logic, Vol. 113 (pp 161-173)Article | UvA-DAREIemhoff, R. (2001) On the admissible rules of intuitionistic propositional logic..Journal of Symbolic Logic, Vol. 66 (pp 281-294)Article | https://doi.org/10.2307/2694922 | UvA-DAREIemhoff, R. (2001) A modal analysis of some principles of the provability logic of Heyting arithmetic.In de Rijke, M. Segerberg, K. Wansing, H. Zakharyaschev, M. (Eds.), Advances in Modal Logic ('98) (pp 319-354). CSLI Publications.Conference contribution | UvA-DAREIemhoff, R. (2001) Provability Logic and Admissible Rules.Thesis, fully internal | UvA-DAREIJzereef, L.H.L., Kamps, J., de Rijke, M. (2005) Biomedical Retrieval: How Can a Thesaurus Help?.Lecture Notes in Computer Science, Vol. 3761 (pp 1432-1448)Article | UvA-DAREIJzereef, L.H.L., Meij, E.J., Azzopardi, L., Kamps, J., de Rijke, M. (2005) The AID Group at TREC 2005.In The Fourteenth Text REtrieval Conference (TREC 2005) Notebook. National Institute of Standards and Technology.Conference contribution | UvA-DAREIkegami, D., de Kloet, D., Löwe, B. (2012) The Axiom of Real Blackwell Determinacy.Archive for Mathematical Logic, Vol. 51 (pp 671-685)Article | https://doi.org/10.1007/s00153-012-0291-x | UvA-DAREIkegami, D., Väänänen, J.A. (2015) Boolean-valued second-order logic.Notre Dame Journal of Formal Logic, Vol. 56 (pp 167-190)Article | https://doi.org/10.1215/00294527-2835065 | UvA-DARE
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 illc at uva.nl