The ability to represent knowledge about the world and to draw logical inferences is one of the central components of intelligent behavior, as a consequence, reasoning components of some form are at the heart of many artificial intelligence systems.
The KWARC research group conducts research in knowledge representation and reasoning techniques with a view towards applications in knowledge management. We extend techniques from formal methods so that they can be used in settings where formalization is either infeasible or too costly. We concentrate on developing techniques for marking up the structural semantics in technical documents. This level of markup allows for offering interesting knowledge management services without forcing the author to formalize the document contents.
Recent News (see all)
- KWARC is recruiting: multiple Projects byProf. Dr. Michael Kohlhaseon22 Mar 2018inRecruiting
- Workshop on Modular Knowledge (Tetrapod), FLoC 2018 byM.Sc. Dennis Mülleron01 Sep 2017inevent
- KWARC is recruiting (multiple Projects) byProf. Dr. Michael Kohlhaseon01 May 2017inRecruiting
- First OpenDreamKit Review byProf. Dr. Michael Kohlhaseon26 Apr 2017inAnnouncementsODK
- Report on the WP6-WIAS Workshop on Math-in-the-Middle Content byProf. Dr. Michael Kohlhaseon24 Mar 2017inWorkshops