| 卷 |
题名
|
责任者
|
出版信息
|
索书号
|
| 1297 |
Inductive logic programming : 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings / |
Nada Lavra？, Sa？o D？eroski (eds |
Springer, c19 |
TP311.11-53/X27/1997 |
| 1266 |
Case-based reasoning : research and development : Second International Conference on Case-Based Reasoning, ICCBR-97, Providence, RI, USA, July 25-27, 1997 : proceedings / |
David Leake, Enric Plaza, (eds.). |
Springer, c1997. |
TP18-532/X72/1997 |
| 1265 |
Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 1997 : proceedings / |
Jèurgen Dix, Ulrich Fuhrbach, Anil Nerode, (eds.). |
Springer, c1997. |
TP311.11-53/X8/1997 |
| 1265 |
Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 1997 : proceedings / |
Jèurgen Dix, Ulrich Fuhrbach, Anil Nerode, (eds.). |
Springer, c1997. |
TP311.11-53/X8/1997 |
| 1263 |
Principles of data mining and knowledge discovery : First European Symposium, PKDD '97, Trondheim, Norway, June 24-27, 1997 : proceedings / |
Jan Komorowski, Jan Zytkow (eds.). |
Springer, c1997. |
TP18-532/X82 |
| 1244 |
Qualitative and quantitative practical reasoning : first International Joint Conference on Qualitative and Quantitative Practical Reasoning ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, proceedings / |
Dov M. Gabbay ... [et al.] (eds.). |
Springer, c1997. |
TP18-532/X188/1997 |
| 1237 |
Multi-agent rationality : 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'97, Ronneby, Sweden, May 13-16, 1997 : proceedings / |
Magnus Boman, Walter Van de Velde (eds.). |
Springer-Verlag, c1997. |
TP18-532/X28/1997 |
| 1228 |
Foundations of inductive logic programming / |
Shan-Hwei Nienhuys-Cheng, Ronald de Wolf. |
Springer, c1997. |
TP311.11/X182 |
| 1227 |
Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings / |
Didier Galmiche (ed.). |
Springer, c1997. |
TP18-532/X145/1997 |
| 1224 |
Machine learning, ECML-97 : 9th European Conference on Machine Learning, Prague, Czech Republic, April 23-25, 1997 : proceedings / |
Maarten van Someren, Gerhard Widmer, (eds.). |
Springer, c1997. |
TP18-532/X47/1997 |
| 1221 |
Distributed artificial intelligence meets machine learning : learning in multi-agent environments : ECAI'96 Workshop LDAIS, Budapest, Hungary, August 13, 1996, ICMAS'96 Workshop LIOME, Kyoto, Japan, December 10, 1996, selected papers / |
Gerhard Weiβ (ed.). |
Springer, c1997. |
TP18-532/X129/1996 |
| 1216 |
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.). |
Springer, c1997. |
TP311.11-532/X19 |
| 1211 |
Artificial intelligence in medicine : 6th Conference on Artificial Intelligence in Medicine Europe, AIME '97, Grenoble, France, March 23-26, 1997 : proceedings / |
Elpida Keravnou ... [et al.] (eds.). |
Springer, c1997. |
R-39/X1/1997 |
| 1209 |
Intelligent agent systems : theoretical and practical issues : based on a workshop held at PRICAI'96, Cairns, Australia, August 26-30, 1996 / |
Lawrence Cavedon, Anand Rao, Wayne Wobcke, (eds.). |
Springer, c1997. |
TP31-532/X42 |
| 1208 |
Computational learning theory : Third European Conference, EuroCOLT'97, Jerusalem, Israel, March 17-19, 1997 proceedings / |
Shai Ben-David (ed.). |
Springer, c1997. |
TP18-532/X51/1997 |
| 1193 |
Intelligent agents III : agent theories, architectures, and languages : ECAI'96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996 : proceedings / |
J？rg P. Müller, Michael J. Wooldridge, Nicholas R. Jennings, eds |
Springer, c1997 |
TP311-532/X14/1996 |
| 1188 |
Fuzzy logic in artificial intelligence : towards intelligent systems : IJCAI '95 workshop, Montréal, Canada, August 19-21, 1995, selected papers / |
Trevor P. Martin, Anca L. Ralescu (eds.). |
Springer, c1997. |
TP18-532/X81 |
| 1187 |
Nonmonotonic logics : basic concepts, results, and techniques / |
Karl Schlechta. |
Springer, c1997. |
TP18/X283 |
| 1177 |
The design of intelligent agents : a layered approach / |
J？rg P. Mülle |
Springer, c199 |
TP18/X142 |
| 1168 |
Advances in case-based reasoning : third European workshop, EWCBR-96, Lausanne, Switzerland, November 14-16, 1996 : proceedings / |
Ian Smith, Boi Faltings, eds. |
Springer, c1996. |
TP18-532/X90/1996 |
| 1160 |
Algorithmic learning theory : 7th international workshop, ALT '96, Sydney, Australia, October 23-25, 1996 : proceedings / |
Setsuo Arikawa, Arun K. Sharma (eds.). |
Springer, c1996. |
TP18-532/X63/1996 |
| 1152 |
Fuzzy logic, neural networks, and evolutionary computation : IEEE/Nagoya University World Wisepersons Workshop, Nagoya, Japan, November 14-15, 1995 : selected papers / |
Takeshi Furuhashi, Yoshiki Uchikawa (eds.). |
Springer, c1996. |
TP18-532/X78 |
| 1126 |
Logics in artificial intelligence : European Workshop, JELIA '96, évora, Portugal, September 30-October 3, 1996, proceedings / |
José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska, (eds.). |
Springer, c1996. |
TP18-532/X58/1996 |
| 1115 |
Conceptual structures : knowledge representation as interlingua : 4th International Conference on Conceptual Structures, ICCS '96, Sydney, Australia, August 19-22, 1996 : proceedings / |
Peter W. Eklund, Gerard Ellis, Graham Mann (eds.). |
Springer, c1996. |
TP182-532/X3/1996 |
| 1114 |
PRICAI '96 : topics in artificial intelligence : 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996 : proceedings / |
Norman Foo, Randy Goebel, eds. |
Springer, c1996. |
TP18-532/X94/1996 |
| 1111 |
Reasoning with logic programming / |
José Júlio Alferes, Luís Moniz Pereira. |
Springer, c1996. |
TP311.11/X179 |
| 1104 |
Automated deduction, CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings / |
M.A. McRobbie, J.K. Slaney, (eds.). |
Springer, c1996. |
TP18-532/X25/1996 |
| 1093 |
Reasoning with uncertainty in robotics : international workshop, RUR '95, Amsterdam, The Netherlands, December 4-6, 1995 : proceedings / |
Leo Dorst, Michiel van Lambalgen, Frans Voorbraak (eds.). |
Springer, c1996. |
TP242.6-532/X9 |
| 1087 |
Distributed artificial intelligence : architecture and modelling : First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995 : proceedings / |
Chengqi Zhang, Dickson Lukose, (eds.). |
Springer, c1996. |
TP18-532/X70 |
| 1085 |
Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings / |
Dov M. Gabbay, Hans Jürgen Ohlbach (eds.). |
Springer, c1996. |
TP181-532/X14 |
| 1081 |
Advances in artificial intelligence : 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI'96 Toronto, Ontario, Canada, May 21-24, 1996 : proceedings / |
Gordon McCalla (ed.) |
Springer Verlag, 1996. |
TP18-532/X120/1996 |
| 1079 |
Foundations of intelligent systems : 9th international symposium, ISMIS '96, Zakopane, Poland, June 9-13, 1996 : proceedings / |
Zbigniew W. Ra？, Maciek Michalewicz, (eds.) |
Springer, c1996 |
TP18-532/X16/1996 |
| 1076 |
Advances in knowledge acquisition : 9th European Knowledge Acquisition Workshop, EKAW '96, Nottingham, United Kingdom, May 14-17, 1996 : proceedings / |
Nigel Shadbolt, Kieron O'Hara, Guus Schreiber, (eds.). |
Springer, c1996. |
TP182-532/X7/1996 |
| 1071 |
Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings / |
P. Miglioli ... [et al.], (eds.). |
Springer, c1996. |
TP18-532/X145/1996 |
| 1069 |
Distributed software agents and applications : 6th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'94, Odense, Denmark, August 3-5, 1994 : proceedings / |
John W. Perram, Jean-Pierre Müller (eds.). |
Springer, c1996. |
TP18-532/X28/1994 |
| 1050 |
Extensions of logic programming : 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings / |
Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister, (eds.). |
Springer, c1996. |
TP311.11-53/X13/1996 |
| 1047 |
Time structures : formal description and algorithmic representation / |
El？bieta Hajnic |
Springer, c199 |
TP301.6/X88 |
| 1042 |
Adaption and learning in multi-agent systems : IJCAI '95 workshop, Montréal, Canada, August 21, 1995, proceedings / |
Gerhard Weiss, Sandip Sen (eds.). |
Springer, c1996. |
TP18-532/X75/1995 |
| 1040 |
Connectionist, statistical, and symbolic approaches to learning for natural language processing / |
Stefan Wermter, Ellen Riloff, Gabriele Scheler, (eds.). |
Springer, c1996. |
TP391/X78 |
| 1038 |
Agents breaking away : 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '96, Eindhoven, Netherlands, January 22-25, 1996 : proceedings / |
Walter Van de Velde, John W. Perram (eds.). |
Springer, c1996. |
TP18-532/X28/1996 |
| 1037 |
Intelligent agents II : agent theories, architectures, and languages : IJCAI'95 Workshop (ATAL) Montréal, Canada, August 19-20, 1995 : proceedings / |
M. Wooldrige, J.P. Müller, M. Tambe, (eds.). |
Springer, c1996. |
TP311-532/X14/1995 |
| 1036 |
Trends in natural language generation : an artificial intelligence perspective : fourth European workshop, EWNLG '93, Pisa, Italy, April 28-30, 1993 : selected papers / |
Giovanni Adorni, Michael Zock, (eds.). |
Springer, c1996. |
TP18-532/X69/1993 |
| 1020 |
Progress in case-based reasoning : first United Kingdom workshop, Salford, UK, January 12, 1995 : proceedings / |
Ian D. Watson (ed.). |
Springer, c1995. |
TP18-532/X66/1995 |
| 1011 |
Advances in fuzzy logic, neural networks, and genetic algorithms : IEEE/Nagoya University World Wisepersons Workshop, Nagoya, Japan, August 9-10, 1994 : selected papers / |
Takeshi Furuhashi, ed. |
Springer, c1995. |
TP18-532/X78/1994 |
| 1010 |
Case-based reasoning : research and development : first international conference, ICCBR-95, Sesimbra, Portugal, October 23-26, 1995 : proceedings / |
Manuela Voloso, Agnar Aamodt, (eds.). |
Springer, c1995. |
TP18-532/X72/1995 |
|
|
|
|
|