Publications

Peer-reviewed articles

• 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.
• A Query-Driven Decision Procedure for Distributed Autoepistemic Logic with Inductive Definitions
  Diego Agustín Ambrossio and Marcos Cramer
  Proceedings of the Workshop on the Foundations of Computer Security (FCS), 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

• Ĉ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