External Sources of Axioms in Automated Theorem Proving

Suda, Martin; Wischnewski, Patrick; Lamotte-Schubert, Manuel; de Melo, Gerard

doi:10.1007/978-3-642-04617-9_36

External Sources of Axioms in Automated Theorem Proving

Suda, M., Wischnewski, P., Lamotte-Schubert, M., & de Melo, G. (2009). External Sources of Axioms in Automated Theorem Proving. In KI 2009: Advances in Artificial Intelligence (pp. 281-288). Berlin: Springer.

Item is 公開

表示: 全項目非表示: 全項目

基本情報

表示: 非表示:

アイテムのパーマリンク: https://hdl.handle.net/11858/00-001M-0000-000F-1A56-A 版のパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0024-3606-A

資料種別: 会議論文

ファイル

表示: ファイル

非表示: ファイル

:

ki2009.pdf (全文テキスト（全般）), 168KB

ファイルのパーマリンク:
-

ファイル名:
ki2009.pdf

説明:
-

OA-Status:

閲覧制限:
非公開

MIMEタイプ / チェックサム:
application/pdf

技術的なメタデータ:

著作権日付:
-

著作権情報:
-

CCライセンス:
-

作成者

表示:

非表示:

作成者:
Suda, Martin¹, 著者
Wischnewski, Patrick¹, 著者
Lamotte-Schubert, Manuel¹, 著者
de Melo, Gerard², 著者

所属:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545
2Databases and Information Systems, MPI for Informatics, Max Planck Society, ou_24018

内容説明

表示:

非表示:

キーワード: -

要旨: In recent years there has been a growing demand for Automated Theorem Proving (ATP) in large theories, which often have more axioms than can be handled effectively as normal internal axioms. This work addresses the issues of accessing \emph{external sources of axioms} from a first-order logic ATP system, and presents an implemented ATP system that retrieves external axioms asynchronously, on demand.

資料詳細

表示:

非表示:

言語: eng - English

日付: 出版: 2009

出版の状態: 出版

ページ: -

出版情報: -

目次: -

査読: -

識別子（DOI, ISBNなど）: eDoc: 521096
その他: Local-ID: C125716C0050FB51-5F9C30C56EF6409EC12576BD002A2CED-SudaSutcliffeWischnewskiLamotteKI2009
DOI: 10.1007/978-3-642-04617-9_36

学位: -

訴訟

表示:

Project information

表示:

出版物 1

表示:

非表示:

出版物名: KI 2009: Advances in Artificial Intelligence

副タイトル : 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings

種別: 会議論文集

著者・編者:

所属:

出版社, 出版地: Berlin : Springer

ページ: - 巻号: - 通巻号: - 開始・終了ページ: 281 - 288 識別子（ISBN, ISSN, DOIなど）: ISBN: 978-3-642-04616-2

出版物 2

表示:

非表示:

出版物名: Lecture Notes in Computer Science

省略形 : LNCS

種別: 連載記事

著者・編者:

所属:

出版社, 出版地: -

ページ: - 巻号: 5803 通巻号: - 開始・終了ページ: - 識別子（ISBN, ISSN, DOIなど）: -

アイテム詳細

基本情報

ファイル

関連URL

作成者

内容説明

資料詳細

関連イベント

訴訟

Project information

出版物 1

出版物 2