Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings

Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings

フォーマット:

図書

責任表示:

G. Brewka, K.P. Jantke, P.H. Schmitt, (eds.)

言語:

英語

出版情報:

Berlin ; New York : Springer-Verlag, c1993

形態:

viii, 332 p. ; 24 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 659 . Lecture notes in artificial intelligence <BA00009279>

書誌ID:

BA19702404

ISBN:

9783540564331 [3540564330] (: gw)

9780387564333 [0387564330] (: us)

子書誌情報

所蔵情報

タイトルが類似している資料

書誌詳細

主題:	Artificial intelligence--Congresses; Logic programming--Congresses
分類・件名:	LCC : QA76.63 DDC : 006.3 NDC8 : 007.1 LCSH : Logic programming -- Congresses LCSH : Artificial intelligence -- Congresses
LCCN:	92046636
注記:	Proceedings of revised and extended papers presented at the second International Workshop on Nonmonotonic and Inductive Logic, NIL '91, which took place at Reinhardsbrunn Castle, Dec. 2-6, 1991 Includes bibliographical references
タイトル言語:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990 : proceedings Dix, J. (Jürgen), 1961-, International Workshop on Nonmonotonic and Inductive Inference, Jantke, Klaus P., Schmitt, P. … Springer-Verlag	7 図書 Analogical and inductive inference : International Workshop AII '86, Wendisch-Rietz, GDR, October 6-10, 1986 : proceedings International Workshop AII, Jantke, Klaus P. Springer-Verlag
2 図書 Analogical and inductive inference : International Workshop AII '89, Reinhardsbrunn Castle, GDR, October 1-6, 1989, proceedings International Workshop AII, Jantke, Klaus P. Springer-Verlag	8 図書 Processing declarative knowledge : International Workshop PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings Processing Declarative Knowledge, Boley, H., Richter, Michael M., 1938- Springer Verlag
3 図書 Analogical and inductive inference : International Workshop AII '92, Dagstuhl Castle, Germany, October 5-9, 1992 : proceedings International Workshop AII, Jantke, Klaus P. Springer-Verlag	9 図書 Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings LPNMR, Gelfond, Michael, Leone, Nicola, Pfeifer, Gerald Springer
4 図書 Algorithmic learning theory : 4th International Workshop on Analogical and Inductive Inference, AII '94 [and] 5th International Workshop on Algorithmic Learning … International Workshop AII, 有川, 節夫, Jantke, Klaus P., International Workshop on Algorithmic Learning Theory Springer-Verlag	10 図書 Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings JELIA, Eijck, J. van (Jan) Springer-Verlag
5 図書 Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991 : proceedings International Workshop on Extensions of Logic Programming, Eriksson, L.-H. (Lars-Henrik), 1960-, Hallnäs, Lars, … Springer-Verlag	11 図書 Logic programming : proceedings of the seventh international conference International Conference on Logic Programming, Warren, David H. D., Szeredi, Peter, 1949- MIT Press
6 図書 Extensions of logic programming : international workshop, Tübingen, FRG, December 8-10, 1989, proceedings Schroeder-Heister, Peter Joseph, 1953-, International Workshop on Extensions of Logic Programming Springer-Verlag	12 図書 Inductive logic programming : 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings ILP, Lavrač, Nada, Džeroski, Sašo, 1968- Springer