Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings
著者
書誌事項
Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings
(Lecture notes in computer science, 619 . Lecture notes in artificial intelligence)
Springer-Verlag, c1992
- : gw
- : us
大学図書館所蔵 全44件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
"First All-Berlin Workshop on Nonclassical Logics and Information Processing"--Pref
Includes bibliographical references
内容説明・目次
内容説明
This volume comprises the proceedings of the First
All-Berlin Workshop on Nonclassical Logics and Information
Processing, held at the Free University of Berlin, November
9-10, 1990.
The scope of the ten papers in the volume is broad, covering
various different subfields of logic - particularly
nonclassical logic - and its applications in artificial
intelligence. The papers are grouped according to the four
major topics that emerged at the meeting: modal systems,
logic programming, nonmonotonic logics, and proof theory.
The classification is only a rough guide since the four
areas overlap considerably.
目次
Algebraic aspects of the relational knowledge representation: Modal relation algebras.- A logic for memory.- Actions with preconditions and postconditions.- Testclasses and closed world assumptions for non-horn theories.- Reasoning with negative information, II: Hard negation, strong negation and logic programs.- Lindenbaum-algebraic semantics of logic programs.- Conditional logics and cumulative logics.- Semantics of nonmonotonic reasoning in logic programming.- Formulas-as-types for a hierarchy of sublogics of intuitionistic propositional logic.- Cut-elimination in logics with definitional reflection.
「Nielsen BookData」 より