Marcos Cramer

Dr. Marcos Cramer

Wissenschaftlicher MitarbeiterTechnische Universität Dresdenhttp://www.tu-dresden.deInternational Center for Computational Logichttps://iccl.inf.tu-dresden.de Wissensverarbeitung

• DBLP
• Google Scholar

•   marcos.cramer@tu-dresden.de
•   +49 351 463 38426
•   APB2020

In my research, I apply logic-based methods from knowledge representation and reasoning to model actual human reasoning. The focus of my research is on combining methods from formal argumentation theory, natural language semantics, epistemic logic and philosophical logic to formally model the mathematical, philosophical and logical reasoning of humans.

• Publikationen
• Lehre

Neueste Publikationen

Komplette Publikationsliste anzeigen

Marcos Cramer, Meghna Bhadra
Deductive Joint Support for Rational Unrestricted Rebuttal
Computational Models of Argument, 2020. IOS Press
Details

Komplette Publikationsliste anzeigen

Lehrveranstaltungen

• Theoretische Informatik und Logik (SS 2024)
• Courses by the KRR Group (WS 2020)
• Parameterized Algorithms and Implementations for SAT and Generalizations (SS 2020)
• Science of Computational Logic (WS 2019)
• Theoretische Informatik und Logik (SS 2019)
  
  weitere Lehrveranstaltungen anzeigen