Marcos Cramer

Available identifiers

Publication	Date of Publication	Type
Paracomplete truth theory with a definable hierarchy of determinateness operators	2024-09-10	Paper
The choice-preferred semantics for relevance-oriented acceptance of admissible sets of arguments	2023-03-31	Paper
https://portal.mardi4nfdi.de/entity/Q5869212	2022-09-27	Paper
Logic Programming, Argumentation and Human Reasoning	2022-08-30	Paper
Paracomplete truth theory with KFS-definable determinateness	2022-01-03	Paper
ASPIC-END: structured argumentation with explanations and natural deduction	2021-06-02	Paper
Extended explanatory argumentation frameworks	2021-06-02	Paper
A first approach to argumentation label functions	2021-01-21	Paper
Deductive Joint Support for Rational Unrestricted Rebuttal	2021-01-21	Paper
A Dynamic Approach for Combining Abstract Argumentation Semantics	2020-08-10	Paper
Postulates for Revocation Schemes	2020-08-03	Paper
Empirical study on human evaluation of complex argumentation frameworks	2020-02-18	Paper
Implicit dynamic function introduction and Ackermann-like function theory	2020-02-13	Paper
Abstract and concrete decision graphs for choosing extensions of argumentation frameworks	2020-02-12	Paper
Modelling the usage of partial functions and undefined terms using presupposition theory	2015-04-09	Paper
Parsing and disambiguation of symbolic mathematics in the Naproche system	2011-07-29	Paper
Premise selection in the Naproche system	2010-09-14	Paper

This page was built for person: Marcos Cramer