Back
  1. Home
  2. Profile of Marcos CRAMER (Unilu)
Profil

CRAMER Marcos

Main Referenced Co-authors
DAUPHIN, Jérémie  (6)
VAN DER TORRE, Leon  (4)
GUILLAUME, Mathieu  (3)
Denecker, Marc (2)
Van Hertum, Pieter (2)
Main Referenced Keywords
access control (3); delegation (2); Naproche (2); Abstract argumentation (1); abstract argumentation (1);
Main Referenced Unit & Research Centers
SnT (3)
Main Referenced Disciplines
Computer science (14)
Philosophy & ethics (3)
Languages & linguistics (2)
Engineering, computing & technology: Multidisciplinary, general & others (2)
Mathematics (2)

Publications (total 20)

The most downloaded
320 downloads
Dauphin, J., & Cramer, M. (2018). ASPIC-END: Structured Argumentation with Explanations and Natural Deduction. In Theory and Applications of Formal Argumentation. https://hdl.handle.net/10993/32409

The most cited

11 citations (Scopus®)

Cramer, M., & Guillaume, M. (2018). Empirical Cognitive Study on Abstract Argumentation Semantics. Frontiers in Artificial Intelligence and Applications. doi:10.3233/978-1-61499-906-5-413 https://hdl.handle.net/10993/37025

Guillaume, M., Cramer, M., van der Torre, L., & Schiltz, C. (2022). Reasoning on conflicting information: An empirical study of Formal Argumentation. PLoS ONE, 17 (8 August). doi:10.1371/journal.pone.0273225
Peer Reviewed verified by ORBi

Dauphin, J., Cramer, M., & van der Torre, L. (2018). A Dynamic Approach for Combining Abstract Argumentation Semantics – Technical Report. University of Luxembourg.

Cramer, M., & Dauphin, J. (2018). Technical online appendix to "A Structured Argumentation Framework for Modeling Debates in the Formal Sciences". University of Luxembourg.

Dauphin, J., & Cramer, M. (2018). ASPIC-END: Structured Argumentation with Explanations and Natural Deduction. In Theory and Applications of Formal Argumentation.
Peer reviewed

Cramer, M., & Guillaume, M. (2018). Empirical Cognitive Study on Abstract Argumentation Semantics. Frontiers in Artificial Intelligence and Applications. doi:10.3233/978-1-61499-906-5-413
Peer reviewed

Cramer, M., & Guillaume, M. (2018). Directionality of Attacks in Natural Language Argumentation. CEUR Workshop Proceedings.
Peer Reviewed verified by ORBi

Dauphin, J., & Cramer, M. (2018). Extended Explanatory Argumentation Frameworks. In Theory and Applications of Formal Argumentation.
Peer reviewed

Dauphin, J., Cramer, M., & van der Torre, L. (2018). Abstract and Concrete Decision Graphs for Choosing Extensions of Argumentation Frameworks. In Computational Models of Argument.
Peer reviewed

Dauphin, J., Cramer, M., & van der Torre, L. (2018). Abstract and Concrete Decision Graphs for Choosing Extensions of Argumentation Frameworks - Technical Report. University of Luxembourg.

Cramer, M. (2017). Modelling argumentation on Axiom of Choice in ASPIC-END -- Technical report. Esch-sur-Alzette, Luxembourg: University of Luxembourg.

Cramer, M., & Casini, G. (2017). Postulates for Revocation Schemes. In M. Cramer & G. Casini, Principles of Security and Trust. Proceedings of the 6th International Conference POST 2017 (pp. 232-252). Springer. doi:10.1007/978-3-662-54455-6_11
Peer reviewed

Cramer, M., & Garg, D. (2017). Kripke Semantics for BL0 and BL – Technical report. Luxembourg, Luxembourg: University of Luxembourg.

Cramer, M. (2017). Implicit dynamic function introduction and Ackermann-like Function Theory. IfCoLog Journal of Logics and Their Applications.
Peer reviewed

Cramer, M. (May 2016). The Naproche system: Proof-checking mathematical texts in controlled natural language. Sprache und Datenverarbeitung. International Journal for Language Data Processing, 2014 (1-2), 9-33.
Peer reviewed

Cramer, M., Van Hertum, P., Lapauw, R., Dasseville, I., & Denecker, M. (2016). Resilient Delegation Revocation with Precedence for Predecessors is NP-Complete. In IEEE 29th Computer Security Foundations Symposium (pp. 432-442). doi:10.1109/CSF.2016.37
Peer reviewed

Van Hertum, P., Cramer, M., Bogaerts, B., & Denecker, M. (2016). Distributed Autoepistemic Logic and its Application to Access Control. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (pp. 1286-1292).
Peer reviewed

Cramer, M., Ambrossio, D. A., & van Hertum, P. (2015). A Logic of Trust for Reasoning about Delegation and Revocation. In Proceedings of the 20th ACM Symposium on Access Control Models and Technologies.
Peer reviewed

Cramer, M., Pang, J., & Zhang, Y. (2015). A logical approach to restricting access in online social networks. In Proceedings of the 20th ACM Symposium on Access Control Models and Technologies. ACM.
Peer reviewed

Cramer, M. (2014). Modelling implicit dynamic introduction of function symbols in mathematical texts. In V. de Paiva (Ed.), Joint Proceedings of the Second Workshop on Natural Language and Computer Science (NLCS’14) & 1st International Workshop on Natural Language Services for Reasoners (NLSR 2014) Affliated to RTA-TLCA, VSL 2014 July 17-18, 2014 Vienna, Austria (pp. 125-135). Center for Informatics and Systems of the University of Coimbra.
Peer reviewed

Cramer, M. (2014). Modelling the usage of partial functions and undefined terms using presupposition theory. In S. Geschke, B. Loewe, ... P. Schlicht (Eds.), Infinity, Computability and Metamathematics – Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch (pp. 71-88). London, United Kingdom: College Publications.
Peer reviewed

Contact ORBilu