Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarcos Cramer
Person information
- affiliation: TU Dresden, International Center for Computational Logic, Germany
- affiliation: University of Luxembourg, Lab for Intelligent and Adaptive Systems (ILIAS), Luxembourg
- affiliation: University of Duisburg-Essen, Institute for German Studies, Germany
- affiliation: University of Bonn, Mathematical Institute, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j3]Marcos Cramer, Leendert van der Torre:
An argumentation semantics for rational human evaluation of arguments. Frontiers Artif. Intell. 6 (2023)- [c26]Marcos Cramer, Samuele Pollaci
, Bart Bogaerts:
Mathematical Foundations for Joining Only Knowing and Common Knowledge. KR 2023: 167-177 - [i8]Marcos Cramer, Pieter Van Hertum, Bart Bogaerts, Marc Denecker:
Distributed Autoepistemic Logic: Semantics, Complexity, and Applications to Access Control. CoRR abs/2306.02774 (2023) - [i7]Marcos Cramer, Samuele Pollaci, Bart Bogaerts:
Mathematical Foundations for Joining Only Knowing and Common Knowledge (Extended Version). CoRR abs/2306.03267 (2023) - 2021
- [j2]Marcos Cramer:
Paracomplete truth theory with KFS-definable determinateness. J. Log. Comput. 31(8): 2218-2239 (2021) - [c25]Marcos Cramer, Yannick Spörl:
The Choice-Preferred Semantics for Relevance-Oriented Acceptance of Admissible Sets of Arguments. CLAR 2021: 94-111 - [c24]Marcos Cramer, Steffen Hölldobler, Marco Ragni:
When are Humans Reasoning with Modus Tollens? CogSci 2021 - 2020
- [c23]Marcos Cramer, Emmanuelle-Anna Dietz Saldanha:
Logic Programming, Argumentation and Human Reasoning. CLAR 2020: 58-79 - [c22]Marcos Cramer, Meghna Bhadra:
Deductive Joint Support for Rational Unrestricted Rebuttal. COMMA 2020: 147-158 - [c21]Marcos Cramer, Jérémie Dauphin:
A First Approach to Argumentation Label Functions. COMMA 2020: 159-166 - [i6]Marcos Cramer, Meghna Bhadra:
Technical Report of "Deductive Joint Support for Rational Unrestricted Rebuttal". CoRR abs/2005.03620 (2020)
2010 – 2019
- 2019
- [c20]Marcos Cramer, Mathieu Guillaume:
Empirical Study on Human Evaluation of Complex Argumentation Frameworks. JELIA 2019: 102-115 - [c19]Marcos Cramer, Leon van der Torre:
SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability. DKB/KIK@KI 2019: 24-35 - [i5]Marcos Cramer, Mathieu Guillaume:
Technical report of "Empirical Study on Human Evaluation of Complex Argumentation Frameworks". CoRR abs/1902.10552 (2019) - [i4]Marcos Cramer, Leendert W. N. van der Torre:
SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability: Technical Report. CoRR abs/1908.08406 (2019) - [i3]Marcos Cramer, Zohreh Baniasadi, Pieter Van Hertum:
Technical report of "The Knowledge Base Paradigm Applied to Delegation Revocation". CoRR abs/1908.11132 (2019) - [i2]Diego Agustín Ambrossio, Marcos Cramer:
A Query-Driven Decision Procedure for Distributed Autoepistemic Logic with Inductive Definitions. CoRR abs/1910.04010 (2019) - 2018
- [c18]Jérémie Dauphin, Marcos Cramer, Leendert W. N. van der Torre:
A Dynamic Approach for Combining Abstract Argumentation Semantics. CLAR 2018: 21-43 - [c17]Marcos Cramer, Mathieu Guillaume:
Empirical Cognitive Study on Abstract Argumentation Semantics. COMMA 2018: 413-424 - [c16]Jérémie Dauphin, Marcos Cramer, Leendert W. N. van der Torre:
Abstract and Concrete Decision Graphs for Choosing Extensions of Argumentation Frameworks. COMMA 2018: 437-444 - [c15]Zohreh Baniasadi, Xavier Parent, Charles Max, Marcos Cramer:
A Model for Regulating of Ethical Preferences in Machine Ethics. HCI (1) 2018: 481-506 - [c14]Marcos Cramer, Mathieu Guillaume:
Directionality of Attacks in Natural Language Argumentation. Bridging@IJCAI/ECAI 2018: 40-46 - 2017
- [j1]Marcos Cramer:
Implicit Dynamic Function Introduction and Ackermann-like FunctionTheory. FLAP 4(4) (2017) - [c13]Marcos Cramer, Giovanni Casini:
Postulates for Revocation Schemes. POST 2017: 232-252 - [c12]Jérémie Dauphin, Marcos Cramer:
ASPIC-END: Structured Argumentation with Explanations and Natural Deduction. TAFA 2017: 51-66 - [c11]Jérémie Dauphin, Marcos Cramer:
Extended Explanatory Argumentation Frameworks. TAFA 2017: 86-101 - 2016
- [c10]Marcos Cramer, Pieter Van Hertum, Ruben Lapauw, Ingmar Dasseville, Marc Denecker:
Resilient Delegation Revocation with Precedence for Predecessors Is NP-Complete. CSF 2016: 432-442 - [c9]Pieter Van Hertum, Marcos Cramer, Bart Bogaerts, Marc Denecker:
Distributed Autoepistemic Logic and its Application to Access Control. IJCAI 2016: 1286-1292 - 2015
- [c8]Marcos Cramer, Jun Pang, Yang Zhang:
A Logical Approach to Restricting Access in Online Social Networks. SACMAT 2015: 75-86 - [c7]Marcos Cramer, Diego Agustín Ambrossio, Pieter Van Hertum:
A Logic of Trust for Reasoning about Delegation and Revocation. SACMAT 2015: 173-184 - 2014
- [i1]Marcos Cramer, Pieter Van Hertum, Diego Agustín Ambrossio, Marc Denecker:
Modelling Delegation and Revocation Schemes in IDP. CoRR abs/1405.1584 (2014) - 2011
- [c6]Marcos Cramer, Peter Koepke, Bernhard Schröder:
Parsing and Disambiguation of Symbolic Mathematics in the Naproche System. Calculemus/MKM 2011: 180-195 - 2010
- [c5]Marcos Cramer, Peter Koepke, Daniel Kühlwein, Bernhard Schröder:
Premise Selection in the Naproche System. IJCAR 2010: 434-440 - [c4]Marcos Cramer, Bernhard Schröder:
Interpreting Plurals in the Naproche CNL. CNL 2010: 43-52 - [c3]Marcos Cramer, Daniel Kühlwein, Bernhard Schröder:
Presupposition Projection and Accommodation in Mathematical Texts. KONVENS 2010: 29-36
2000 – 2009
- 2009
- [c2]Marcos Cramer, Bernhard Fisseni, Peter Koepke, Daniel Kühlwein, Bernhard Schröder, Jip Veldman:
The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts. CNL 2009: 170-186 - [c1]Marcos Cramer, Peter Koepke, Daniel Kühlwein, Bernhard Schröder, Jip Veldman:
The Naproche Project: Controlled Natural Language Proof Checking of Mathematical Texts. CNL (Pre-Proceedings) 2009
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-28 23:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
