日本語
 
Help Privacy Policy ポリシー/免責事項
  詳細検索ブラウズ

アイテム詳細

登録内容を編集ファイル形式で保存
 
 
ダウンロード電子メール
 詳細要約
  A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance

Suda, M., & Weidenbach, C. (2012). A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance. In B., Gramlich, D., Miller, & U., Sattler (Eds.), Automated Reasoning (pp. 537-543). Berlin: Springer.

Item is

 

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

基本情報

表示: 非表示:
アイテムのパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0014-B7CC-2 版のパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0023-C297-9
資料種別: 会議論文
LaTeX : A {PLTL}-Prover Based on Labelled Superposition with Partial Model Guidance

ファイル

表示: ファイル

関連URL

表示:

作成者

表示:
非表示:
 作成者:
Suda, Martin1, 著者           
Weidenbach, Christoph1, 著者           
所属:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

内容説明

表示:
非表示:
キーワード: -
 要旨: Labelled superposition (LPSup) is a new calculus for PLTL. One of its distinguishing features, in comparison to other resolution-based approaches, is its ability to construct partial models on the fly. We use this feature to design a new decision procedure for the logic, where the models are effectively used to guide the search. On a representative set of benchmarks, our implementation is then shown to considerably advance the state of the art.

資料詳細

表示:
非表示:
言語: eng - English
 日付: 2012
 出版の状態: 出版
 ページ: -
 出版情報: -
 目次: -
 査読: -
 識別子（DOI, ISBNなど）: DOI: 10.1007/978-3-642-31365-3_42
BibTex参照ID: SudaWeidenbachIJCAR2012
その他: Local-ID: BED98A2F132CC156C1257AD10038A23D-SudaWeidenbachIJCAR2012
 学位: -

関連イベント

表示:
非表示:
イベント名: 6th International Joint Conference on Automated Reasoning
開催地: Manchester, UK
開始日・終了日: 2012-06-26 - 2012-06-29

訴訟

表示:

Project information

表示:

出版物 1

表示:
非表示:
出版物名: Automated Reasoning
  副タイトル : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
  省略形 : IJCAR 2012
種別: 会議論文集
 著者・編者:
Gramlich, Bernhard1, 編集者
Miller, Dale1, 編集者
Sattler, Uli1, 編集者
所属:
1 External Organizations, ou_persistent22            
出版社, 出版地: Berlin : Springer
ページ: - 巻号: - 通巻号: - 開始・終了ページ: 537 - 543 識別子（ISBN, ISSN, DOIなど）: ISBN: 978-3-642-31364-6

出版物 2

表示:
非表示:
出版物名: Lecture Notes in Artificial Intelligence
  省略形 : LNAI
種別: 連載記事
 著者・編者:
所属:
出版社, 出版地: -
ページ: - 巻号: 7364 通巻号: - 開始・終了ページ: - 識別子（ISBN, ISSN, DOIなど）: ISSN: 0302-9743