Books

  1. Artificial Intelligence and Symbolic Computation: International Conference Aisc 2000 Madrid, Spain, July 17-19, 2000. Revised Papers (Lecture Notes in Computer Science)
    Artificial Intelligence and Symbolic Computation: International Conference Aisc 2000 Madrid, Spain, July 17-19, 2000. Revised Papers (Lecture Notes in Computer Science)
  2. DNA Computing: 6th International Workshop on DNA-based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000 (Lecture Notes in Computer Science)
    DNA Computing: 6th International Workshop on DNA-based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000 (Lecture Notes in Computer Science)
  3. Multi-image Analysis: 10th International Workshop on Theoretical Foundations of Computer Vision, Dagstuhl Castle, Germany, March 12-17, 2000 - Revised Papers (Lecture Notes in Computer Science)
    Multi-image Analysis: 10th International Workshop on Theoretical Foundations of Computer Vision, Dagstuhl Castle, Germany, March 12-17, 2000 - Revised Papers (Lecture Notes in Computer Science)
  4. Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 - Selected Papers (Lecture Notes in Computer Science)
    Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 - Selected Papers (Lecture Notes in Computer Science)
  5. Computability and Complexity in Analysis: 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000 - Selected Papers (Lecture Notes in Computer Science)
    Computability and Complexity in Analysis: 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000 - Selected Papers (Lecture Notes in Computer Science)
  6. Weiss Pred Data Mining - Book/Website Set: A Practical Guide (with Software)
    Weiss Pred Data Mining - Book/Website Set: A Practical Guide (with Software)
  7. Connectionist Models of Neurons, Learning Processes and Artificial Intelligence: 6th International Work-Conference on Artificial and Natural Neural Networks, Iwann 2001 Granada, Spain, June 13-15, 2001, Proceedings, Part I: 6th International Work-conference on Artificial and Natural Neural Networks, IWANN 2001 Granada, Spain, June 13-15, 2001, Proceedings Pt. 1 (Lecture Notes in Computer Science)
    Connectionist Models of Neurons, Learning Processes and Artificial Intelligence: 6th International Work-Conference on Artificial and Natural Neural Networks, Iwann 2001 Granada, Spain, June 13-15, 2001, Proceedings, Part I: 6th International Work-conference on Artificial and Natural Neural Networks, IWANN 2001 Granada, Spain, June 13-15, 2001, Proceedings Pt. 1 (Lecture Notes in Computer Science)
  8. Handbook of Automated Reasoning: Vols 1 & 2
    Handbook of Automated Reasoning: Vols 1 & 2
  9. Constraint-based Agents: An Architecture for Constraint-based Modeling and Local-search-based Reasoning for Planning and Scheduling in Open and Dynamic Worlds (Lecture Notes in Computer Science)
    Constraint-based Agents: An Architecture for Constraint-based Modeling and Local-search-based Reasoning for Planning and Scheduling in Open and Dynamic Worlds (Lecture Notes in Computer Science)
  10. Computer Vision Systems: Second International Workshop, Icvs 2001 Vancouver, Canada, July 7-8, 2001 Proceedings: Second International Workshop, ICVS 2001 Vancouver, Canada, July 7-8, 2001 Proceedings (Lecture Notes in Computer Science)
    Computer Vision Systems: Second International Workshop, Icvs 2001 Vancouver, Canada, July 7-8, 2001 Proceedings: Second International Workshop, ICVS 2001 Vancouver, Canada, July 7-8, 2001 Proceedings (Lecture Notes in Computer Science)
  11. Artificial Intelligence in Medicine: 8th Conference on Artificial Intelligence in Medicine in Europe, Aime 2001 Cascais, Portugal, July 1-4, 2001, Proceedings: 8th Conference on Artificial Intelligence in Medicine in Europe, AIME 2001 Cascais, Portugal, July 1-4, 2001, Proceedings (Lecture Notes in Computer Science)
    Artificial Intelligence in Medicine: 8th Conference on Artificial Intelligence in Medicine in Europe, Aime 2001 Cascais, Portugal, July 1-4, 2001, Proceedings: 8th Conference on Artificial Intelligence in Medicine in Europe, AIME 2001 Cascais, Portugal, July 1-4, 2001, Proceedings (Lecture Notes in Computer Science)
  12. Static Analysis: 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings: International Symposium, SAS 2001, Paris, France, July 16-18, 2001 - Proceedings 8th (Lecture Notes in Computer Science)
    Static Analysis: 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings: International Symposium, SAS 2001, Paris, France, July 16-18, 2001 - Proceedings 8th (Lecture Notes in Computer Science)
  13. Human-automation Interaction: Research and Practice
    Human-automation Interaction: Research and Practice
  14. Conceptual Structures: Broadening the Base - 9th International Conference on Conceptual Structures, Iccs 2001, Stanford, Ca, USA, July 30-August 3, 2001, Proceedings: Broadening the Base - International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001, Proceedings 9th (Lecture Notes in Computer Science)
    Conceptual Structures: Broadening the Base - 9th International Conference on Conceptual Structures, Iccs 2001, Stanford, Ca, USA, July 30-August 3, 2001, Proceedings: Broadening the Base - International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001, Proceedings 9th (Lecture Notes in Computer Science)
  15. Computer Aided Verification: 13th International Conference, Cav 2001, Paris, France, July 18-22, 2001. Proceedings: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001.Proceedings (Lecture Notes in Computer Science)
    Computer Aided Verification: 13th International Conference, Cav 2001, Paris, France, July 18-22, 2001. Proceedings: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001.Proceedings (Lecture Notes in Computer Science)
  16. Machine Learning and Data Mining in Pattern Recognition: Second International Workshop, Mldm 2001, Leipzig, Germany, July 25-27, 2001. Proceedings: Second International Workshop, MLDM 2001, Leipzig, Germany, July 25-27, 2001, Proceedings (Lecture Notes in Computer Science)
    Machine Learning and Data Mining in Pattern Recognition: Second International Workshop, Mldm 2001, Leipzig, Germany, July 25-27, 2001. Proceedings: Second International Workshop, MLDM 2001, Leipzig, Germany, July 25-27, 2001, Proceedings (Lecture Notes in Computer Science)
  17. Modeling and Using Context: Third International and Interdisciplinary Conference, Context, 2001, Dundee, UK, July 27-30, 2001, Proceedings (Lecture Notes in Computer Science)
    Modeling and Using Context: Third International and Interdisciplinary Conference, Context, 2001, Dundee, UK, July 27-30, 2001, Proceedings (Lecture Notes in Computer Science)
  18. Intelligent Agents: Agent Theories, Architectures and Languages - 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000 Proceedings: v. 7 (Lecture Notes in Computer Science)
    Intelligent Agents: Agent Theories, Architectures and Languages - 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000 Proceedings: v. 7 (Lecture Notes in Computer Science)
  19. Algorithms and Data Structures: 7th International Workshop, WADS 2001, Providence, RI, USA, August 8-10, 2001 Proceedings (Lecture Notes in Computer Science)
    Algorithms and Data Structures: 7th International Workshop, WADS 2001, Providence, RI, USA, August 8-10, 2001 Proceedings (Lecture Notes in Computer Science)
  20. Intelligent Agents: Specification, Modeling and Application - 4th Pacific Rim International Workshop on Multi-agents, PRIMA 2001mTaipei, Taiwan, July 28-29, 2001 Proceedings (Lecture Notes in Computer Science)
    Intelligent Agents: Specification, Modeling and Application - 4th Pacific Rim International Workshop on Multi-agents, PRIMA 2001mTaipei, Taiwan, July 28-29, 2001 Proceedings (Lecture Notes in Computer Science)
  21. Mobile Agents for Telecommunication Applications: Third International Workshop, MATA 2001, Montreal, Canada, August 14-16, 2001 - Proceedings (Lecture Notes in Computer Science)
    Mobile Agents for Telecommunication Applications: Third International Workshop, MATA 2001, Montreal, Canada, August 14-16, 2001 - Proceedings (Lecture Notes in Computer Science)
  22. Artificial Neural Networks - Icann 2001: International Conference Vienna, Austria, August 21-25, 2001 Proceedings: International Conference Vienna, Austria, August 21-25, 2001.Proceedings (Lecture Notes in Computer Science)
    Artificial Neural Networks - Icann 2001: International Conference Vienna, Austria, August 21-25, 2001 Proceedings: International Conference Vienna, Austria, August 21-25, 2001.Proceedings (Lecture Notes in Computer Science)
  23. Comprehension in Graphics (Advances in Psychology S.)
    Comprehension in Graphics (Advances in Psychology S.)
  24. Parallel Computing Technologies: 6th International Conference, Pact 2001, Novosibirsk, Russia, September 3-7, 2001 Proceedings: 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 - Proceedings (Lecture Notes in Computer Science)
    Parallel Computing Technologies: 6th International Conference, Pact 2001, Novosibirsk, Russia, September 3-7, 2001 Proceedings: 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 - Proceedings (Lecture Notes in Computer Science)
  25. Foundational Issues in Artificial Intelligence and Cognitive Science: Impasse and Solution (Advances in Psychology S.)
    Foundational Issues in Artificial Intelligence and Cognitive Science: Impasse and Solution (Advances in Psychology S.)

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