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)
- New MMT Version (16.0.0) Released byM.Sc. Dennis Mülleron24 Mar 2019inAnnouncements
- Kicking off a survey of mathematical data collections byDr. Katja Berčičon19 Dec 2018inAnnouncements
- New MMT-Plugin for IntelliJ byM.Sc. Dennis Mülleron19 Dec 2018inAnnouncements
- DiscreteZOO back online byDr. Katja Berčičon19 Dec 2018inAnnouncements
- New MMT Version (15.0.0) Released byM.Sc. Dennis Mülleron18 Dec 2018inAnnouncements