Marcos Cramer

According to our database, Marcos Cramer authored at least 37 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

An argumentation semantics for rational human evaluation of arguments.

Marcos Cramer, Leendert van der Torre

Frontiers Artif. Intell., February, 2023

Mathematical Foundations for Joining Only Knowing and Common Knowledge (Extended Version).

Marcos Cramer, Samuele Pollaci, Bart Bogaerts

CoRR, 2023

Distributed Autoepistemic Logic: Semantics, Complexity, and Applications to Access Control.

Marcos Cramer, Pieter Van Hertum, Bart Bogaerts, Marc Denecker

CoRR, 2023

Mathematical Foundations for Joining Only Knowing and Common Knowledge.

Marcos Cramer, Samuele Pollaci, Bart Bogaerts

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

2021

Paracomplete truth theory with KFS-definable determinateness.

Marcos Cramer

J. Log. Comput., 2021

When are Humans Reasoning with Modus Tollens?

Marcos Cramer, Steffen Hölldobler, Marco Ragni

Proceedings of the 43rd Annual Meeting of the Cognitive Science Society, 2021

The Choice-Preferred Semantics for Relevance-Oriented Acceptance of Admissible Sets of Arguments.

Marcos Cramer, Yannick Spörl

Proceedings of the Logic and Argumentation - 4th International Conference, 2021

2020

Technical Report of "Deductive Joint Support for Rational Unrestricted Rebuttal".

Marcos Cramer, Meghna Bhadra

CoRR, 2020

A First Approach to Argumentation Label Functions.

Marcos Cramer, Jérémie Dauphin

Proceedings of the Computational Models of Argument, 2020

Deductive Joint Support for Rational Unrestricted Rebuttal.

Marcos Cramer, Meghna Bhadra

Proceedings of the Computational Models of Argument, 2020

Logic Programming, Argumentation and Human Reasoning.

Marcos Cramer, Emmanuelle-Anna Dietz Saldanha

Proceedings of the Logic and Argumentation - Third International Conference, 2020

2019

A Query-Driven Decision Procedure for Distributed Autoepistemic Logic with Inductive Definitions.

Diego Agustín Ambrossio, Marcos Cramer

CoRR, 2019

Technical report of "The Knowledge Base Paradigm Applied to Delegation Revocation".

Marcos Cramer, Zohreh Baniasadi, Pieter Van Hertum

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 "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.

Marcos Cramer, Leon van der Torre

Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI & Kognition (KIK-2019) co-located with 44nd German Conference on Artificial Intelligence (KI 2019), 2019

Empirical Study on Human Evaluation of Complex Argumentation Frameworks.

Marcos Cramer, Mathieu Guillaume

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

2018

Directionality of Attacks in Natural Language Argumentation.

Marcos Cramer, Mathieu Guillaume

Proceedings of the fourth Workshop on Bridging the Gap between Human and Automated Reasoningco-located with the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), 2018

A Model for Regulating of Ethical Preferences in Machine Ethics.

Zohreh Baniasadi, Xavier Parent, Charles Max, Marcos Cramer

Proceedings of the Human-Computer Interaction. Theories, Methods, and Human Issues, 2018

Abstract and Concrete Decision Graphs for Choosing Extensions of Argumentation Frameworks.

Jérémie Dauphin, Marcos Cramer, Leendert W. N. van der Torre

Proceedings of the Computational Models of Argument, 2018

Empirical Cognitive Study on Abstract Argumentation Semantics.

Marcos Cramer, Mathieu Guillaume

Proceedings of the Computational Models of Argument, 2018

A Dynamic Approach for Combining Abstract Argumentation Semantics.

Jérémie Dauphin, Marcos Cramer, Leendert W. N. van der Torre

Proceedings of the Dynamics, 2018

2017

Implicit Dynamic Function Introduction and Ackermann-like FunctionTheory.

Marcos Cramer

FLAP, 2017

Extended Explanatory Argumentation Frameworks.

Jérémie Dauphin, Marcos Cramer

Proceedings of the Theory and Applications of Formal Argumentation, 2017

ASPIC-END: Structured Argumentation with Explanations and Natural Deduction.

Jérémie Dauphin, Marcos Cramer

Proceedings of the Theory and Applications of Formal Argumentation, 2017

Postulates for Revocation Schemes.

Marcos Cramer, Giovanni Casini

Proceedings of the Principles of Security and Trust - 6th International Conference, 2017

2016

Distributed Autoepistemic Logic and its Application to Access Control.

Pieter Van Hertum, Marcos Cramer, Bart Bogaerts, Marc Denecker

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Resilient Delegation Revocation with Precedence for Predecessors Is NP-Complete.

Marcos Cramer, Pieter Van Hertum, Ruben Lapauw, Ingmar Dasseville, Marc Denecker

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2015

A Logical Approach to Restricting Access in Online Social Networks.

Marcos Cramer, Jun Pang, Yang Zhang

Proceedings of the 20th ACM Symposium on Access Control Models and Technologies, 2015

A Logic of Trust for Reasoning about Delegation and Revocation.

Marcos Cramer, Diego Agustín Ambrossio, Pieter Van Hertum

Proceedings of the 20th ACM Symposium on Access Control Models and Technologies, 2015

2014

Modelling Delegation and Revocation Schemes in IDP.

Marcos Cramer, Pieter Van Hertum, Diego Agustín Ambrossio, Marc Denecker

CoRR, 2014

2011

Parsing and Disambiguation of Symbolic Mathematics in the Naproche System.

Marcos Cramer, Peter Koepke, Bernhard Schröder

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

2010

Presupposition Projection and Accommodation in Mathematical Texts.

Marcos Cramer, Daniel Kühlwein, Bernhard Schröder

Proceedings of the Semantic Approaches in Natural Language Processing: Proceedings of the 10th Conference on Natural Language Processing, 2010

Interpreting Plurals in the Naproche CNL.

Marcos Cramer, Bernhard Schröder

Proceedings of the Controlled Natural Language - Second International Workshop, 2010

Premise Selection in the Naproche System.

Marcos Cramer, Peter Koepke, Daniel Kühlwein, Bernhard Schröder

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2009

The Naproche Project: Controlled Natural Language Proof Checking of Mathematical Texts.

Marcos Cramer, Peter Koepke, Daniel Kühlwein, Bernhard Schröder, Jip Veldman

Proceedings of the Pre-Proceedings of the Workshop on Controlled Natural Language (CNL 2009), 2009

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

Proceedings of the Controlled Natural Language, Workshop on Controlled Natural Language, 2009