Logic programming and knowledge representation : third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997 : selected papers

>> Google Books

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. : ill. ; 24 cm

著者名:

シリーズ名:

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

書誌ID:

BA37770960

ISBN:

9783540649588 [3540649581]

子書誌情報

所蔵情報

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

詳細

主題:	Knowledge representation (Information theory)--Congresses; Logic programming--Congresses
分類・件名:	LCC : QA76.63 DDC : 005.1/15 LCSH : Logic programming -- Congresses LCSH : Knowledge representation (Information theory) -- Congresses
LCCN:	98038787
注記:	Includes bibliographical references
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

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 図書 Logics in artificial intelligence : European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998 : proceedings JELIA, Dix, J. (Jürgen), 1961-, Fariñas del Cerro, Luis, Furbach, Ulrich Springer
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 図書 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
3 図書 Logic programming and non-monotonic reasoning : proceedings of the second international workshop Pereira, Luís Moniz, Nerode, Anil, 1932- MIT Press	9 図書 Logics in artificial intelligence : European Workshop, JELIA '96, Évora, Portugal, September 30 -- October 3, 1996 : proceedings JELIA, Alferes, José Júlio, Pereira, Luís Moniz, Orlowska, Ewa Springer
4 図書 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	10 電子ブック Computational Logic in Multi-Agent Systems : 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited … Dix, Jurgen, Leite, Joao, SpringerLink (Online service) Springer-Verlag Berlin/Heidelberg
5 図書 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	11 図書 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
6 図書 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	12 図書 Proceedings of the Third International Workshop on Natural Language Understanding and Logic Programming, Stockholm, Sweden, 23-25 January, 1991 International Workshop on Natural Language Understanding and Logic Programming, Brown, Charles Grant, Koch, Gregers Elsevier