| 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 Controlled Natural Language: Workshop on Controlled Natural Language, CNL …, 2010 | 78 | 2010 |
| 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 |
| Empirical study on human evaluation of complex argumentation frameworks M Cramer, M Guillaume Logics in Artificial Intelligence: 16th European Conference, JELIA 2019 …, 2019 | 22 | 2019 |
| 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 | 20 | 2019 |
| Empirical cognitive study on abstract argumentation semantics M Cramer, M Guillaume Frontiers in Artificial Intelligence and Applications, 2018 | 20 | 2018 |
| Proof-checking mathematical texts in controlled natural language M Cramer Universitäts-und Landesbibliothek Bonn, 2013 | 20 | 2013 |
| Premise Selection in the Naproche System. M Cramer, P Koepke, D Kühlwein, B Schröder IJCAR 6173, 434-440, 2010 | 18 | 2010 |
| Directionality of attacks in natural language argumentation M Cramer, M Guillaume CEUR Workshop Proceedings, 2018 | 16 | 2018 |
| ASPIC-END: structured argumentation with explanations and natural deduction J Dauphin, M Cramer Theory and Applications of Formal Argumentation: 4th International Workshop …, 2018 | 15 | 2018 |
| 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 |
| 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 | 10 | 2015 |
| 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 | 8 | 2016 |
| Presupposition Projection and Accommodation in Mathematical Texts. M Cramer, D Kühlwein, B Schröder KONVENS, 29-36, 2010 | 7 | 2010 |
| 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 |
| Abstract and concrete decision graphs for choosing extensions of argumentation frameworks J Dauphin, M Cramer, L Van Der Torre Computational Models of Argument, 437-444, 2018 | 4 | 2018 |
| Postulates for revocation schemes M Cramer, G Casini Principles of Security and Trust: 6th International Conference, POST 2017 …, 2017 | 4 | 2017 |
| Resilient delegation revocation with precedence for predecessors is NP-complete M Cramer, P Van Hertum, R Lapauw, I Dasseville, M Denecker 2016 IEEE 29th Computer Security Foundations Symposium (CSF), 432-442, 2016 | 4 | 2016 |
| Implicit dynamic function introduction and its connections to the foundations of mathematics M Cramer Proceedings of the International interdisciplinary conference on Philosophy …, 2012 | 4 | 2012 |
| Interpreting plurals in the Naproche CNL M Cramer, B Schröder Controlled Natural Language: Second International Workshop, CNL 2010 …, 2012 | 4 | 2012 |
Bernhard SchroederProfessor für germanistische Linguistik, Universität Duisburg-EssenVerified email at uni-due.de
