Logics in AI : European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992 : proceedings

＜図書＞
Logics in AI : European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992 : proceedings

責任表示	D. Pearce, G. Wagner, eds
シリーズ	Lecture notes in computer science ; 633 . Lecture notes in artificial intelligence
データ種別	図書
出版情報	Berlin ; New York : Springer-Verlag , c1992
本文言語	英語
大きさ	viii, 410 p. : ill. ; 25 cm
概要	This volume contains the proceedings of JELIA '92, lesJourn es Europ ennes sur la Logique en IntelligenceArtificielle, or the Third European Workshop on Logics inArtificial Intelligence.The volume co...tains 2 invited addresses and 21 selectedpapers covering such topics as: - Logical foundations of logic programming andknowledge-based systems, - Automated theorem proving, - Partial and dynamic logics, - Systems of nonmonotonic reasoning, - Temporal and epistemic logics, - Belief revision.One invited paper, by D. Vakarelov, is on arrow logics, i.e., modal logics for representing graph information. Theother, by L.M. Pereira, J.J. Alferes, and J.N. Apar cio, ison default theory for well founded semantics with explicitnegation. 続きを見る
電子版へのリンク	https://hdl.handle.net/2324/6798060

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
	: gw	理系図自動書庫	007/L 49	1992		068252192010444		予約・取寄		出庫可能	予約・取寄		出庫可能
	: gw	理系図自動書庫	408/L 49	1992		061232004010585		予約・取寄		出庫可能	予約・取寄		出庫可能

別書名	異なりアクセスタイトル:Logics in artificial intelligence
一般注記	Includes bibliographical references
著者標目	*JELIA (3rd : 1992 : Berlin, Germany) Pearce, David A., 1952- Wagner, G. (Gerd), 1957-
件　名	LCSH:Artificial intelligence -- Congresses 全ての件名で検索 LCSH:Logic -- Congresses 全ての件名で検索
分　類	LCC:Q334 DC20:006.3
書誌ID	1000985771
ISBN	354055887X
NCID	BA18351949
巻冊次	: gw ; ISBN:354055887X : us ; ISBN:038755887X
登録日	2009.09.16
更新日	2017.02.18