Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Johannes Fichte
Abschlussarbeiten anzeigen 0  +
Akademischer Titel Dr.  +
Bild By sarameister23-3.jpg  +
DBLP http://dblp.uni-trier.de/pers/hd/f/Fichte:Johannes_Klaus  +
Ehemaliger 0  +
Forschungsgebiet Answer Set Programming + , Constraint Satisfaction Problems + , Wissensrepräsentation und logisches Schließen + , Logic and Decision Procedures +
Forschungsgruppe Wissensverarbeitung +
Forschungsgruppe EN Knowledge Representation and Reasoning +
Gebäude APB  +
Google Scholar https://scholar.google.de/citations?user=-yhf134AAAAJ&hl=en  +
Image Datei:By sarameister23-3.jpg +
Info EN My work interests in computational complex
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 satisfiablity problem (SAT), answer-set programming (ASP), and related formalisms. 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.
arding possible topics, please contact me.  +
Nachname Fichte  +
Name Johannes K. Fichte  +
Publikationen anzeigen 0  +
Raum APB2018 (https://goo.gl/maps/k7iD8kfi5Cu) +
Sprechstunde Beginn 14:30  +
Sprechstunde Ende 15:30  +
Sprechstunde Tag Mi  +
Stellung Wissenschaftlicher Mitarbeiter  +
Telefon +49 351 463 43548  +
Vorname Johannes K.  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
Johannes Fichte + , Johannes Fichte + , Johannes Fichte + , Johannes Fichte +
Kategorien Mitarbeiter
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
19 Dezember 2018 12:10:03  +
E-Mail
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
johannes.fichte@gmail.com  +
verstecke Attribute die hierhin verlinken 
Knowledge Representation and Reasoning Seminar (WS2018) + Lecturer
Academic Skills in Computer Science (SS2018) + , Formale Systeme(WS2018) + , Logic (WS2018) + , SudokuSAT(WS2018) + Tutor
 

 

Bitte den Namen einer Seite angeben, um mit dem Browsen zu beginnen.