Select a tag to browse associated projects and drill deeper into the tag cloud.
Kipler is an object-oriented tableau framework for rapid development of (modalized) description logic reasoners.It also comes with readily implemented decision procedures for some of these logics. A decision procedure for such a logic can be implemented by (programmatically) extending the classes ... [More]
This is a project with the primary purpose to provide source code for Tableau [white|black|green]Board Processing. The first algorithm developted is described on paper published on CBDAR 2007 in Curitiba, Brazil. "Processing Teaching-Board Images Acquired with Portable Digital ... [More]
This suite of tools consists of: hylores : a resolution-based theorem prover for the hybrid logic H(@,A,D,◇¯,↓) htab : a tableaux-based theorem prover for the hybrid logic H(@,A,D,◇¯,↓) with role inclusion hylolib : the common library used by the other provers gridtest : a framework to ... [More]
tableau-parm is an small command line utility designed to interact with Tableau forensic write blockers. It performs functions similar to the Tableau Disk Monitor, except that it operates under select UNIX platforms.