Logic programming and knowledge representation : third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997 : selected papers | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Logic programming and knowledge representation : third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997 : selected papers / Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds

資料種別:

図書

出版情報:

Berlin : Springer, c1998

形態:

viii, 246 p. ; 24 cm

シリーズ名:

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

著者名:

ISBN:

9783540649588 [3540649581]

書誌ID:

BA37770960

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references
主題:	Knowledge representation (Information theory)--Congresses; Logic programming--Congresses
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers NMELP, Dix, J. (Jürgen), 1961-, Pereira, Luís Moniz, Przymusinski, Teodor C., 1947- Springer	7 図書 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
2 図書 Non-monotonic extensions of logic programming : ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers International Conference on Logic Programming, Pereira, Luís Moniz, Przymusinski, Teodor C., 1947-, Gupta, G., 1963-, … Springer-Verlag	8 図書 Logic program synthesis and transformation : 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings International Workshop on Logic Program Synthesis and Transformation, Fuchs, N. E. (Norbert E.) Springer
3 電子ブック Non-Monotonic Extensions of Logic Programming Dix, Jürgen, Pereira, Luís Moniz, Przymusinski, Teodor C. SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg	9 図書 Algebraic and logic programming : 6th International Joint Conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings Hanus, Michael, Heering, J, Meinke, K. (Karl), International Conference on Algebraic and Logic Programming, … Springer-Verlag
4 図書 Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings LPNMR, Dix, J. (Jürgen), 1961-, Furbach, Ulrich, Nerode, Anil, 1932- Springer	10 図書 Principles of knowledge representation and reasoning : proceedings of the third international conference (KR '92) Nebel, Bernhard, 1956-, Rich, Charles, 1951-, Swartout, William R, International Conference on Principles of Knowledge … M. Kaufmann
5 図書 Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, … International Seminar on Logic Database and the Meaning of Change, Freitag, Burkhard, 1953-, Post-Conference Workshop on … Springer	11 図書 Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings International Workshop, META, Pettorossi, A. (Alberto), 1947- Springer-Verlag
6 図書 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	12 図書 Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings International Workshop on Extensions of Logic Programming, Lamma, E. (Evelina), 1960-, Mello, P. (Paula), 1958- Springer-Verlag

1

2

3

4

5

6

7

8

9

10

11

12