Skip to content
Snippets Groups Projects
Normal view Permalink
intro.md 904 B
Newer Older
  • Learn to ignore specific revisions
    • Michael Kohlhase's avatar
    first skeleton
    Michael Kohlhase committed
    1 2 3 4 5 6 7 8 9 10 11 12 13 
    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](http://kwarc.info/semantics.html#fm) 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](http://kwarc.info/semantics.html#ssem) in technical documents. This
level of markup allows for offering interesting
[knowledge management services](http://kwarc.info/projects/) without forcing the author to
formalize the document contents.