1999 – 2003 | Valens – internal project

///1999 – 2003 | Valens – internal project
1999 – 2003 | Valens – internal project 2017-10-05T12:48:49+00:00

Project Description

Design and implementation of a methodology “proof by processing” to verify a knowledge base. This methodology is implemented in a tool “Valens” which can detect logical faults like inconsistency, incompleteness and redundancy.

Project Details