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)
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
Math Modeling Workshop at FAU; Math-in-the-Middle Ontology
byProf. Dr. Michael Kohlhaseon19 Jan 2017inWorkshops