Programming Theory

Automating Coherent Logic

Main content

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