| 卷 |
题名
|
责任者
|
出版信息
|
索书号
|
| 1489 |
Logics in artificial intelligence : European Workshop, JELIA'98 Dagstuhl, Germany, October 12-15, 1998 : proceedings / |
Jürgen Dix, Luís Fari？as del Cerro, Ulrich Furbach (eds.) |
Springer, c1998 |
TP18-532/X58/1998 |
| 1488 |
Advances in case-based reasoning : 4th European workshop, EWCBR-98, Dublin, Ireland, September 23-25, 1998 : proceedings / |
Barry Smyth, Pádraig Cunningham (eds.). |
Springer, c1998. |
TP18-532/X90/1998 |
| 1480 |
Artificial intelligence : methodology, systems, and applications : 8th international conference, AIMSA'98, Sozopol, Bulgaria, Sptember 21-23, 1998 : proceedings / |
Fausto Giunchiglia (ed.). |
Springer, c1998. |
TP18-532/X29/1998 |
| 1476 |
Artificial intelligence and symbolic computation : International Conference AISC '98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings / |
Jacques Calmet, Jan Plaza (eds.). |
Springer, c1998. |
TP18-532/X86 |
| 1471 |
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). |
Springer, c1998. |
TP311.11-532/X16 |
| 1458 |
Assistive technology and artificial intelligence : applications in robotics, user interfaces, and natural language processing / |
Vibhu O. Mittal ... [et al.], eds. |
Springer, c1998. |
TP242.6/X12 |
| 1456 |
Collective robotics : First International Workshop, CRW '98, Paris, France, July 4-5, 1998 : proceedings / |
Alexis Drogoul, Milind Tambe, Toshio Fukuda (eds.). |
Springer, c1998. |
TP242.6-532/X8 |
| 1455 |
Applications of uncertainty formalisms / |
Anthony Hunter, Simon Parsons (eds.). |
Springer, c1998. |
G201/X15 |
| 1453 |
Conceptual structures : theory, tools, and applications : 6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August 10-12, 1998 : proceedings / |
Marie-Laure Mugnier, Michel Chein, (eds.). |
Springer Verlag, c1998. |
TP182-532/X3/1998 |
| 1446 |
Inductive logic programming : 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings / |
David Page, ed. |
Springer, 1998. |
TP311.11-53/X27/1998 |
| 1441 |
Agents and multi-agent systems : formalisms, methodologies, and applications : based on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997 / |
Wayne Wobcke, Maurice Pagnucco, Chengqi Zhang (eds.). |
Springer, c1998. |
TP18-532/X17/1997.1 |
| 1435 |
Cooperative information agents II : learning, mobility, and electronic commerce for information discovery on the Internet : Second International Workshop, CIA'98, Paris, France, July 4-7, 1998 : proceedings / |
Matthias Klusch, Gerhard Weiss (eds.). |
Springer, c1998. |
TP18-532/X84/1998 |
| 1424 |
Rough sets and current trends in computing : first international conference, RSCTC '98, Warsaw, Poland, June 22-26, 1998 : proceedings / |
Lech Polkowski, Andrzej Skowron, (eds.). |
Springer, c1998. |
TP274-532/X55/1998 |
| 1421 |
Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings / |
Claude Kirchner, Hélène Kirchner, (eds.). |
Springer, c1998. |
TP18-532/X25/1998 |
| 1418 |
Advances in artificial intelligence : 12th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI'98 Vancouver, BC, Canada, June 18-20, 1998 : proceedings / |
Robert Mercer, Eric Neufeld (eds.). |
Springer, c1998. |
TP18-532/X120/1998 |
| 1415 |
Proceedings / |
11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA-98-AIE, Benicàssim, Castellón, Spain, June 1-4, 1998. |
Springer, c1998. |
TP18-532/X1/1998 |
| 1409 |
The automation of reasoning with incomplete information : from semantic foundations to efficient computation / |
Torsten Schaub. |
Springer, 1997. |
TP18/X159 |
| 1400 |
Case-based reasoning technology : from foundations to applications / |
Mario Lenz ... [et al.] (eds.). |
Springer, c1998. |
TP18/X157 |
| 1398 |
Machine learning : ECML-98 : 10th European Conference on Machine Learning, Chemnitz, Germany, April 21-23, 1998 : proceedings / |
Claire Nédellec, Céline Rouveirol (eds.). |
Springer, c1998. |
TP18-532/X47/1998 |
| 1397 |
Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings / |
Harrie de Swart, ed. |
Springer, c1998. |
TP18-532/X145/1998 |
| 1395 |
RoboCup-97 : robot soccer World Cup I / |
Hiroaki Kitano (ed.). |
Springer, c1998. |
TP242-532/X3/1997 |
| 1394 |
Research and development in knowledge discovery and data mining : Second Pacific-Asia Conference, PAKDD-98, Melbourne, Australia, April 15-17, 1998 : proceedings / |
Xindong Wu, Ramamohanarao Kotagiri, Kevin B. Korb, eds. |
Springer, 1998. |
TP311.13-53/X32/1998 |
| 1365 |
Intelligent agents IV : agent theories, architectures, and languages : 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997 : proceedings / |
Munindar P. Singh, Arand Rao, Michael J. Wooldridge (eds.). |
Springer, 1998. |
TP311-532/X14/1997 |
| 1360 |
Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers / |
Dongming Wang (ed.). |
Springer, c1997. |
TP18-532/X131/1996 |
| 1359 |
Learning and reasoning with complex representations : PRICAI'96 Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations, Cairns, Australia, August 26-30, 1996 : selected papers / |
Grigoris Antoniou, Aditya Ghose, Miros？aw Truszczyński, (eds.) |
Springer, c1998 |
TP18-532/X83 |
| 1348 |
Recent advances in AI planning : 4th European Conference, ECP '97, Toulouse, France, September 24-26, 1997 : proceedings / |
Sam Steel, Rachid Alami (eds.). |
Springer, c1997. |
TP18-532/X193 |
| 1342 |
Advanced topics in artificial intelligence : 10th Australian Joint Conference on Artificial Intelligence, AI'97, Perth, Australia, November 30- December 4, 1997, proceedings / |
Abdul Sattar, ed. |
Springer Verlag, 1997. |
TP18-532/X17/1997 |
| 1325 |
Foundations of intelligent systems : 10th international symposium, ISMIS '97, Charlotte, North Carolina, USA, October 15-18, 1997 : proceedings / |
Zbigniew W. Ra？, Andrzej Skowron (eds.) |
Springer, c1997 |
TP18-532/X16/1997 |
| 1323 |
Progress in artificial intelligence : 8th Portuguese Conference on Artificial Intelligence, EPIA-97, Coimbra, Portugal, October 6-9, 1997 : proceedings / |
Ernesto Costa, Amilcar Cardoso (eds.). |
Springer, c1997. |
TP18-532/X107/1997 |
| 1321 |
AI*IA 97, advances in artificial intelligence : 5th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 17-19, 1997 : proceedings / |
Maurizio Lenzerini, (ed.). |
Springer, c1997. |
TP18-532/X121/1997 |
| 1319 |
Knowledge acquisition, modeling and management : 10th European Workshop, EKAW '97, Sant Feliu de Guixols, Catalonia, Spain, October 15-18, 1997 : proceedings / |
Enric Plaza, Richard Benjamins (eds.). |
Springer, c1997. |
TP182-532/X7/1997 |
| 1316 |
Algorithmic learning theory : 8th international workshop, ALT '97, Sendai, Japan, October 6-8, 1997 : proceedings / |
Ming Li, Akira Maruoka (eds.). |
Springer, c1997. |
TP18-532/X63/1997 |
| 1307 |
Prosody in speech understanding systems / |
Ralf Kompe. |
Springer, c1997. |
TN912.34/X7 |
| 1303 |
KI-97 : advances in artificial intelligence : 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997 : proceedings / |
Gerhard Brewka, Christopher Habel, Bernhard Nebel (eds.). |
Springer, c1997. |
TP18-532/X64/1997 |
|
|
|
|
|