Marcos Cramer

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Dr. Marcos Cramer

Wissenschaftlicher MitarbeiterTechnische Universität DresdenInternational Center for Computational Logic Wissensverarbeitung

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.