AI over Large Formal Knowledge Bases: The First Decade Josef Urban ICIS, RU Nijmegen Abstract: In March 2003, the first version of the Mizar Problems for Theorem Proving (MPTP) was released. In the past ten years, such l

First Page		Document Content
Date: 2013-04-04 00:32:32		AI over Large Formal Knowledge Bases: The First Decade Josef Urban ICIS, RU Nijmegen Abstract: In March 2003, the first version of the Mizar Problems for Theorem Proving (MPTP) was released. In the past ten years, such l Add to Reading List Source URL: staff.computing.dundee.ac.uk Download Document from Source Website File Size: 66,58 KB Share Document on Facebook