Update report: LEO-II version 1.5
Benzmüller, Christoph, Sultana, Nik
–arXiv.org Artificial Intelligence
Recent improvements of the LEO-II theorem prover are presented. These improvements include a revised ATP interface, new translations into first-order logic, rule support for the axiom of choice, detection of defined equality, and more flexible strategy scheduling.
arXiv.org Artificial Intelligence
May-14-2013
- Country:
- South America > Venezuela (0.14)
- Europe > Germany (0.14)
- Genre:
- Research Report (0.40)
- Technology: