Logic programming and non-monotonic reasoning : proceedings of the second international workshop

著者

• Pereira, Luís Moniz
• Nerode, Anil

書誌事項

Logic programming and non-monotonic reasoning : proceedings of the second international workshop

edited by Luís Moniz Pereira and Anil Nerode

MIT Press, c1993

注記

Papers presented during the workshop held in Lisbon in June 1993

Includes bibliographical references and index

内容説明・目次

内容説明

This is the second in a series of workshops that are bringing together researchers from the theoretical end of both the logic programming and artificial intelligence communities to discuss their mutual interests. This workshop emphasizes the relationship between logic programming and non-monotonic reasoning. Topics Stable Semantics * Autoepistemic Logic * Abduction * Implementation Issues * Well-founded Semantics * Truth Maintenance * Probabilistic Theories * Applications * Default Logic * Diagnosis * Complexity and Theory * Handling Inconsistency

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA20560034
• ISBN:
  • 0262660830
• LCCN: 93017020
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge, Mass.
• ページ数/冊数: vii, 494 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA76.63
  • DC20 : 006.3
• 件名:
  • LCSH : Logic programming -- Congresses
  • LCSH : Reasoning -- Congresses