Books
- Artificial Evolution: 5th International Conference, Evolution Artificielle, EA 2001, Le Creusot, France, October 29-31, 2001 - Selected Papers (Lecture Notes in Computer Science)
- Advances in Artificial Intelligence: 15th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2002 Calgary, Canada, May 27-29, 2002 Proceedings (Lecture Notes in Computer Science)
- Intelligent Tutoring Systems: 6th International Conference, ITS 2002, Biarritz, France and San Sebastian, Spain, June 2-7, 2002 - Proceedings (Lecture Notes in Computer Science)
- Foundations of Intelligent Systems: 13th International Symposium, Ismis 2002, Lyon, France, June 27-29, 2002. Proceedings (Lecture Notes in Computer Science)
- Multiple Classifier Systems: Third International Workshop, MCS 2002, Cagliari, Italy, June 24-26, 2002 - Proceedings (Lecture Notes in Computer Science)
- Advances in Natural Language Processing: Third International Conference, PorTAL 2002, Faro, Portugal, June 23-26, 2002 - Proceedings (Lecture Notes in Computer Science)
- Computational Learning Theory: 15th Annual Conference on Computational Learning Theory, COLT 2002, Sydney, Australia, July 8-10, 2002 - Proceedings (Lecture Notes in Computer Science)
- Intelligent Agents: 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 - Revised Papers: Pt. 8 (Lecture Notes in Computer Science)
- Artificial Intelligence, Automated Reasoning and Symbolic Computation: Joint International Conferences, Aisc 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings (Lecture Notes in Computer Science)
- Conceptual Structures: Integration and Interfaces - 10th International Conference on Conceptual Structures, Iccs 2002 Borovets, Bulgaria, July 15-19, 2002 Proceedings: Integration and Interfaces - International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15-19, 2002 - Proceedings 10th (Lecture Notes in Computer Science)
- RoboCup 2001: Robot Soccer World Cup V: v. 2377 (Lecture Notes in Computer Science)
- Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 - Selected Papers (Lecture Notes in Computer Science)
- Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings (Lecture Notes in Computer Science)
- Algorithm Engineering and Experiments: 4th International Workshop, ALENEX 2002, San Francicsco, CA, USA, January 4-5, 2002, Revised Papers (Lecture Notes in Computer Science)
- Computer Aided Verification: 14th International Conference, Cav 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science)
- Machine Learning Ecml 2002: 13th European Conference on Machine Learning, Helsinki, Finland, August 19-23, 2002. Proceedings: v. 2430 (Lecture Notes in Computer Science)
- Principles of Data Mining and Knowledge Discovery: 6th European Conference, PKDD 2002, Helsinki, Finland, August 19-23, 2002, Proceedings (Lecture Notes in Computer Science)
- Text, Speech and Dialogue: 5th International Conference, Tsd 2002, Brno, Czech Republic September 9-12, 2002. Proceedings (Lecture Notes in Computer Science)
- Mixed Reality - Merging Real and Virtual Worlds: International Symposium on Mixed Reality, Yokohama, March 9-11, 1999
- Cooperative Information Agents: 6th International Workshop, CIA 2002, Madrid, Spain, September 18 - 20, 2002, Proceedings: Pt. 6 (Lecture Notes in Computer Science)
- Algorithms - ESA 2002: 10th Annual European Symposium, Rome, Italy, September 17-21, 2002 - Proceedings (Lecture Notes in Computer Science S.)
- KI 2002 - Advances in Artificial Intelligence: 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings (Lecture Notes in Computer Science)
- Logics in Artificial Intelligence: European Conference, Jelia 2002, Cosenza, Italy, September, 23-26 Proceedings (Lecture Notes in Artificial Intelligence: a Subseries of "Lecture Notes in Computer Science")
- Pattern Recognition: 24th Dagm Symposium, Zurich, Switzerland, September 16-18, 2002, Proceedings (Lecture Notes in Computer Science)
- Encyclopaedia of Artificial Intelligence
Books:
- Principles of Artificial Neural Networks (Advanced Series on Circuits & Systems)
- Engineering Societies in the Agents World III: Third International Workshop, ESAW 2002, Madrid, Spain, September 16-17, 2002, Revised Papers: v. 2577 (Lecture Notes in Computer Science S.)
- Artificial Intelligence and Symbolic Computation: International Conference Aisc 2000 Madrid, Spain, July 17-19, 2000. Revised Papers (Lecture Notes in Computer Science)
- Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 Proceedings (Lecture Notes in Computer Science)
- Artificial Evolution: 5th International Conference, Evolution Artificielle, EA 2001, Le Creusot, France, October 29-31, 2001 - Selected Papers (Lecture Notes in Computer Science)
- Neural Nets: 13th Italian Workshop on Neural Nets, Wirn Vietri 2002, Vietri Sul Mare, Italy, May 30-June 1, 2002 - Revised Papers (Lecture Notes in Computer Science S.)
- Handbook of Software Engineering and Knowledge Engineering: v. 1 & 2
- Advances in Artificial Intelligence -- Iberamia 2004: 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings (Lecture Notes in Computer Science)
- Using Ai in Electronic Commerce, Virtual Organizations, & Enterprise Knowledge Management to Reeingineer the Corporation: Papers from the 1997 Aaai Workshop, July 28, 1997, Providence, Rhode Island Technical Report Ws-97-02
- International Joint Conference on Neural Networks
Books