Repository navigation
Release History
Release date: 2009-11-29
- Now reporting when the Lua compiler fails due to a syntax error. Unfortunately, this doesn’t include where the error occurred, as I don’t know how to get that information (luaj needs more documentation).
Release date: 2009-11-11
- Fixed a bug where oops.Theory():satisfiable(“p”) would create infinite recursion.
- Improved labels on nodes in model visualization
Release date: 2009-11-09
Now releasing as a jar-with-dependencies thanks to moving the build over to Maven2. This means one-click run from the released ZIP file is now possible. Previously it was necessary to unpack the entire archive to a new directory.
Release date: 2009-07-01
Authors: Gert van Valkenhoef
Timeframe: May 2009 – July 2009
Extensions:
- Integrated Lua scripting
- Finished counter-model generation
- GUI
Release date: 2008-08-19
Authors: Gert van Valkenhoef
Supervisor: Rineke Verbrugge
Timeframe: Jan 2008 – May 2008
Context: AI Master minor project
Credit: 12 ECTS
In this project, Gert has done further work on OOPS, which includes:
- Refactoring and improvements to testing
- Proof of soundness and completeness
- Visualization of tableaux and Kripke structures
- Evaluation of correctness
- Estimation of computational complexity
- Empirical test of efficiency
- Comparison to other proof systems
This version supports ‘-jar’ invocation of OOPS, packaged for use in the MAS 2007-2008 course.
Release date: 2007-05-11
Authors: Gert van Valkenhoef, Elske van der Vaart
Timeframe: Mar 2007 – May 2007
Context: Multi-Agent Systems (AI Master course) project
Credit: 2 ECTS per person (approximately)
During this initial project, Gert and Elske created the main tableau system ingredients: a parser for modal formulas and a tableau system capable of proving S5n formulas.