Dr. Marcos Cramer
⠀
⠀
My research is focused on various logical methods for computer science, AI and interdisciplinary research. Since 2023 my research has shifted towards formal software verification and hybrid AI systems integrating LLMs and logic-based verification. My more long-standing research focus is on applying logic-based methods from knowledge representation and reasoning to model actual human reasoning, more specifically on combining methods from formal argumentation theory, natural language semantics, epistemic logic and philosophical logic to formally model the mathematical, philosophical and logical reasoning of humans.
Apart from my research in logic, knowledge representation and reasoning, I am also interested in the usage and linguistic study of gender-neutral language. I am the president of the Association for Gender-Neutral German that has developed a grammatically coherent proposal for introducing novel gender-neutral forms into German.
Furthermore, I actively use Esperanto and do some work on the linguistic study of Esperanto.
Preferred pronouns: they/them/their. (In German en/ens/em/en.)
Publications
Peer-reviewed articles
Mathematical Foundations for Joining Only Knowing and Common Knowledge
Marcos Cramer, Samuele Pollaci and Barts Bogaerts
Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, Vol. 19, No. 1 (2023).
Visual Argument Structure Tool (VAST) Version 1.0
Daniel Leising, Oliver Grenke und Marcos Cramer
Meta-Psychology 7 (2023).
An argumentation semantics for rational human evaluation of arguments
Marcos Cramer and Leendert van der Torre
Frontiers in Artificial Intelligence, 6, 31 (2022).
Reasoning on conflicting information: An empirical study of Formal Argumentation
Mathieu Guillaume, Marcos Cramer, Leendert van der Torre and Christine Schiltz
Plos one 17.8. (2022).
Modeling human reasoning about conditionals
Marcos Cramer, Steffen Hölldobler and Marco Ragni
19th International Workshop on Non-Monotonic Reasoning (2021).
The Choice-Preferred Semantics for Relevance-Oriented Acceptance of Admissible Sets of Arguments
Marcos Cramer and Yannick Spörl
Logic and Argumentation: Proceedings 4 (2021).
When are Humans Reasoning With ModusTollens?
Marcos Cramer, Steffen Hölldobler and Marco Ragni
Proceedings of the Annual Meeting of the Cognitive Science Society (2021).
Empirical Cognitive Studies About Formal Argumentation
Federico Cerutti, Marcos Cramer, Mathieu Guillaume, Emmanuel Hadoux, Anthony Hunter and Sylwia Polberg
Handbook of Formal Argumentation, Volume 2 (2021).
Paracomplete truth theory with KFS-definable determinateness
Marcos Cramer
Journal of Logic and Computation (2021).
How to Frame Understanding in Mathematics: A Case Study Using Extremal Proofs
Merlin Carl, Marcos Cramer, Bernhard Fisseni, Deniz Sarikaya and Bernhard Schröder
Axiomathes (2021), pp. 1-28
Empirical study on the use of gender-neutral pronouns in Esperanto
Marcos Cramer
The Intercultural Role of Esperanto, Cross-linguistic and Cross-cultural Studies 2. Adam Mickiewicz University (2020).
Logic Programming, Argumentation and Human Reasoning
Marcos Cramer and Emmanuelle-Anna Dietz Saldanha
Proceedings of the Third International Conference on Logic and Argumentation (CLAR 2020), pp. 58-79
Deductive Joint Support for Rational Unrestricted Rebuttal
Marcos Cramer and Meghna Bhadra
Computational Models of Argument – Proceedings of COMMA 2020, pp. 159-166.
A First Approach to Argumentation Label Functions
Marcos Cramer and Jérémie Dauphin
Computational Models of Argument – Proceedings of COMMA 2020, pp. 159-166.
Paracomplete Truth Theory with a Definable Hierarchy of Determinateness Operators
Marcos Cramer
Context, Conflict and Reasoning – Proceedings of the Fifth Asian Workshop on Philosophical Logic (2020).
SCF2 – an Argumentation Semantics for Rational Human Judgments on Argument Acceptability
Marcos Cramer and Leendert van der Torre
Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI & Kognition (KIK-2019).
The Knowledge Base Paradigm Applied to Delegation Revocation
Marcos Cramer, Zohreh Baniasadi and Pieter Van Hertum
Proceedings of the Young Scientist's Third International Workshop on Trends in Information Processing (YSIP3 2019).
A Structured Argumentation Framework for Modeling Debates in the Formal Sciences
Marcos Cramer and Jérémie Dauphin
Journal for General Philosophy of Science, 2019. The original publication is available at link.springer.com.
Empirical Study on Human Evaluation of Complex Argumentation Frameworks
Marcos Cramer and Mathieu Guillaume
Proceedings of the European Conference on Logics in Artificial Intelligence (JELIA) 2019.
Empirical Cognitive Study on Abstract Argumentation Semantics
Marcos Cramer and Mathieu Guillaume
Proceedings of the International Conference on Computational Models of Argument (COMMA) 2018.
Directionality of Attacks in Natural Language Argumentation
Marcos Cramer and Mathieu Guillaume
Proceedings of the Fourth Workshop on Bridging the Gap between Human and Automated Reasoning 2018.
A dynamic approach for combining abstract argumentation semantics
Jérémie Dauphin, Marcos Cramer and Leendert van der Torre
Proceedings of the Chinese Conference for Logic and Argumentation (CLAR) 2018.
ASPIC-END: Structured Argumentation with Explanations and Natural Deduction
Jérémie Dauphin and Marcos Cramer
Proceedings of the International Workshop on Theory and Applications of Formal Argumentation (TAFA) 2017.
Extended Explanatory Argumentation Frameworks
Jérémie Dauphin and Marcos Cramer
Proceedings of the International Workshop on Theory and Applications of Formal Argumentation (TAFA) 2017.
Implicit dynamic function introduction and Ackermann-like Function Theory
Marcos Cramer
IfCoLog Journal of Logics and their Applications, Vol. 4, Issue 4, 2017.
Postulates for Revocation Schemes
Marcos Cramer and Giovanni Casini
Proceedings of the International Conference on Principles of Security and Trust (POST) 2017.
Full version with proofs: Postulates for Revocation Schemes – Technical Report
Distributed Autoepistemic Logic and its Application to Access Control
Pieter Van Hertum, Marcos Cramer, Bart Bogaerts and Marc Denecker
Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI) 2016.
Resilient Delegation Revocation with Precedence for Predecessors is NP-Complete
Marcos Cramer, Pieter Van Hertum, Ruben Lapauw, Ingmar Dasseville and Marc Denecker
Proceedings of the Computer Security Foundations Symposium (CSF) 2016.
A Logic of Trust for Reasoning about Delegation and Revocation
Marcos Cramer, Diego Agustín Ambrossio and Pieter Van Hertum
Proceedings of the ACM Symposium on Access Control Models and Technologies (SACMAT) 2015.
A Logical Approach to Restricting Access in Online Social Networks
Marcos Cramer, Jun Pang and Yang Zhang
Proceedings of the ACM Symposium on Access Control Models and Technologies (SACMAT) 2015.
The Naproche system: Proof-checking mathematical texts in controlled natural language
Marcos Cramer
SDV - International Journal for Language Data Processing, Vol. 31, 1-2, 2014.
Modelling implicit dynamic introduction of function symbols in mathematical texts
Marcos Cramer
Proceedings of the Second Workshop on Natural Language and Computer Science (NLCS) 2014.
Modelling the usage of partial functions and undefined terms using presupposition theory
Marcos Cramer
Infinity, Computability and Metamathematics – Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch, 2014.
Parsing and Disambiguation of Symbolic Mathematics in the Naproche System
Marcos Cramer, Peter Koepke and Bernhard Schröder
Proceedings of the Conference on Intelligent Computer Mathematics (CICM) 2011.
Interpreting Plurals in the Naproche CNL
Marcos Cramer and Bernhard Schröder
Proceedings of the Controlled Natural Language (CNL) Workshop 2010. The original publication is available at www.springerlink.com.
Premise Selection in the Naproche System
Marcos Cramer, P. Koepke, D. Kühlwein, and B. Schröder
Proceedings of the International Joint Conference on Automated Reasoning (IJCAR) 2010. The original publication is available at www.springerlink.com.
Presupposition Projection and Accommodation in Mathematical Texts
Marcos Cramer, Daniel Kühlwein and Bernhard Schröder
Proceedings of the Conference on Natural Language Processing (KONVENS) 2010.
The Naproche System
Daniel Kühlwein, Marcos Cramer Peter Koepke and Bernhard Schröder
Proceedings of Calculemus 2009.
The Naproche Project – Controlled Natural Language Proof Checking of Mathematical Texts
Marcos Cramer, B. Fisseni, P. Koepke, D. Kühlwein, B. Schröder and J. Veldman
Proceedings of the Controlled Natural Language (CNL) Workshop 2009. The original publication is available at www.springerlink.com.
Other publications
Machine Argumentation. Can We Replace Taxi Drivers by Robots?
Dov Gabbay, Marcos Cramer, Jérémie Dauphin, Ali Farjami, Lydia Rivlin and Leendert van der Torre
Natural Argument, A tribute to John Woods, pp. 177-199. College Publications (2019).
Ĉu tamen eblas pri-Esperanta lingvoscienco? ... aŭ kiel difini kiuj estas la kompetentaj parolantoj kiuj determinas la lingvan regularon?
Paper for the Esperantologia Konferenco 2014.
Proof-checking mathematical texts in controlled natural language
Phd thesis, University of Bonn, 2013.
Implicit dynamic function introduction and its connections to the foundations of mathematics
Paper for the conference "Philosophy, Mathematics, Linguistics: Aspects of Interaction" (PhML 2012).
Higher-Order Dynamic Predicate Logic
Extended abstract for the Conference on Computing Natural Reasoning (COCONAT) 2011.
Komputlingvoscienca kaj logika analizado de matematikaj tekstoj
Paper for the Konferenco por Apliko de Esperanto en Scienco kaj Tekniko (KAEST) 2010.
Mathematisch-logische Aspekte von Beweisrepräsentationsstrukturen
Master thesis, 2009