Learning Classifier Systems in Data Mining
Just over thirty years after Holland first presented the outline for Learning Classifier System paradigm, the ability of ...
Continue reading
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 ...
Continue reading
Leveraging Applications of Formal Methods
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications ...
Continue reading
Logic Programming (vol. # 4079)
This book constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held ...
Continue reading
Logic for Computer Scientists
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...
Continue reading
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, ...
Continue reading
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
Continue reading
Logic-Based Program Synthesis and Transformation
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Continue reading
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 ...
Continue reading
Logical Foundations of Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Continue reading
Mathematical Knowledge Management (vol. # 3863)
This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 ...
Continue reading
Mechanizing Mathematical Reasoning
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue readingNeural Networks: Computational Models and Applications
Neural Networks: Computational Models and Applications covers a wealth of important theoretical and practical issues in neural ...
Continue reading
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 ...
Continue reading
Persuasive Technology
Persuasive technology is the general class of technology that has the explicit purpose of changing human attitudes and behaviours. ...
Continue reading
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 ...
Continue reading
Privacy in Statistical Databases
Privacy in statistical databases is a discipline whose purpose is to provide - lutions to the con?ict between the increasing ...
Continue reading
