-
Abramsky, S., Kontinen, J., Väänänen, J.A., Vollmer, H. (2016) Dependence Logic: Theory and Applications.Birkhäuser.Book (Editorship) | https://doi.org/10.1007/978-3-319-31803-5 | UvA-DARE
-
Abramsky, S., Väänänen, J.A. (2009) From IF to BI: A tale of dependence and separation.Synthese, Vol. 167 (pp 207-230)Article | https://doi.org/10.1007/s11229-008-9415-6 | UvA-DARE
-
Accorsi, R., Areces, C.E., de Rijke, M. (1999) Towards feature interaction via stable models.In Proceedings WFM'99Conference contribution | UvA-DAREAceto, L., Ingólfsdóttir, A., Prisacariu, C., Sack, J. (2013) Compositional Reasoning for Multi-Modal Logics.In Artemov, S. Nerode, A. (Eds.), Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013 : proceedings (pp 1-15) (Lecture Notes in Computer Science, Vol. 7734). Springer.Conference contribution | https://doi.org/10.1007/978-3-642-35722-0_1 | UvA-DAREAchimescu, A., Baltag, A., Sack, J. (2019) The Probabilistic Logic of Communication and Change.Journal of Logic and Computation, Vol. 29 (pp 1015-1040)Article | https://doi.org/10.1093/logcom/exv084 | UvA-DAREAchourioti, T., van Lambalgen, M. (2011) A formalization of Kant's transcendental logic.Review of Symbolic Logic, Vol. 4 (pp 254-289)Article | https://doi.org/10.1017/S1755020310000341 | UvA-DAREAchourioti, T., van Lambalgen, M. (2017) Kant's logic revisited.The IfCoLog Journal of Logics and their Applications, Vol. 4 (pp 845-865)Achourioti, T. (2007) Fallacies and context dependence: considering the strategic manoeuvering approach.In Proceedings of the sixth conference of the International Society for the Study of Argumentation (ISSA) (pp 21-25)Conference contribution | UvA-DAREAchourioti, T. (2007) Context-dependence and the defining of logical fallacies.In Hansen, H.V. et. al. (Eds.), Proceedings of the Ontario Society for the Study of ArgumentationConference contribution | http://web2.uwindsor.ca/cpa/OSSA/conference2007/index.htm | UvA-DAREAdam-Day, S., Bezhanishvili, N., Gabelaia, D., Marra, V. (2024) Polyhedral completeness of intermediate logics: The Nerve Criterion.Journal of Symbolic Logic, Vol. 89 (pp 342-382)Article | https://doi.org/10.1017/jsl.2022.76 | UvA-DAREAdriaans, F., Kamps, J., Koolen, M.H.A. (2012) The Importance of Document Ranking and User-Generated Content for Faceted Search and Book Suggestions.In Geva, S. Kamps, J. Schenkel, R. (Eds.), 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 (pp 30-44) (Lecture Notes in Computer Science, Vol. 7424). Springer.Conference contribution | https://doi.org/10.1007/978-3-642-35734-3_2 | UvA-DAREAdriaans, F., Koolen, M.H.A., Kamps, J. (2011) University of Amsterdam at INEX 2011: book and data centric tracks.In INEX 2011 Workshop Pre-proceedings (pp 36-48). IR Publications.Conference contribution | UvA-DAREAdriaans, P., Fernau, H., van Zaanen, M.M. (2002) Grammatical Inference: Algorithms and Applications (ICGI).Springer-Verlag.Book (Editorship) | UvA-DAREAdriaans, P., van Benthem, J.F.A.K. (2008) Introduction: Information is what information does.In Adriaans, P. van Benthem, J. (Eds.), Philosophy of information (pp 3-26) (Handbook of the philosophy of science). North Holland.Adriaans, P., van Benthem, J.F.A.K. (2008) Philosophy of information.Handbook of the philosophy of science. North Holland.Book (Editorship) | UvA-DAREAdriaans, P., van Emde Boas, P. (2011) Computation, information and the arrow of time..In Barry Cooper, S. Sorbi, A. (Eds.), Computability in Context; Computation and Logic in the Real World (pp 1-17). Imperial College Press.Chapter | UvA-DAREAdriaans, P., Vitányi, P.M.B. (2007) The power and perils of MDL.In Proceedings of the International Symposium on Information Theory (pp 2216-2200)Conference contribution | UvA-DAREAdriaans, P., Vitányi, P.M.B. (2009) Approximation of the two-part MDL code.IEEE Transactions on Information Theory, Vol. 55 (pp 444-457)Article | https://doi.org/10.1109/TIT.2008.2008152 | UvA-DAREAdriaans, P. (2001) Semantic induction with emile, opportunities in bioinformatics.In van der Vet, P. (Eds.), TWLT19, Information Extraction in Molecular Biology, Proceedings Twente Workshop on Language Technology 19, ESF Scientific Programme on Integrated Approaches for Functional Genomics, Enschede (pp 1-6). Universiteit Twente, Faculteit Informatica.Conference contribution | UvA-DAREAdriaans, P. (2001) Learning Shallow Context-free Languages under Simple Distributions.In Ann Copestake Kees Vermeulen (Eds.), Algebras, Diagrams and Decisions in Language, Logic and Computation. CSLI/CUP.Conference contribution | 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