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 overview (2009) Project overview (2009) Final (2013)
Annual report 2007, 2008, 2009, 2010, 2011, 2012
ACL seminar, 12-14 June 2008, Oslo, Norway