Marcos Cramer
Publications by Year
Research Areas
Logic, Reasoning, and Knowledge, Multi-Agent Systems and Negotiation, Semantic Web and Ontologies, Access Control and Trust, Logic, programming, and type systems
Most-Cited Works
- → The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts(2010)48 cited
- → Empirical Study on Human Evaluation of Complex Argumentation Frameworks(2019)16 cited
- SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability(2019)
- → How to Frame Understanding in Mathematics: A Case Study Using Extremal Proofs(2021)10 cited
- → Premise Selection in the Naproche System(2010)10 cited
- Directionality of Attacks in Natural Language Argumentation.(2018)
- → Empirical Cognitive Study on Abstract Argumentation Semantics(2018)9 cited
- → A Structured Argumentation Framework for Modeling Debates in the Formal Sciences(2019)8 cited
- → A Logical Approach to Restricting Access in Online Social Networks(2015)8 cited
- → Parsing and Disambiguation of Symbolic Mathematics in the Naproche System(2011)8 cited