Capability Discovery for Automated Reasoning Systems

6 pages•Published: June 4, 2017

Alexander Steen, Max Wisniewski, Hans-Jörg Schurr and Christoph Benzmüller

Abstract

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.

In: Thomas Eiter, David Sands, Geoff Sutcliffe and Andrei Voronkov (editors). IWIL Workshop and LPAR Short Presentations, vol 1, pages 113-118.

Links:	https://easychair.org/publications/paper/SfX
	https://doi.org/10.29007/fsv3

BibTeX entry

@inproceedings{LPAR-21S:Capability_Discovery_Automated_Reasoning,
  author    = {Alexander Steen and Max Wisniewski and Hans-Jörg Schurr and Christoph Benzmüller},
  title     = {Capability Discovery for Automated Reasoning Systems},
  booktitle = {IWIL Workshop and LPAR Short Presentations},
  editor    = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov},
  series    = {Kalpa Publications in Computing},
  volume    = {1},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/SfX},
  doi       = {10.29007/fsv3},
  pages     = {113-118},
  year      = {2017}}

Download PDF Open PDF in browser