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