MCS-IE: Multi-Context Systems Inconsistency Explainer

Download & Build

If you just want to play around with MCS-IE, you can use the MCS-IE Example Workbench, which is an interactive online demo website with MCS-IE in the background.

MCS-IE is hosted at Sourceforge within the dlvhex project. It is implemented as a plugin to dlvhex, so you will need to obtain dlvhex too.

Obtaining Source Code

You can get the latests sourcecode from Sourceforge as follows: 

$ svn co https://dlvhex.svn.sf.net/svnroot/dlvhex/dlvhex-mcs/mcs-ie/trunk mcsie_plugin

Building

For building MCS-IE you need an installed dlvhex, you will also need at least Boost v1.41.

Building MCS-IE and running the testsuite is done by the following commands: 

$ ./bootstrap.sh
$ ./configure
$ make
$ make check
You probably need to give some options for ./configure, e.g., the location of your boost headers and libs is specified via --with-boost=.... You can run ./configure --help for possible parameters.

Loading

 

Links

MCS-IE Online Demo

dlvhex
HEX-Programs

Knowledge Based Systems Group

Research Project:
  Inconsistency Management for
  Knowledge Integration Systems

 

Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.