Marcos Cramer

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 28

Top Topics

Practical Reasoning

Autoepistemic Logic

Human Judgments

Argumentation Semantics

Top Venues

Publications

Marcos Cramer, Leendert van der Torre
An argumentation semantics for rational human evaluation of arguments. Frontiers Artif. Intell. 6 (2023)
Marcos Cramer, Samuele Pollaci, Bart Bogaerts
Mathematical Foundations for Joining Only Knowing and Common Knowledge. KR (2023)
Marcos Cramer, Pieter Van Hertum, Bart Bogaerts, Marc Denecker
Distributed Autoepistemic Logic: Semantics, Complexity, and Applications to Access Control. CoRR (2023)
Marcos Cramer, Samuele Pollaci, Bart Bogaerts
Mathematical Foundations for Joining Only Knowing and Common Knowledge (Extended Version). CoRR (2023)
Marcos Cramer
Paracomplete truth theory with KFS-definable determinateness. J. Log. Comput. 31 (8) (2021)
Marcos Cramer, Steffen Hölldobler, Marco Ragni
When are Humans Reasoning with Modus Tollens? CogSci (2021)
Marcos Cramer, Yannick Spörl
The Choice-Preferred Semantics for Relevance-Oriented Acceptance of Admissible Sets of Arguments. CLAR (2021)
Marcos Cramer, Emmanuelle-Anna Dietz Saldanha
Logic Programming, Argumentation and Human Reasoning. CLAR (2020)
Marcos Cramer, Jérémie Dauphin
A First Approach to Argumentation Label Functions. COMMA (2020)
Marcos Cramer, Meghna Bhadra
Technical Report of "Deductive Joint Support for Rational Unrestricted Rebuttal". CoRR (2020)
Marcos Cramer, Meghna Bhadra
Deductive Joint Support for Rational Unrestricted Rebuttal. COMMA (2020)
Marcos Cramer, Leon van der Torre
SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability. DKB/KIK@KI (2019)
Marcos Cramer, Mathieu Guillaume
Technical report of "Empirical Study on Human Evaluation of Complex Argumentation Frameworks". CoRR (2019)
Marcos Cramer, Mathieu Guillaume
Empirical Study on Human Evaluation of Complex Argumentation Frameworks. JELIA (2019)
Diego Agustín Ambrossio, Marcos Cramer
A Query-Driven Decision Procedure for Distributed Autoepistemic Logic with Inductive Definitions. CoRR (2019)
Marcos Cramer, Zohreh Baniasadi, Pieter Van Hertum
Technical report of "The Knowledge Base Paradigm Applied to Delegation Revocation". CoRR (2019)
Marcos Cramer, Leendert W. N. van der Torre
SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability: Technical Report. CoRR (2019)
Marcos Cramer, Mathieu Guillaume
Directionality of Attacks in Natural Language Argumentation. Bridging@IJCAI/ECAI (2018)
Marcos Cramer, Mathieu Guillaume
Empirical Cognitive Study on Abstract Argumentation Semantics. COMMA (2018)
Jérémie Dauphin, Marcos Cramer, Leendert W. N. van der Torre
A Dynamic Approach for Combining Abstract Argumentation Semantics. CLAR (2018)
Jérémie Dauphin, Marcos Cramer, Leendert W. N. van der Torre
Abstract and Concrete Decision Graphs for Choosing Extensions of Argumentation Frameworks. COMMA (2018)
Zohreh Baniasadi, Xavier Parent, Charles Max, Marcos Cramer
A Model for Regulating of Ethical Preferences in Machine Ethics. HCI (1) (2018)
Marcos Cramer, Giovanni Casini
Postulates for Revocation Schemes. POST (2017)
Marcos Cramer
Implicit Dynamic Function Introduction and Ackermann-like FunctionTheory. FLAP 4 (4) (2017)
Jérémie Dauphin, Marcos Cramer
Extended Explanatory Argumentation Frameworks. TAFA (2017)
Jérémie Dauphin, Marcos Cramer
ASPIC-END: Structured Argumentation with Explanations and Natural Deduction. TAFA (2017)
Pieter Van Hertum, Marcos Cramer, Bart Bogaerts, Marc Denecker
Distributed Autoepistemic Logic and its Application to Access Control. IJCAI (2016)
Marcos Cramer, Pieter Van Hertum, Ruben Lapauw, Ingmar Dasseville, Marc Denecker
Resilient Delegation Revocation with Precedence for Predecessors Is NP-Complete. CSF (2016)
Marcos Cramer, Diego Agustín Ambrossio, Pieter Van Hertum
A Logic of Trust for Reasoning about Delegation and Revocation. SACMAT (2015)
Marcos Cramer, Jun Pang, Yang Zhang
A Logical Approach to Restricting Access in Online Social Networks. SACMAT (2015)
Marcos Cramer, Pieter Van Hertum, Diego Agustín Ambrossio, Marc Denecker
Modelling Delegation and Revocation Schemes in IDP. CoRR (2014)
Marcos Cramer, Peter Koepke, Bernhard Schröder
Parsing and Disambiguation of Symbolic Mathematics in the Naproche System. Calculemus/MKM (2011)
Marcos Cramer, Bernhard Schröder
Interpreting Plurals in the Naproche CNL. CNL (2010)
Marcos Cramer, Peter Koepke, Daniel Kühlwein, Bernhard Schröder
Premise Selection in the Naproche System. IJCAR (2010)
Marcos Cramer, Daniel Kühlwein, Bernhard Schröder
Presupposition Projection and Accommodation in Mathematical Texts. KONVENS (2010)
Marcos Cramer, Bernhard Fisseni, Peter Koepke, Daniel Kühlwein, Bernhard Schröder, Jip Veldman
The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts. CNL (2009)
Marcos Cramer, Peter Koepke, Daniel Kühlwein, Bernhard Schröder, Jip Veldman
The Naproche Project: Controlled Natural Language Proof Checking of Mathematical Texts. CNL (Pre-Proceedings) (2009)