There has not been added a translated version of this content. You can either try searching or go to the "area" home page to see if you can find the information there

Automating Coherent Logic

Automating Coherent Logic (ACL) is a NFR funded research project initiated by the University of Bergen and the University of Oslo in September 2007. The project aims at building a so-called theorem prover, a computer program which supports the development of formal proofs. Applications range from mathematics to the so-called semantic web, where one reasons about Internet content.

Project description

Project overview (2009)  Project overview (2009)  Final (2013)

Annual report 2007, 2008, 2009, 2010, 2011, 2012