Marcos Cramer

According to our database1, Marcos Cramer authored at least 30 papers between 2009 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

A First Approach to Argumentation Label Functions.
Proceedings of the Computational Models of Argument, 2020

Deductive Joint Support for Rational Unrestricted Rebuttal.
Proceedings of the Computational Models of Argument, 2020

Logic Programming, Argumentation and Human Reasoning.
Proceedings of the Logic and Argumentation - Third International Conference, 2020

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

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

SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability: Technical Report.
CoRR, 2019

Technical report of "Empirical Study on Human Evaluation of Complex Argumentation Frameworks".
CoRR, 2019

SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability.
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.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

2018
Directionality of Attacks in Natural Language Argumentation.
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.
Proceedings of the Human-Computer Interaction. Theories, Methods, and Human Issues, 2018

Abstract and Concrete Decision Graphs for Choosing Extensions of Argumentation Frameworks.
Proceedings of the Computational Models of Argument, 2018

Empirical Cognitive Study on Abstract Argumentation Semantics.
Proceedings of the Computational Models of Argument, 2018

A Dynamic Approach for Combining Abstract Argumentation Semantics.
Proceedings of the Dynamics, 2018

2017
Implicit Dynamic Function Introduction and Ackermann-like FunctionTheory.
FLAP, 2017

Extended Explanatory Argumentation Frameworks.
Proceedings of the Theory and Applications of Formal Argumentation, 2017

ASPIC-END: Structured Argumentation with Explanations and Natural Deduction.
Proceedings of the Theory and Applications of Formal Argumentation, 2017

Postulates for Revocation Schemes.
Proceedings of the Principles of Security and Trust - 6th International Conference, 2017

2016
Distributed Autoepistemic Logic and its Application to Access Control.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Resilient Delegation Revocation with Precedence for Predecessors Is NP-Complete.
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2015
A Logical Approach to Restricting Access in Online Social Networks.
Proceedings of the 20th ACM Symposium on Access Control Models and Technologies, 2015

A Logic of Trust for Reasoning about Delegation and Revocation.
Proceedings of the 20th ACM Symposium on Access Control Models and Technologies, 2015

2014
Modelling Delegation and Revocation Schemes in IDP.
CoRR, 2014

2011
Parsing and Disambiguation of Symbolic Mathematics in the Naproche System.
Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

2010
Presupposition Projection and Accommodation in Mathematical Texts.
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.
Proceedings of the Controlled Natural Language - Second International Workshop, 2010

Premise Selection in the Naproche System.
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2009
The Naproche Project: Controlled Natural Language Proof Checking of Mathematical Texts.
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.
Proceedings of the Controlled Natural Language, Workshop on Controlled Natural Language, 2009


  Loading...