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 | 65 | 2009 |
Parsing and disambiguation of symbolic mathematics in the Naproche system M Cramer, P Koepke, B Schröder International Conference on Intelligent Computer Mathematics, 180-195, 2011 | 26 | 2011 |
Parsing and disambiguation of symbolic mathematics in the Naproche system M Cramer, P Koepke, B Schröder International Conference on Intelligent Computer Mathematics, 180-195, 2011 | 26 | 2011 |
Premise selection in the Naproche system M Cramer, P Koepke, D Kühlwein, B Schröder International Joint Conference on Automated Reasoning, 434-440, 2010 | 17 | 2010 |
Proof-checking mathematical texts in controlled natural language M Cramer Universitäts-und Landesbibliothek Bonn, 2013 | 12 | 2013 |
ASPIC-END: structured argumentation with explanations and natural deduction J Dauphin, M Cramer International Workshop on Theorie and Applications of Formal Argumentation …, 2017 | 11 | 2017 |
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 | 10 | 2015 |
Empirical study on human evaluation of complex argumentation frameworks M Cramer, M Guillaume European Conference on Logics in Artificial Intelligence, 102-115, 2019 | 9 | 2019 |
Empirical cognitive study on abstract argumentation semantics M Cramer, M Guillaume Frontiers in Artificial Intelligence and Applications, 2018 | 9 | 2018 |
Directionality of attacks in natural language argumentation M Cramer, M Guillaume CEUR Workshop Proceedings, 2018 | 9 | 2018 |
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 | 9 | 2015 |
Presupposition Projection and Accommodation in Mathematical Texts. M Cramer, D Kühlwein, B Schröder KONVENS, 29-36, 2010 | 7 | 2010 |
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 | 6 | 2019 |
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 | 6 | 2016 |
Postulates for revocation schemes M Cramer, G Casini International Conference on Principles of Security and Trust, 232-252, 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 |
Mathematisch-logische Aspekte von Beweisrepräsentationsstrukturen M Cramer Master's thesis, University of Bonn, 2009 | 4 | 2009 |
Modelling delegation and revocation schemes in IDP M Cramer, P Van Hertum, DA Ambrossio, M Denecker arXiv preprint arXiv:1405.1584, 2014 | 3 | 2014 |
Implicit dynamic function introduction and its connections to the foundations of mathematics M Cramer Proceedings of the International interdisciplinary conference on Philosophy …, 2012 | 3 | 2012 |
Interpreting plurals in the Naproche CNL M Cramer, B Schröder International Workshop on Controlled Natural Language, 43-52, 2010 | 3 | 2010 |