Books

  1. Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 Proceedings (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)
  2. Inductive Logic Programming: 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001 Proceedings (Lecture Notes in Computer Science)
    Inductive Logic Programming: 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001 Proceedings (Lecture Notes in Computer Science)
  3. Cooperative Information Agents: 5th International Workshop, CIA 2001, Modena, Italy, September 6-8, 2001, Proceedings: v. 5 (Lecture Notes in Computer Science)
    Cooperative Information Agents: 5th International Workshop, CIA 2001, Modena, Italy, September 6-8, 2001, Proceedings: v. 5 (Lecture Notes in Computer Science)
  4. Computer Science Logic: 15th International Workshop, CSL 2001 - 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings (Lecture Notes in Computer Science)
    Computer Science Logic: 15th International Workshop, CSL 2001 - 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings (Lecture Notes in Computer Science)
  5. Algorithm Engineering and Experimentation: Third International Workshop, ALENEX 2001, Washington, DC, USA, January 5-6, 2001 Revised Papers (Lecture Notes in Computer Science)
    Algorithm Engineering and Experimentation: Third International Workshop, ALENEX 2001, Washington, DC, USA, January 5-6, 2001 Revised Papers (Lecture Notes in Computer Science)
  6. Intelligent Virtual Agents: Third International Workshop, Iva 2001, Madrid, Spain, September 10-11, 2001. Proceedings: Proceedings of the Third International Workshop, IVA 2001, Madrid, Spain, September 10-11, 2001 (Lecture Notes in Computer Science)
    Intelligent Virtual Agents: Third International Workshop, Iva 2001, Madrid, Spain, September 10-11, 2001. Proceedings: Proceedings of the Third International Workshop, IVA 2001, Madrid, Spain, September 10-11, 2001 (Lecture Notes in Computer Science)
  7. Journal of Artificial Intelligence Research: Vol 5
    Journal of Artificial Intelligence Research: Vol 5
  8. Distributed Computing: 15th International Conference, DISC 2001, Lisbon, Portugal, October 3-5, 2001 - Proceedings (Lecture Notes in Computer Science)
    Distributed Computing: 15th International Conference, DISC 2001, Lisbon, Portugal, October 3-5, 2001 - Proceedings (Lecture Notes in Computer Science)
  9. Complexity Classifications of Boolean Constraint Satisfaction Problems (Monographs on Discrete Mathematics & Applications)
    Complexity Classifications of Boolean Constraint Satisfaction Problems (Monographs on Discrete Mathematics & Applications)
  10. Metalevel Architectures and Separation of Crosscutting Concerns: Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001 Proceedings (Lecture Notes in Computer Science)
    Metalevel Architectures and Separation of Crosscutting Concerns: Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001 Proceedings (Lecture Notes in Computer Science)
  11. Graph-Theoretic Concepts in Computer Science: 27th International Workshop, WG 2001 Boltenhagen, Germany, June 14-16, 2001 Proceedings: 27th International Workshop, WG 2001 Boltenhagen, Germany, June 14-16, 2001 Proceedings (Lecture Notes in Computer Science)
    Graph-Theoretic Concepts in Computer Science: 27th International Workshop, WG 2001 Boltenhagen, Germany, June 14-16, 2001 Proceedings: 27th International Workshop, WG 2001 Boltenhagen, Germany, June 14-16, 2001 Proceedings (Lecture Notes in Computer Science)
  12. Computational Intelligence: Theory and Applications - International Conference, 7th Fuzzy Days Dortmund, Germany, October 1-3, 2001 Proceedings: International Conference, 7th Fuzzy Days Dortmund, Germany, October 1-3, 2001, Proceedings (Lecture Notes in Computer Science)
    Computational Intelligence: Theory and Applications - International Conference, 7th Fuzzy Days Dortmund, Germany, October 1-3, 2001 Proceedings: International Conference, 7th Fuzzy Days Dortmund, Germany, October 1-3, 2001, Proceedings (Lecture Notes in Computer Science)
  13. Active Mining: New Directions of Data Mining (Frontiers in Artificial Intelligence & Applications S.)
    Active Mining: New Directions of Data Mining (Frontiers in Artificial Intelligence & Applications S.)
  14. Proof Theory in Computer Science: International Seminar, Ptcs 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings (Lecture Notes in Computer Science)
    Proof Theory in Computer Science: International Seminar, Ptcs 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings (Lecture Notes in Computer Science)
  15. Cooperative Multimodal Communication: Second International Conference, CMC '98, Tilburg, The Netherlands, January 28-30, 1998 Selected Papers (Lecture Notes in Computer Science)
    Cooperative Multimodal Communication: Second International Conference, CMC '98, Tilburg, The Netherlands, January 28-30, 1998 Selected Papers (Lecture Notes in Computer Science)
  16. Local Search for Planning and Scheduling: Ecai 2000 Workshop, Berlin, Germany, August 21, 2000. Revised Papers: ECAI 2000 Workshop, Berlin, Germany, August 21, 2000 - Revised Papers (Lecture Notes in Computer Science)
    Local Search for Planning and Scheduling: Ecai 2000 Workshop, Berlin, Germany, August 21, 2000. Revised Papers: ECAI 2000 Workshop, Berlin, Germany, August 21, 2000 - Revised Papers (Lecture Notes in Computer Science)
  17. Mobile Agents: 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001 Proceedings (Lecture Notes in Computer Science)
    Mobile Agents: 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001 Proceedings (Lecture Notes in Computer Science)
  18. Computer Aided Systems Theory - Eurocast 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, LAS Palmas De Gran Canaria, Spain, February 19-23, 2001. Revised Papers: EUROCAST - A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas De Gran Canaria, Spain, February 19-23, 2001, Revised Papers (Lecture Notes in Computer Science)
    Computer Aided Systems Theory - Eurocast 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, LAS Palmas De Gran Canaria, Spain, February 19-23, 2001. Revised Papers: EUROCAST - A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas De Gran Canaria, Spain, February 19-23, 2001, Revised Papers (Lecture Notes in Computer Science)
  19. Progress in Artificial Intelligence Knowledge Extraction, Multi-Agent Systems, Logic Programming, and Constraint Solving: 10th Portuguese Conference on Artificial Intelligence, EPIA 2001 - Porto, Portugal, December 17-20, 2001 Proceedings (Lecture Notes in Computer Science)
    Progress in Artificial Intelligence Knowledge Extraction, Multi-Agent Systems, Logic Programming, and Constraint Solving: 10th Portuguese Conference on Artificial Intelligence, EPIA 2001 - Porto, Portugal, December 17-20, 2001 Proceedings (Lecture Notes in Computer Science)
  20. New Frontiers in Artificial Intelligence: Joint JSAI 2001 Workshop Post-proceedings (Lecture Notes in Computer Science)
    New Frontiers in Artificial Intelligence: Joint JSAI 2001 Workshop Post-proceedings (Lecture Notes in Computer Science)
  21. Computers and Games: Second International Conference, Cg 2001, Hamamatsu, Japan, October 26-28, 2000 Revised Papers (Lecture Notes in Computer Science S.)
    Computers and Games: Second International Conference, Cg 2001, Hamamatsu, Japan, October 26-28, 2000 Revised Papers (Lecture Notes in Computer Science S.)
  22. Intelligent Sensors (Handbook of Sensors & Actuators)
    Intelligent Sensors (Handbook of Sensors & Actuators)
  23. Multi-agent-systems and Applications: 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 - Selected Revised Papers: v. 2 (Lecture Notes in Computer Science)
    Multi-agent-systems and Applications: 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 - Selected Revised Papers: v. 2 (Lecture Notes in Computer Science)
  24. Applications of Evolutionary Computing: EvoWorkshops 2002 - EvoCOP, EvoIASP, EvoSTIM/EvoPLAN Kinsale, Ireland April 3-4, 2002 - Proceedings (Lecture Notes in Computer Science)
    Applications of Evolutionary Computing: EvoWorkshops 2002 - EvoCOP, EvoIASP, EvoSTIM/EvoPLAN Kinsale, Ireland April 3-4, 2002 - Proceedings (Lecture Notes in Computer Science)
  25. Association Rule Mining: Models and Algorithms (Lecture Notes in Computer Science)
    Association Rule Mining: Models and Algorithms (Lecture Notes in Computer Science)

Books:

  1. Principles of Artificial Neural Networks (Advanced Series on Circuits & Systems)
  2. 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.)
  3. Artificial Intelligence and Symbolic Computation: International Conference Aisc 2000 Madrid, Spain, July 17-19, 2000. Revised Papers (Lecture Notes in Computer Science)
  4. Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 Proceedings (Lecture Notes in Computer Science)
  5. Artificial Evolution: 5th International Conference, Evolution Artificielle, EA 2001, Le Creusot, France, October 29-31, 2001 - Selected Papers (Lecture Notes in Computer Science)
  6. 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.)
  7. Handbook of Software Engineering and Knowledge Engineering: v. 1 & 2
  8. Advances in Artificial Intelligence -- Iberamia 2004: 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings (Lecture Notes in Computer Science)
  9. 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
  10. International Joint Conference on Neural Networks

Books