Johannes Fichte: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Emma Dietz (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Mitarbeiter |Vorname=Johannes |Nachname=Fichte |Forschungsgruppe=Wissensverarbeitung |Stellung=Wissenschaftlicher Mitarbeiter |Ehemaliger=0 |Email=johannes.f…“) |
Sebastian Rudolph (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| (16 dazwischenliegende Versionen von 3 Benutzern werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
{{Mitarbeiter | {{Mitarbeiter | ||
|Vorname=Johannes | |Vorname=Johannes K. | ||
|Nachname=Fichte | |Nachname=Fichte | ||
| | |Akademischer Titel=Dr. | ||
|Stellung=Wissenschaftlicher Mitarbeiter | |Stellung=Wissenschaftlicher Mitarbeiter | ||
|Ehemaliger= | |Ehemaliger=1 | ||
|Email=johannes.fichte@ | |Telefon=+49 351 463 43548 | ||
|Publikationen anzeigen= | |Email=johannes.fichte@tu-dresden.de | ||
|Abschlussarbeiten anzeigen= | |Bild=Photo1.jpg | ||
|Info=My work interests in computational complexity theory and its applications. In particular I work on the understanding of the gap between intractability (strong theoretical evidence) and practical efficient solutions (industrial/structured setting). I consider the boolean satisfiability problem (SAT), answer-set programming (ASP), and related formalisms.<br/><br/> | |||
I am happy to supervise theses of motivated students in topics related to my research area. If you have ideas or questions regarding possible topics, please contact me.<br/> | |||
You can also find details on the faculty web page [https://tu-dresden.de/ing/informatik/ki/krr/die-professur/staff/dr-johannes-k-fichte]. | |||
|Info EN=My work interests in computational complexity theory and its applications. In particular I work on the understanding of the gap between intractability (strong theoretical evidence) and practical efficient solutions (industrial/structured setting). I consider the boolean satisfiability problem (SAT), answer-set programming (ASP), and related formalisms.<br/><br/> | |||
I am happy to supervise theses of motivated students in topics related to my research area. If you have ideas or questions regarding possible topics, please contact me.<br/> | |||
You can also find details on the faculty web page [https://tu-dresden.de/ing/informatik/ki/krr/die-professur/staff/dr-johannes-k-fichte]. | |||
|DBLP=http://dblp.uni-trier.de/pers/hd/f/Fichte:Johannes_Klaus | |||
|Google Scholar=https://scholar.google.de/citations?user=-yhf134AAAAJ&hl=en | |||
|Publikationen anzeigen=0 | |||
|Abschlussarbeiten anzeigen=0 | |||
}} | |||
{{Forschungsgebiet Auswahl | |||
|Forschungsgebiet=Answer Set Programming | |||
}} | |||
{{Forschungsgebiet Auswahl | |||
|Forschungsgebiet=Constraint Satisfaction Problems | |||
}} | |||
{{Forschungsgebiet Auswahl | |||
|Forschungsgebiet=Wissensrepräsentation und logisches Schließen | |||
}} | |||
{{Forschungsgebiet Auswahl | |||
|Forschungsgebiet=Logic and Decision Procedures | |||
}} | }} | ||
Aktuelle Version vom 12. Oktober 2021, 15:38 Uhr
Dr. Johannes K. Fichte
Ehemaliges Mitglied
- Ehemals Wissenschaftlicher Mitarbeiter
