The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Marcos Cramer" ( http://dblp.L3S.de/Authors/Marcos_Cramer )

  Author page on DBLP  Author page in RDF  Community of Marcos Cramer in ASPL-2

Publication years (Num. hits)
2009-2017 (15) 2018-2019 (11)
Publication types (Num. hits)
article(6) inproceedings(20)
Venues (Conferences, Journals, ...)
CoRR(5) CNL(2) COMMA(2) SACMAT(2) TAFA(2) Bridging@IJCAI/ECAI(1) Calculemus/MKM(1) CLAR(1) CNL (Pre-Proceedings)(1) CSF(1) DKB/KIK@KI(1) FLAP(1) HCI (1)(1) IJCAI(1) IJCAR(1) JELIA(1) More (+10 of total 18)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 27 publication records. Showing 26 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Diego Agustín Ambrossio, Marcos Cramer A Query-Driven Decision Procedure for Distributed Autoepistemic Logic with Inductive Definitions. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Marcos Cramer, Zohreh Baniasadi, Pieter Van Hertum Technical report of "The Knowledge Base Paradigm Applied to Delegation Revocation". Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Marcos Cramer, Mathieu Guillaume Technical report of "Empirical Study on Human Evaluation of Complex Argumentation Frameworks". Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Marcos Cramer, Leendert W. N. van der Torre SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability: Technical Report. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Marcos Cramer, Leon van der Torre SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability. Search on Bibsonomy DKB/KIK@KI The full citation details ... 2019 DBLP  BibTeX  RDF
1Marcos Cramer, Mathieu Guillaume Empirical Study on Human Evaluation of Complex Argumentation Frameworks. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zohreh Baniasadi, Xavier Parent, Charles Max, Marcos Cramer A Model for Regulating of Ethical Preferences in Machine Ethics. Search on Bibsonomy HCI (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marcos Cramer, Mathieu Guillaume Empirical Cognitive Study on Abstract Argumentation Semantics. Search on Bibsonomy COMMA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jérémie Dauphin, Marcos Cramer, Leendert W. N. van der Torre Abstract and Concrete Decision Graphs for Choosing Extensions of Argumentation Frameworks. Search on Bibsonomy COMMA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jérémie Dauphin, Marcos Cramer, Leendert W. N. van der Torre A Dynamic Approach for Combining Abstract Argumentation Semantics. Search on Bibsonomy CLAR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marcos Cramer, Mathieu Guillaume Directionality of Attacks in Natural Language Argumentation. Search on Bibsonomy Bridging@IJCAI/ECAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Marcos Cramer Implicit Dynamic Function Introduction and Ackermann-like FunctionTheory. Search on Bibsonomy FLAP The full citation details ... 2017 DBLP  BibTeX  RDF
1Marcos Cramer, Giovanni Casini Postulates for Revocation Schemes. Search on Bibsonomy POST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jérémie Dauphin, Marcos Cramer ASPIC-END: Structured Argumentation with Explanations and Natural Deduction. Search on Bibsonomy TAFA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jérémie Dauphin, Marcos Cramer Extended Explanatory Argumentation Frameworks. Search on Bibsonomy TAFA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marcos Cramer, Pieter Van Hertum, Ruben Lapauw, Ingmar Dasseville, Marc Denecker Resilient Delegation Revocation with Precedence for Predecessors Is NP-Complete. Search on Bibsonomy CSF The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pieter Van Hertum, Marcos Cramer, Bart Bogaerts 0001, Marc Denecker Distributed Autoepistemic Logic and its Application to Access Control. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Marcos Cramer, Diego Agustín Ambrossio, Pieter Van Hertum A Logic of Trust for Reasoning about Delegation and Revocation. Search on Bibsonomy SACMAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marcos Cramer, Jun Pang 0001, Yang Zhang 0016 A Logical Approach to Restricting Access in Online Social Networks. Search on Bibsonomy SACMAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marcos Cramer, Pieter Van Hertum, Diego Agustín Ambrossio, Marc Denecker Modelling Delegation and Revocation Schemes in IDP. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Marcos Cramer, Peter Koepke, Bernhard Schröder Parsing and Disambiguation of Symbolic Mathematics in the Naproche System. Search on Bibsonomy Calculemus/MKM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marcos Cramer, Bernhard Schröder Interpreting Plurals in the Naproche CNL. Search on Bibsonomy CNL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marcos Cramer, Peter Koepke, Daniel Kühlwein, Bernhard Schröder Premise Selection in the Naproche System. Search on Bibsonomy IJCAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marcos Cramer, Daniel Kühlwein, Bernhard Schröder Presupposition Projection and Accommodation in Mathematical Texts. Search on Bibsonomy KONVENS The full citation details ... 2010 DBLP  BibTeX  RDF
1Marcos Cramer, Bernhard Fisseni, Peter Koepke, Daniel Kühlwein, Bernhard Schröder, Jip Veldman The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts. Search on Bibsonomy CNL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marcos Cramer, Peter Koepke, Daniel Kühlwein, Bernhard Schröder, Jip Veldman The Naproche Project: Controlled Natural Language Proof Checking of Mathematical Texts. Search on Bibsonomy CNL (Pre-Proceedings) The full citation details ... 2009 DBLP  BibTeX  RDF
Displaying result #1 - #26 of 26 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license