Leo-III Version 1.1 (System description)

Benzmüller, Christoph; Steen, Alexander; Wisniewski, Max

Reference : Leo-III Version 1.1 (System description)


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	Focus Areas :	Computational Sciences
	To cite this reference:	http://hdl.handle.net/10993/33703

Title :	Leo-III Version 1.1 (System description)
Language :	English
Author, co-author :	Benzmüller, Christoph [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
	Steen, Alexander [> >]
	Wisniewski, Max [> >]
Publication date :	4-Jun-2017
Main document title :	IWIL Workshop and LPAR Short Presentations
Publisher :	EasyChair
Collection and collection volume :	Kalpa Publications in Computing, Volume 1
Pages :	16
Peer reviewed :	Yes
Audience :	International
City :	Manchester
Country :	UK
Event name :	IWIL Workshop and LPAR Short Presentations
Event date :	7 May 2017
Event organizer :	Thomas Eiter, David Sands, Geoff Sutcliffe and Andrei Voronkov
Event place (city) :	Maun
Event country :	Botswana
Keywords :	[en] Higher Order Logic ; LEO Prover ; Automated Theorem Proving
Abstract :	[en] Leo-III is an automated theorem prover for (polymorphic) higher-order logic which supports all common TPTP dialects, including THF, TFF and FOF as well as their rank-1 polymorphic derivatives. It is based on a paramodulation calculus with ordering constraints and, in tradition of its predecessor LEO-II, heavily relies on cooperation with external first-order theorem provers. Unlike LEO-II, asynchronous cooperation with typed first-order provers and an agent-based internal cooperation scheme is supported. In this paper, we sketch Leo-III's underlying calculus, survey implementation details and give examples of use.
Target :	Researchers ; Professionals ; Students
Permalink :	http://hdl.handle.net/10993/33703
Other URL :	http://www.easychair.org/publications/paper/342979
Commentary :	1

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	Leo-III_Version_1.1_-System_description.pdf		Publisher postprint	768.63 kB	View/Open

All documents in ORBi^lu are protected by a user license.

University of Luxembourg Library | Feedback | Legal notices