System Demonstration: The Higher-Order Prover Leo-III

Christoph Benzmüller – 2018

The higher-order ATP system Leo-III is demonstrated. Leo-III supports flexible and effective reasoning in every common semantical variation of normal modal logics.

Titel
System Demonstration: The Higher-Order Prover Leo-III
Datum
2018-07
Kennung
ISSN 1613-0073
Erschienen in
Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2018), Vol. 2095, pp. 79-85.
Größe oder Länge
6 pages
BibTeX Code
@inproceedings{W61,
Author = {Alexander Steen and Christoph
Benzm\"uller},
Booktitle = {ARQNL 2018. Automated Reasoning in Quantified
Non-Classical Logics},
Editor = {Christoph Benzm{\"u}ller and Jens Otten},
Keywords = {own, Higher Order Logic, Higher Order Modal Logic},
Publisher = {CEUR Workshop Proceedings, http://ceur-ws.org},
Note = {\url{http://ceur-ws.org/Vol-2095/}},
Url = {http://ceur-ws.org/Vol-2095/paper5.pdf},
Volume = 2095,
Title = {System Demonstration: The Higher-Order Prover {Leo-III}},
Pages = {79-85},
Year = 2018,
}%% Bibtex entry URL: bibtexbrowser.local.php?key=W61&bib=chris.bib