Marcos Cramer: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcos Cramer (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Marcos Cramer (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 6: | Zeile 6: | ||
|Stellung=Wissenschaftlicher Mitarbeiter | |Stellung=Wissenschaftlicher Mitarbeiter | ||
|Ehemaliger=0 | |Ehemaliger=0 | ||
|Telefon=+49 351 463 38426 | |||
|Email=marcos.cramer@tu-dresden.de | |Email=marcos.cramer@tu-dresden.de | ||
|Raum=APB2020 | |Raum=APB2020 | ||
|Bild=Mi.jpg | |||
|Info=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. | |Info=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. | ||
|Info EN=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. | |||
|DBLP=https://dblp.uni-trier.de/pers/hd/c/Cramer:Marcos | |||
|Google Scholar=https://scholar.google.de/citations?hl=en&user=ODViFjwAAAAJ | |||
|Publikationen anzeigen=1 | |Publikationen anzeigen=1 | ||
|Abschlussarbeiten anzeigen=1 | |Abschlussarbeiten anzeigen=1 | ||
}} | }} | ||
Version vom 21. August 2019, 12:19 Uhr
Dr. Marcos Cramer
Wissenschaftlicher Mitarbeiter Wissensverarbeitung
- 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.
Neueste Publikationen
Komplette Publikationsliste anzeigen
Marcos Cramer, Meghna Bhadra
Deductive Joint Support for Rational Unrestricted Rebuttal
Computational Models of Argument, 2020. IOS Press
Details
