東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: #Nonmonotonic reasoning)
該当件数:10件
Conditionals in nonmonotonic reasoning and belief revision : considering conditionals as agents / Gabriele Kern-Isberner
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2087 . Lecture notes in artificial intelligence)
図書
Nonmonotonic reasoning : an overview / Gerhard Brewka, Jürgen Dix, and Kurt Konolige
Stanford, Calif. : CSLI Publications , c1997. - (CSLI lecture notes ; no. 73)
Logic programming and nonmonotonic reasoning : 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings / Thomas Eiter, Wolfgang Faber, Mirosław Truszczyński (eds)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2173 . Lecture notes in artificial intelligence)
Nonmonotonic logics : basic concepts, results, and techniques / Karl Schlechta
Berlin : Springer , c1997. - New York. - (Lecture notes in computer science ; 1187 .). - (Lecture notes in computer science ; 187 .)
Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers / Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.)
Berlin : Springer , c1997. - (Lecture notes in computer science ; 1216 . Lecture notes in artificial intelligence)
Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings / Jürgen Dix, Ulrich Furbach, Anil Nerode, (eds.)
Berlin : Springer , c1997. - (Lecture notes in computer science ; 1265 . Lecture notes in artificial intelligence)
Berlin : Springer , c1997. - New York. - (Lecture notes in computer science ; 1187 . Lecture notes in artificial intelligence)
Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings / Michael Gelfond, Nicola Leone, Gerald Pfeifer (eds.)
Berlin : Springer , c1999. - (Lecture notes in computer science ; 1730 . Lecture notes in artificial intelligence)