External Sources of Axioms in Automated Theorem Proving

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F09%3A00206646" target="_blank" >RIV/00216208:11320/09:00206646 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

External Sources of Axioms in Automated Theorem Proving

Popis výsledku v původním jazyce

Automatic Theorem Proving (ATP) problems in large theories often have more axioms than can be effectively handled in memory. This work adresses the issues of accessing external sources of axioms from a first-order logic ATP system.

Název v anglickém jazyce

External Sources of Axioms in Automated Theorem Proving

Popis výsledku anglicky

Automatic Theorem Proving (ATP) problems in large theories often have more axioms than can be effectively handled in memory. This work adresses the issues of accessing external sources of axioms from a first-order logic ATP system.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2009

Kód důvěrnosti údajů

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

Název statě ve sborníku

KI 2009: Advances in Artificial Intelligence

ISBN

978-3-642-04616-2

ISSN

—

e-ISSN

—

Počet stran výsledku

8

Strana od-do

—

Název nakladatele

Springer

Místo vydání

Berlin

Místo konání akce

Berlin

Datum konání akce

1. 1. 2009

Typ akce podle státní příslušnosti

EUR - Evropská akce

Kód UT WoS článku

—