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

アイテム詳細

登録内容を編集ファイル形式で保存
 
 
ダウンロード電子メール
 詳細要約
  Perfect Model Semantics for Logic Programs with Equality

Bachmair, L., & Ganzinger, H. (1991). Perfect Model Semantics for Logic Programs with Equality. In Logic Programming (pp. 645-659). Cambridge, Mass.: MIT Press.

Item is

 

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

基本情報

表示: 非表示:
アイテムのパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0023-CED2-7 版のパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0023-CED3-5
資料種別: 会議論文

ファイル

表示: ファイル

関連URL

表示:

作成者

表示:
非表示:
 作成者:
Bachmair, Leo1, 著者           
Ganzinger, Harald1, 著者           
所属:
1External Organizations, ou_persistent22              

内容説明

表示:
非表示:
キーワード: -
 要旨: We develop a perfect model semantics for logic programs with negation and equality. Our approach is based on ordered rewriting, a fundamental technique used in equational programming. A logic program in our sense is a set of first-order clauses with equality together with a well-founded ordering on terms and atoms. We show that any consistent logic program has a unique perfect model, provided the ordering is total on ground expressions. The key to this result is a notion of saturation of a set of formulas (under certain inference rules) together with a related concept of redundancy. Our techniques can be applied to Prolog-programs (without equality), in which case a class of programs can be characterized via the notion of stratification up to redundancy for which unique perfect models exist. This extends previous results on (local and weak) stratification.

資料詳細

表示:
非表示:
言語: eng - English
 日付: 1991
 出版の状態: 出版
 ページ: -
 出版情報: -
 目次: -
 査読: -
 識別子（DOI, ISBNなど）: BibTex参照ID: BachmairGanzinger-91-iclp
 学位: -

関連イベント

表示:
非表示:
イベント名: Eigth International Conference on Logic Programming
開催地: Paris
開始日・終了日: 1991-07-24 - 1991-07-28

訴訟

表示:

Project information

表示:

出版物 1

表示:
非表示:
出版物名: Logic Programming
  副タイトル : proceedings of the eighth International Conference [on Logic Programming, held in Paris, France, June 24 - 28, 1991]
種別: 会議論文集
 著者・編者:
所属:
出版社, 出版地: Cambridge, Mass. : MIT Press
ページ: - 巻号: - 通巻号: - 開始・終了ページ: 645 - 659 識別子（ISBN, ISSN, DOIなど）: ISBN: 0-262-56058-5