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.
ACL seminar, 12-14 June 2008, Oslo, Norway