Reuse of Introduced Symbols in Automatic Theorem Provers

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21730%2F22%3A00373666" target="_blank" >RIV/68407700:21730/22:00373666 - isvavai.cz</a>

Alternative codes found

RIV/68407700:21730/22:00364226

Result on the web

<a href="https://ceur-ws.org/Vol-3201/paper10.pdf" target="_blank" >https://ceur-ws.org/Vol-3201/paper10.pdf</a>

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Reuse of Introduced Symbols in Automatic Theorem Provers

Original language description

Automatic theorem provers may introduce fresh function or predicate symbols for various reasons. Sometimes, such symbols can be reused. We describe a simple form of symbol reuse in the first-order system Vampire, investigate its practical effect, and propose future schemes for more aggressive reuse.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

<a href="/en/project/GJ20-06390Y" target="_blank" >GJ20-06390Y: Powering Automatic Theorem Provers by Machine Learning</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2022

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022) - PAAR 2022

ISBN

—

ISSN

1613-0073

e-ISSN

1613-0073

Number of pages

11

Pages from-to

—

Publisher name

CEUR Workshop Proceedings

Place of publication

Aachen

Event location

Haifa

Event date

Aug 11, 2022

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—