Follow
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
Controlled Natural Language: Workshop on Controlled Natural Language, CNL …, 2010
782010
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
272011
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
272011
Empirical study on human evaluation of complex argumentation frameworks
M Cramer, M Guillaume
Logics in Artificial Intelligence: 16th European Conference, JELIA 2019 …, 2019
222019
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
202019
Empirical cognitive study on abstract argumentation semantics
M Cramer, M Guillaume
Frontiers in Artificial Intelligence and Applications, 2018
202018
Proof-checking mathematical texts in controlled natural language
M Cramer
Universitäts-und Landesbibliothek Bonn, 2013
202013
Premise Selection in the Naproche System.
M Cramer, P Koepke, D Kühlwein, B Schröder
IJCAR 6173, 434-440, 2010
182010
Directionality of attacks in natural language argumentation
M Cramer, M Guillaume
CEUR Workshop Proceedings, 2018
162018
ASPIC-END: structured argumentation with explanations and natural deduction
J Dauphin, M Cramer
Theory and Applications of Formal Argumentation: 4th International Workshop …, 2018
152018
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
112015
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
102015
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
82016
Presupposition Projection and Accommodation in Mathematical Texts.
M Cramer, D Kühlwein, B Schröder
KONVENS, 29-36, 2010
72010
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
52021
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
42018
Postulates for revocation schemes
M Cramer, G Casini
Principles of Security and Trust: 6th International Conference, POST 2017 …, 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
Implicit dynamic function introduction and its connections to the foundations of mathematics
M Cramer
Proceedings of the International interdisciplinary conference on Philosophy …, 2012
42012
Interpreting plurals in the Naproche CNL
M Cramer, B Schröder
Controlled Natural Language: Second International Workshop, CNL 2010 …, 2012
42012
The system can't perform the operation now. Try again later.
Articles 1–20