Research output per year
Research output per year
Search results
-
2020
Strong normalization in core type theory
Ripley, D., 2020, The Logica Yearbook 2019. Sedlár, I. & Blicha, M. (eds.). Rickmansworth UK: College Publishing, p. 111-130 19 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Other › peer-review
-
2016
Comparing some substructural strategies dealing with vagueness
Cobreros, P., Egré, P., Ripley, D. & van Rooij, R., 1 Jan 2016, Information Processing and Management of Uncertainty in Knowledge-Based Systems - 16th International Conference, IPMU 2016, Proceedings. Vieira, S., Carvalho, J. P., Lesot, M-J., Bouchon-Meunier, B., Kaymak, U. & Yager, R. R. (eds.). Springer-Verlag London Ltd., p. 161-172 12 p. (Communications in Computer and Information Science; vol. 611).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Other › peer-review
1 Citation (Scopus) -
2015
‘Transitivity’ of consequence relations
Ripley, D., 2015, Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015, Proceedings: Proceedings of LORI V. Wang, W-F., van der Hoek, W. & Holliday, W. H. (eds.). Springer, p. 328-340 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9394).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Other › peer-review
2 Citations (Scopus) -
2011
Contradictions at the borders
Ripley, D., 8 Feb 2011, Vagueness in Communication - International Workshop, ViC 2009, Held as Part of ESSLLI 2009, Revised Selected Papers. Nouwen, R., van Rooij, R., Sauerland, U. & Schmitz, H-C. (eds.). Springer, p. 169-188 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6517 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
42 Citations (Scopus)