Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Wissensverarbeitung
Beschreibung DE Die Professur Wissensverarbeitung untergli
Die Professur Wissensverarbeitung untergliedert sich gegenwärtig in zwei Schwerpunkte: menschliches Schließen in Logikprogramme abzubilden, und das Erfüllbarkeitsproblem und damit verwandte Probleme maschinell zu lösen. Auf beiden Gebieten wird sowohl aktiv geforscht, als auch Lehre mit aktuellsten Inhalten gehalten.
h Lehre mit aktuellsten Inhalten gehalten.  +
Beschreibung EN The Knowledge Representation and Reasoning
The Knowledge Representation and Reasoning group has two major parts: human reasoning and solving the satisfiability testing and related decision and discrete optimization problems. In both areas we focus on research, and on the other hand teach with most recent research results.
d teach with most recent research results.  +
Bild Kiwv-group-picture.jpg  +
Forschungsgruppenleiter Steffen Hölldobler +
Kurzname KRR  +
Name Wissensverarbeitung  +
Name EN Knowledge Representation and Reasoning  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
Wissensverarbeitung + , Wissensverarbeitung + , Wissensverarbeitung + , Wissensverarbeitung + , Wissensverarbeitung + , Wissensverarbeitung + , Wissensverarbeitung + , Wissensverarbeitung + , Wissensverarbeitung + , Wissensverarbeitung + , Wissensverarbeitung + , Wissensverarbeitung + , Wissensverarbeitung + , Wissensverarbeitung + , Wissensverarbeitung + , Wissensverarbeitung + , Wissensverarbeitung + , Wissensverarbeitung + , Wissensverarbeitung + , Wissensverarbeitung + , Wissensverarbeitung + , Wissensverarbeitung + , Wissensverarbeitung + , Wissensverarbeitung +
Kategorien Forschungsgruppe
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
17 Juni 2015 08:03:51  +
verstecke Attribute die hierhin verlinken 
11th European Conference on Logics in Artificial Intelligence (JELIA-2008) + , 17. WLP - Workshop Logic Programming + , 22nd Workshop on (Constraint) Logic Programming 2008 + , 29th Workshop on (Constraint) Logic Programming (WLP 2015) + , 38th German Conference on Artificial Intelligence + , Academic Skills in Computer Science (SS2018) + , Article1303 + , Article3011 + , Article3014 + , Article3015 + , Award1001 + , Award1004 + , Award1005 + , Award1007 + , Award1008 + , Award1011 + , Award1013 + , Award1015 + , Award1016 + , Award1024 + ... Forschungsgruppe
 

 

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