Learning Classifier Systems in Data Mining
Just over thirty years after Holland first presented the outline for Learning Classifier System paradigm, the ability of ...
اقرأ المزيد
Learning and Intelligent Optimization : Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers
The papers cover current issues of machine learning, artificial intelligence, mathematical programming and algorithms for ...
اقرأ المزيد
Leveraging Applications of Formal Methods
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications ...
اقرأ المزيد
Logic Programming (vol. # 4079)
This book constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held ...
اقرأ المزيد
Logic for Computer Scientists
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...
اقرأ المزيد
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452)
This volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, ...
اقرأ المزيد
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
اقرأ المزيد
Logic-Based Program Synthesis and Transformation
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
اقرأ المزيد
Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
This volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...
اقرأ المزيد
Logical Foundations of Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
اقرأ المزيد
Mathematical Knowledge Management (vol. # 3863)
This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 ...
اقرأ المزيد
Mechanizing Mathematical Reasoning
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...
اقرأ المزيد
Multi-Robot Systems. From Swarms to Intelligent Automata, Volume III
Documents developments in multi-robot systems research. This volume is the result of the Third International workshop on ...
اقرأ المزيد
Multilingual Information Access for Text, Speech and Images
The ?fth campaign of the Cross-Language Evaluation Forum (CLEF) for Eu- pean languages was held from January to September ...
اقرأ المزيد
Natural Language Processing and Information Systems (vol. # 3513)
NLDB 2005, the 10th International Conference on Applications of Natural L- guage to Information Systems, was held on June ...
اقرأ المزيدNeural Networks: Computational Models and Applications
Neural Networks: Computational Models and Applications covers a wealth of important theoretical and practical issues in neural ...
اقرأ المزيد
Oppositional Concepts in Computational Intelligence
this volume is a fist attempt to bring together researchers who are inquiring into the complementary nature of systems and ...
اقرأ المزيد
Persuasive Technology
Persuasive technology is the general class of technology that has the explicit purpose of changing human attitudes and behaviours. ...
اقرأ المزيد
Principles and Practice of Constraint Programming - CP 2002
This book constitutes the refereed proceedings of the 8th International Conference on Principles and Practice of Constraint ...
اقرأ المزيد
Privacy in Statistical Databases
Privacy in statistical databases is a discipline whose purpose is to provide - lutions to the con?ict between the increasing ...
اقرأ المزيد
