The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts. - Marcos Cramer; Bernhard Fisseni; Peter Koepke; Daniel Kühlwein; Bernhard Schröder; Jip Veldman (CNL, 2009)

The Naproche Project: Controlled Natural Language Proof Checking of Mathematical Texts. - Marcos Cramer; Peter Koepke; Daniel Kühlwein; Bernhard Schröder; Jip Veldman (CNL (Pre-Proceedings), 2009)

Premise Selection in the Naproche System. - Marcos Cramer; Peter Koepke; Daniel Kühlwein; Bernhard Schröder (IJCAR, 2010)

Interpreting Plurals in the Naproche CNL. - Marcos Cramer; Bernhard Schröder (CNL, 2010)

Presupposition Projection and Accommodation in Mathematical Texts. - Marcos Cramer; Daniel Kühlwein; Bernhard Schröder (KONVENS, 2010)

Parsing and Disambiguation of Symbolic Mathematics in the Naproche System. - Marcos Cramer; Peter Koepke; Bernhard Schröder (Calculemus/MKM, 2011)

Modelling Delegation and Revocation Schemes in IDP. - Marcos Cramer; Pieter Van Hertum; Diego Agustín Ambrossio; Marc Denecker (CoRR, 2014)

A Logic of Trust for Reasoning about Delegation and Revocation. - Marcos Cramer; Diego Agustín Ambrossio; Pieter Van Hertum (SACMAT, 2015)

A Logical Approach to Restricting Access in Online Social Networks. - Marcos Cramer; Jun Pang 001; Yang Zhang 016 (SACMAT, 2015)

Resilient Delegation Revocation with Precedence for Predecessors Is NP-Complete. - Marcos Cramer; Pieter Van Hertum; Ruben Lapauw; Ingmar Dasseville; Marc Denecker (CSF, 2016)

Distributed Autoepistemic Logic and its Application to Access Control. - Pieter Van Hertum; Marcos Cramer; Bart Bogaerts 001; Marc Denecker (IJCAI, 2016)

Postulates for Revocation Schemes. - Marcos Cramer; Giovanni Casini (POST, 2017)

ASPIC-END: Structured Argumentation with Explanations and Natural Deduction. - Jérémie Dauphin; Marcos Cramer (TAFA, 2017)

Extended Explanatory Argumentation Frameworks. - Jérémie Dauphin; Marcos Cramer (TAFA, 2017)

Implicit Dynamic Function Introduction and Ackermann-like FunctionTheory. - Marcos Cramer (FLAP, 2017)

A Dynamic Approach for Combining Abstract Argumentation Semantics. - Jérémie Dauphin; Marcos Cramer; Leendert W. N. van der Torre (CLAR, 2018)

Empirical Cognitive Study on Abstract Argumentation Semantics. - Marcos Cramer; Mathieu Guillaume (COMMA, 2018)

Abstract and Concrete Decision Graphs for Choosing Extensions of Argumentation Frameworks. - Jérémie Dauphin; Marcos Cramer; Leendert W. N. van der Torre (COMMA, 2018)

A Model for Regulating of Ethical Preferences in Machine Ethics. - Zohreh Baniasadi; Xavier Parent 001; Charles Max; Marcos Cramer (HCI (1), 2018)

Directionality of Attacks in Natural Language Argumentation. - Marcos Cramer; Mathieu Guillaume (Bridging@IJCAI/ECAI, 2018)

Empirical Study on Human Evaluation of Complex Argumentation Frameworks. - Marcos Cramer; Mathieu Guillaume (JELIA, 2019)

SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability. - Marcos Cramer; Leon van der Torre (DKB/KIK@KI, 2019)

Technical report of "Empirical Study on Human Evaluation of Complex Argumentation Frameworks". - Marcos Cramer; Mathieu Guillaume (CoRR, 2019)

SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability: Technical Report. - Marcos Cramer; Leendert W. N. van der Torre (CoRR, 2019)

Technical report of "The Knowledge Base Paradigm Applied to Delegation Revocation". - Marcos Cramer; Zohreh Baniasadi; Pieter Van Hertum (CoRR, 2019)

A Query-Driven Decision Procedure for Distributed Autoepistemic Logic with Inductive Definitions. - Diego Agustín Ambrossio; Marcos Cramer (CoRR, 2019)

Logic Programming, Argumentation and Human Reasoning. - Marcos Cramer; Emmanuelle-Anna Dietz Saldanha (CLAR, 2020)

Deductive Joint Support for Rational Unrestricted Rebuttal. - Marcos Cramer; Meghna Bhadra (COMMA, 2020)

A First Approach to Argumentation Label Functions. - Marcos Cramer; Jérémie Dauphin (COMMA, 2020)

Technical Report of "Deductive Joint Support for Rational Unrestricted Rebuttal". - Marcos Cramer; Meghna Bhadra (CoRR, 2020)

The Choice-Preferred Semantics for Relevance-Oriented Acceptance of Admissible Sets of Arguments. - Marcos Cramer; Yannick Spörl (CLAR, 2021)

When are Humans Reasoning with Modus Tollens? - Marcos Cramer; Steffen Hölldobler; Marco Ragni (CogSci, 2021)

Paracomplete truth theory with KFS-definable determinateness. - Marcos Cramer (J. Log. Comput., 2021)

Mathematical Foundations for Joining Only Knowing and Common Knowledge. - Marcos Cramer; Samuele Pollaci; Bart Bogaerts 001 (KR, 2023)

Distributed Autoepistemic Logic: Semantics, Complexity, and Applications to Access Control. - Marcos Cramer; Pieter Van Hertum; Bart Bogaerts 001; Marc Denecker (CoRR, 2023)

Mathematical Foundations for Joining Only Knowing and Common Knowledge (Extended Version). - Marcos Cramer; Samuele Pollaci; Bart Bogaerts 001 (CoRR, 2023)

An argumentation semantics for rational human evaluation of arguments. - Marcos Cramer; Leendert van der Torre (Frontiers Artif. Intell., 2023)

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK. - Marcos Cramer; Lucian McIntyre (ICSOFT, 2025)