EPILOG

Epilog is a reasoner for Episodic logic. The main page for Episodic logic and epilog is http://www.cs.rochester.edu/research/epilog/

Here we have worked on adding a few features to the system including: support for knowledge retraction, improvements to knowledge indexing and equality handling.

2011 - 2013
NSF RI

NLD Group Leaders