![]() ![]() | Guillaume, M., Cramer, M., van der Torre, L., & Schiltz, C. (2022). Reasoning on conflicting information: An empirical study of Formal Argumentation. PLoS ONE, 17 (8 August). doi:10.1371/journal.pone.0273225 ![]() |
![]() ![]() | Dauphin, J., Cramer, M., & van der Torre, L. (2018). A Dynamic Approach for Combining Abstract Argumentation Semantics – Technical Report. University of Luxembourg. |
![]() ![]() | Cramer, M., & Dauphin, J. (2018). Technical online appendix to "A Structured Argumentation Framework for Modeling Debates in the Formal Sciences". University of Luxembourg. |
![]() ![]() | Dauphin, J., & Cramer, M. (2018). Extended Explanatory Argumentation Frameworks. In Theory and Applications of Formal Argumentation. ![]() |
![]() ![]() | Dauphin, J., & Cramer, M. (2018). ASPIC-END: Structured Argumentation with Explanations and Natural Deduction. In Theory and Applications of Formal Argumentation. ![]() |
![]() ![]() | Cramer, M., & Guillaume, M. (2018). Empirical Cognitive Study on Abstract Argumentation Semantics. Frontiers in Artificial Intelligence and Applications. doi:10.3233/978-1-61499-906-5-413 ![]() |
![]() ![]() | Cramer, M., & Guillaume, M. (2018). Directionality of Attacks in Natural Language Argumentation. CEUR Workshop Proceedings. ![]() |
![]() ![]() | Dauphin, J., Cramer, M., & van der Torre, L. (2018). Abstract and Concrete Decision Graphs for Choosing Extensions of Argumentation Frameworks - Technical Report. University of Luxembourg. |
![]() ![]() | Dauphin, J., Cramer, M., & van der Torre, L. (2018). Abstract and Concrete Decision Graphs for Choosing Extensions of Argumentation Frameworks. In Computational Models of Argument. ![]() |
![]() ![]() | Cramer, M. (2017). Modelling argumentation on Axiom of Choice in ASPIC-END -- Technical report. Esch-sur-Alzette, Luxembourg: University of Luxembourg. |
![]() ![]() | Cramer, M., & Casini, G. (2017). Postulates for Revocation Schemes. In M. Cramer & G. Casini, Principles of Security and Trust. Proceedings of the 6th International Conference POST 2017 (pp. 232-252). Springer. doi:10.1007/978-3-662-54455-6_11 ![]() |
![]() ![]() | Cramer, M., & Garg, D. (2017). Kripke Semantics for BL0 and BL – Technical report. Luxembourg, Luxembourg: University of Luxembourg. |
![]() ![]() | Cramer, M. (2017). Implicit dynamic function introduction and Ackermann-like Function Theory. IfCoLog Journal of Logics and Their Applications. ![]() |
![]() ![]() | Cramer, M. (May 2016). The Naproche system: Proof-checking mathematical texts in controlled natural language. Sprache und Datenverarbeitung. International Journal for Language Data Processing, 2014 (1-2), 9-33. ![]() |
![]() ![]() | Cramer, M., Van Hertum, P., Lapauw, R., Dasseville, I., & Denecker, M. (2016). Resilient Delegation Revocation with Precedence for Predecessors is NP-Complete. In IEEE 29th Computer Security Foundations Symposium (pp. 432-442). doi:10.1109/CSF.2016.37 ![]() |
![]() ![]() | Van Hertum, P., Cramer, M., Bogaerts, B., & Denecker, M. (2016). Distributed Autoepistemic Logic and its Application to Access Control. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (pp. 1286-1292). ![]() |
![]() ![]() | Cramer, M., Ambrossio, D. A., & van Hertum, P. (2015). A Logic of Trust for Reasoning about Delegation and Revocation. In Proceedings of the 20th ACM Symposium on Access Control Models and Technologies. ![]() |
![]() ![]() | Cramer, M., Pang, J., & Zhang, Y. (2015). A logical approach to restricting access in online social networks. In Proceedings of the 20th ACM Symposium on Access Control Models and Technologies. ACM. ![]() |
![]() ![]() | Cramer, M. (2014). Modelling the usage of partial functions and undefined terms using presupposition theory. In S. Geschke, B. Loewe, ... P. Schlicht (Eds.), Infinity, Computability and Metamathematics – Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch (pp. 71-88). London, United Kingdom: College Publications. ![]() |
![]() ![]() | Cramer, M. (2014). Modelling implicit dynamic introduction of function symbols in mathematical texts. In V. de Paiva (Ed.), Joint Proceedings of the Second Workshop on Natural Language and Computer Science (NLCS’14) & 1st International Workshop on Natural Language Services for Reasoners (NLSR 2014) Affliated to RTA-TLCA, VSL 2014 July 17-18, 2014 Vienna, Austria (pp. 125-135). Center for Informatics and Systems of the University of Coimbra. ![]() |