Seguir
Marcos Cramer
Título
Citado por
Citado por
Ano
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
792009
Empirical study on human evaluation of complex argumentation frameworks
M Cramer, M Guillaume
Logics in Artificial Intelligence: 16th European Conference, JELIA 2019 …, 2019
282019
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
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
252019
Empirical cognitive study on abstract argumentation semantics
M Cramer, M Guillaume
Frontiers in Artificial Intelligence and Applications, 2018
232018
Directionality of attacks in natural language argumentation
M Cramer, M Guillaume
CEUR Workshop Proceedings, 2018
222018
Proof-checking mathematical texts in controlled natural language
M Cramer
Universitäts-und Landesbibliothek Bonn, 2013
202013
ASPIC-END: structured argumentation with explanations and natural deduction
J Dauphin, M Cramer
Theory and Applications of Formal Argumentation: 4th International Workshop …, 2018
162018
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
162010
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
122015
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
112016
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
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
72021
Presupposition Projection and Accommodation in Mathematical Texts.
M Cramer, D Kühlwein, B Schröder
KONVENS, 29-36, 2010
72010
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
62022
Empirical cognitive studies about formal argumentation
F Cerutti, M Cramer, M Guillaume, E Hadoux, A Hunter, S Polberg
College Publications 2, 851, 2021
62021
Modeling human reasoning about conditionals
M Cramer, S Hölldobler, M Ragni
Proceedings of the 19th International Workshop on Non-Monotonic Reasoning …, 2021
52021
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
52020
Interpreting plurals in the Naproche CNL
M Cramer, B Schröder
Controlled Natural Language: Second International Workshop, CNL 2010 …, 2012
52012
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20