The naproche project controlled natural language proof checking of mathematical texts M Cramer, B Fisseni, P Koepke, D Kühlwein, B Schröder, J Veldman International Workshop on Controlled Natural Language, 170-186, 2009 | 80 | 2009 |
Empirical study on human evaluation of complex argumentation frameworks M Cramer, M Guillaume Logics in Artificial Intelligence: 16th European Conference, JELIA 2019 …, 2019 | 28 | 2019 |
Parsing and disambiguation of symbolic mathematics in the Naproche system M Cramer, P Koepke, B Schröder Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th …, 2011 | 27 | 2011 |
Parsing and disambiguation of symbolic mathematics in the Naproche system M Cramer, P Koepke, B Schröder Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th …, 2011 | 27 | 2011 |
SCF2-an argumentation semantics for rational human judgments on argument acceptability M Cramer, L van der Torre Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief (DKB …, 2019 | 25 | 2019 |
Empirical cognitive study on abstract argumentation semantics M Cramer, M Guillaume Frontiers in Artificial Intelligence and Applications, 2018 | 23 | 2018 |
Directionality of attacks in natural language argumentation M Cramer, M Guillaume CEUR Workshop Proceedings, 2018 | 22 | 2018 |
Proof-checking mathematical texts in controlled natural language M Cramer Universitäts-und Landesbibliothek Bonn, 2013 | 22 | 2013 |
ASPIC-END: structured argumentation with explanations and natural deduction J Dauphin, M Cramer Theory and Applications of Formal Argumentation: 4th International Workshop …, 2018 | 16 | 2018 |
Premise selection in the Naproche system M Cramer, P Koepke, D Kühlwein, B Schröder Automated Reasoning: 5th International Joint Conference, IJCAR 2010 …, 2010 | 16 | 2010 |
Distributed autoepistemic logic and its application to access control P Van Hertum, M Cramer, B Bogaerts, M Denecker Proceedings of the Twenty-Fifth International Joint Conference on Artificial …, 2016 | 12 | 2016 |
A logical approach to restricting access in online social networks M Cramer, J Pang, Y Zhang Proceedings of the 20th ACM Symposium on Access Control Models and …, 2015 | 12 | 2015 |
A logic of trust for reasoning about delegation and revocation M Cramer, DA Ambrossio, P Van Hertum Proceedings of the 20th ACM Symposium on Access Control Models and …, 2015 | 11 | 2015 |
How to frame understanding in mathematics: A case study using extremal proofs M Carl, M Cramer, B Fisseni, D Sarikaya, B Schröder Axiomathes 31 (5), 649-676, 2021 | 8 | 2021 |
Presupposition Projection and Accommodation in Mathematical Texts. M Cramer, D Kühlwein, B Schröder KONVENS, 29-36, 2010 | 7 | 2010 |
Reasoning on conflicting information: an empirical study of formal argumentation M Guillaume, M Cramer, L van der Torre, C Schiltz Plos one 17 (8), e0273225, 2022 | 6 | 2022 |
Empirical cognitive studies about formal argumentation F Cerutti, M Cramer, M Guillaume, E Hadoux, A Hunter, S Polberg College Publications 2, 851, 2021 | 6 | 2021 |
Modeling human reasoning about conditionals M Cramer, S Hölldobler, M Ragni Proceedings of the 19th International Workshop on Non-Monotonic Reasoning …, 2021 | 5 | 2021 |
When are Humans Reasoning with Modus Tollens? M Cramer, S Hölldobler, M Ragni Proceedings of the Annual Meeting of the Cognitive Science Society 43 (43), 2021 | 5 | 2021 |
A structured argumentation framework for modeling debates in the formal sciences M Cramer, J Dauphin Journal for General Philosophy of Science 51, 219-241, 2020 | 5 | 2020 |