Reference : Capability Discovery for Automated Reasoning Systems

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

Title :	Capability Discovery for Automated Reasoning Systems
Language :	English
Author, co-author :	Steen, Alexander [Freie Universität Berlin]
	Wisniewski, Max [Freie Universität Berlin]
	Schurr, Hans-Jörg [Freie Universität Berlin]
	Benzmüller, Christoph [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Publication date :	4-Jun-2017
Main document title :	IWIL Workshop and LPAR Short Presentations
Publisher :	EasyChair
Collection and collection volume :	Kalpa Publications in Computing
Pages :	6
Peer reviewed :	Yes
Audience :	International
City :	Maun, Botswana
Event name :	IWIL Workshop
Event date :	7 May 2017
Event organizer :	Stephan Schulz (IWIL 2017) Josef Urban (IWIL 2017)
Event place (city) :	Maun, Botswana
Keywords :	[en] LEO Prover ; Higher Order Logic ; Polymorphism Automated Reasoning
Abstract :	[en] Automated reasoning systems such as theorem provers often employ interaction or cooperation with further reasoning software. Whereas in most cases the concrete choice of cooperating software is, to some extent, irrelevant, these systems are nevertheless often rigid in practice due to compatibility issues. In order to support more flexible cooperation schemes, a machine-readable description format for automated reasoning systems' capabilities is proposed. Additionally, a simple HTTP-based protocol for system and capability discovery is outlined. Both the format and the protocol are designed to be simple, extensible and easy to use with none to minor modifications for existing reasoning systems.
Target :	Researchers ; Professionals ; Students
Permalink :	http://hdl.handle.net/10993/33701
Other URL :	http://www.easychair.org/publications/paper/346850
Commentary :	1

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Open access Capability_Discovery_for_Automated_Reasoning_Systems.pdf Publisher postprint 300.64 kB View/Open

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

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map