Search
Now showing items 1-10 of 27
Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings
(Springer-Verlag Berlin Heidelberg, 2000)
This volume contains the proceedings of SARA 2000, the fourth Symposium on Abstraction, Reformulations, and Approximation (SARA). The conference was held at Horseshoe Bay Resort and Conference Club, Lake LBJ, Texas, July ...
Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence: Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007. Proceedings
(Springer-Verlag Berlin Heidelberg, 2007)
The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging and challenging topics in artificial intelligence, machine learning, bioinformatics, and computational ...
Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday
(Springer-Verlag Berlin Heidelberg, 2007)
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the third volume of the FoLLI LNAI subline. The 17 revised papers of this Festschrift volume - published in ...
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings
(Springer-Verlag Berlin Heidelberg, 2004)
This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4–8, 2004 in Cork, Ireland. IJCAR 2004 continued the tradition established at the ?rst IJCAR ...
Computational Logic in Multi-Agent Systems: 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers
(Springer-Verlag Berlin Heidelberg, 2007)
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VII, held in Hakodate, Japan, in May 2006. It was an associated event ...
Formal Concept Analysis: Foundations and Applications
(Springer-Verlag Berlin Heidelberg, 2005)
Formal concept analysis has been developed as a field of applied mathematics based on the mathematization of concept and concept hierarchy. It thereby allows us to mathematically represent, analyze, and construct conceptual ...
AI 2006: Advances in Artificial Intelligence: 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006. Proceedings
(Springer-Verlag Berlin Heidelberg, 2006)
The Australian Joint Conference on Artificial Intelligence series is steered by the Australian Computer Society's (ACS) National Committee on Artificial Intelligence and Expert Systems. It aims at stimulating research by ...
Algorithmic Learning Theory: 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006. Proceedings
(Springer-Verlag Berlin Heidelberg, 2006)
This book constitutes the refereed proceedings of the 17th International Conference on Algorithmic Learning Theory, ALT 2006, held in Barcelona, Spain in October 2006, colocated with the 9th International Conference on ...
Learning Classifier Systems: From Foundations to Applications
(Springer-Verlag Berlin Heidelberg, 2000)
Learning Classifier Systems (LCS) are a machine learning paradigm introduced by John Holland in 1976. They are rule-based systems in which learning is viewed as a process of ongoing adaptation to a partially unknown ...
Machine Learning: ECML 2004: 15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004. Proceedings
(Springer-Verlag Berlin Heidelberg, 2004)
This book constitutes the refereed proceedings of the 15th European Conference on Machine Learning, ECML 2004, held in Pisa, Italy, in September 2004, jointly with PKDD 2004. The 45 revised full papers and 6 revised short ...