diff --git a/systems/frameit.md b/systems/frameit.md new file mode 100644 index 0000000000000000000000000000000000000000..a12568c2d2380304a6b4d4a522e318d2bf506bbc --- /dev/null +++ b/systems/frameit.md @@ -0,0 +1,33 @@ +--- +layout: system + +menu_title: FrameIt +shorttitle: FrameIT +title: The UFrameIT Framework +teaser: A Framework for Serious Games by combining Virtual Worlds with Mathematical Knowledge Management + +start_date: '2013' +orphan: false +people: + - mkohlhase + - dmueller + - rmarcus + - nroux +supported-by: + - oaf + +<!-- logo: public/kwarc_logo.svg --> +website: http://uframeit.github.io +repository: https://github.com/UFrameIT +publink: http://kwarc.github.io/bibs/frameit +--- + +The FrameIT project builds a Framework for Serious Games by combining Virtual Worlds with +Mathematical Knowledge Management. The main idea is that we can use +[MMT](https://kwarc.info/projects/mmt) theory graphs to represent the background knowledge +and [MMT](https://kwarc.info/projects/mmt) pushouts to compute the application of +knowledge in concrete situations. + +The [UFrameIT](https://github.com/UFrameIT) framework uses the +[Unity game engine](http://unity.com) with the [MMT](https://kwarc.info/projects/mmt) +system.