Marcos Cramer

MaRDI QIDQ2028728zbMATH OpenWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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
scientific article; zbMATH DE number 7593542 (Why is no real title available?)	2022-09-27	Paper
Logic Programming, Argumentation and Human Reasoning Lecture Notes in Computer Science	2022-08-30	Paper
Paracomplete truth theory with <i>KFS</i>-definable determinateness Journal Of Logic And Computation	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 (available as arXiv preprint)	2021-01-21	Paper
A Dynamic Approach for Combining Abstract Argumentation Semantics Dynamics, Uncertainty and Reasoning	2020-08-10	Paper
Postulates for Revocation Schemes Lecture Notes in Computer Science	2020-08-03	Paper
Empirical study on human evaluation of complex argumentation frameworks (available as arXiv preprint)	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 Lecture Notes in Computer Science	2011-07-29	Paper
Premise selection in the Naproche system Automated Reasoning	2010-09-14	Paper

Research outcomes over time

This page was built for person: Marcos Cramer