Marcos Cramer
|
|
||||
| Adresse postale |
Université du Luxembourg 2, Avenue de l'Université L-4365 Esch-sur-Alzette |
||||
2022
Reasoning on conflicting information: An empirical study of Formal Argumentation; ; ;
in PLoS ONE (2022), 17(8 August),
2018
Empirical Cognitive Study on Abstract Argumentation Semantics;
in Frontiers in Artificial Intelligence and Applications (2018)
Extended Explanatory Argumentation Frameworks;
in Theory and Applications of Formal Argumentation (2018)
ASPIC-END: Structured Argumentation with Explanations and Natural Deduction;
in Theory and Applications of Formal Argumentation (2018)
Abstract and Concrete Decision Graphs for Choosing Extensions of Argumentation Frameworks; ;
in Computational Models of Argument (2018)
2017
Implicit dynamic function introduction and Ackermann-like Function Theoryin IfCoLog Journal of Logics and Their Applications (2017)
Postulates for Revocation Schemes;
in Cramer, Marcos; Casini, Giovanni (Eds.) Principles of Security and Trust. Proceedings of the 6th International Conference POST 2017 (2017, January 18)
2016
The Naproche system: Proof-checking mathematical texts in controlled natural languagein Sprache und Datenverarbeitung. International Journal for Language Data Processing (2016), 2014(1-2), 9-33
Resilient Delegation Revocation with Precedence for Predecessors is NP-Complete; ; ; ;
in IEEE 29th Computer Security Foundations Symposium (2016)
Distributed Autoepistemic Logic and its Application to Access Control; ; ;
in Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (2016)
2015
A Logic of Trust for Reasoning about Delegation and Revocation; ;
in Proceedings of the 20th ACM Symposium on Access Control Models and Technologies (2015)
A logical approach to restricting access in online social networks; ;
in Proceedings of the 20th ACM Symposium on Access Control Models and Technologies (2015)
2014
Modelling the usage of partial functions and undefined terms using presupposition theoryin Geschke, Stefan; Loewe, Benedikt; Schlicht, Philipp (Eds.) Infinity, Computability and Metamathematics – Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch (2014)
Modelling implicit dynamic introduction of function symbols in mathematical textsin de Paiva, Valeria; et al. (Eds.) 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. (2014)
