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)
- Two new KWARC PostDocs byProf. Dr. Michael Kohlhaseon01 Nov 2018inAnnouncements
- New KWARC Ph.D. Student: Max Rapp byProf. Dr. Michael Kohlhaseon01 Sep 2018inAnnouncements
- New KWARC Ph.D. Student: Jonas Betzendahl byProf. Dr. Michael Kohlhaseon01 Jun 2018inAnnouncements
- KWARC is recruiting: multiple Projects byProf. Dr. Michael Kohlhaseon22 Mar 2018inRecruiting
- New KWARC Ph.D. Student:Tom Wiesing byProf. Dr. Michael Kohlhaseon01 Sep 2017inAnnouncements