Marcos Cramer

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