Section: Software

Demo Light for Composing Models

Participants : Jan van Eijck [correspondent] , Floor Sietsma.

Characterization:

A2,SO-3,SM-1,EM-2,SDL-2,OC-4

WWW:

http://homepages.cwi.nl/~jve/software/demolight0/

Objective:

Demonstrate epistemic modeling and reasoning

Users:

Students and researchers in application of epistemic logic

Impact:

Demo light makes the theory of epistemic reasoning insightful by offering a Haskell library for experimenting with it.

Engineering:

Demo Light is a Haskell library.