Marcos Cramer
Title
Cited by
Cited by
Year
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
652009
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
262011
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
262011
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
172010
Proof-checking mathematical texts in controlled natural language
M Cramer
Universitäts-und Landesbibliothek Bonn, 2013
122013
ASPIC-END: structured argumentation with explanations and natural deduction
J Dauphin, M Cramer
International Workshop on Theorie and Applications of Formal Argumentation …, 2017
112017
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
102015
Empirical study on human evaluation of complex argumentation frameworks
M Cramer, M Guillaume
European Conference on Logics in Artificial Intelligence, 102-115, 2019
92019
Empirical cognitive study on abstract argumentation semantics
M Cramer, M Guillaume
Frontiers in Artificial Intelligence and Applications, 2018
92018
Directionality of attacks in natural language argumentation
M Cramer, M Guillaume
CEUR Workshop Proceedings, 2018
92018
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
92015
Presupposition Projection and Accommodation in Mathematical Texts.
M Cramer, D Kühlwein, B Schröder
KONVENS, 29-36, 2010
72010
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
62019
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
62016
Postulates for revocation schemes
M Cramer, G Casini
International Conference on Principles of Security and Trust, 232-252, 2017
42017
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
42016
Mathematisch-logische Aspekte von Beweisrepräsentationsstrukturen
M Cramer
Master's thesis, University of Bonn, 2009
42009
Modelling delegation and revocation schemes in IDP
M Cramer, P Van Hertum, DA Ambrossio, M Denecker
arXiv preprint arXiv:1405.1584, 2014
32014
Implicit dynamic function introduction and its connections to the foundations of mathematics
M Cramer
Proceedings of the International interdisciplinary conference on Philosophy …, 2012
32012
Interpreting plurals in the Naproche CNL
M Cramer, B Schröder
International Workshop on Controlled Natural Language, 43-52, 2010
32010
The system can't perform the operation now. Try again later.
Articles 1–20