AI 2007: Advances in Artificial Intelligence
The book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...
Weiterlesen
AI 2007: Advances in Artificial Intelligence
The book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...
Weiterlesen
Abstraction, Reformulation, and Approximation
This volume contains the proceedings of SARA 2007, the seventh symposium, held at Whistler Village, British Columbia, Canada, ...
Weiterlesen
Automated Deduction – CADE-20
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...
Weiterlesen
Automated Reasoning
This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers ...
Weiterlesen
Automated Reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, ...
Weiterlesen
Automated Reasoning with Analytic Tableaux and Related Methods
This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux ...
Weiterlesen
Automated Reasoning with Analytic Tableaux and Related Methods
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Weiterlesen
Automated Reasoning with Analytic Tableaux and Related Methods
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Weiterlesen
Computer Aided Systems Theory – EUROCAST 2005
The concept of CAST, computer aided systems Theory, was introduced by F. Pichler of Linz in the late 1980s to include those ...
Weiterlesen
Computer Mathematics : 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers
This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ...
Weiterlesen
Constraint Satisfaction Techniques for Agent-Based Reasoning
Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can ...
Weiterlesen
DNA Computing (vol. # 3384)
This book constitutes the thoroughly refereed postproceedings of the 10th International Workshop on DNA Based Computers, ...
Weiterlesen
Declarative Programming for Knowledge Management
This volume presents a selection of papers presented at the 16th Inter- tional Conference on Applications of Declarative ...
Weiterlesen
Intelligent Information Processing III
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Weiterlesen
Interactive TV: a Shared Experience
This book constitutes the refereed proceedings of the 5th European Conference on Interactive Television, EuroITV 2007, held ...
Weiterlesen
Logic for Programming, Aritficial Intelligence, and Reasoning
This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial ...
Weiterlesen
Logic for Programming, Artificial Intelligence, and Reasoning
This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial ...
Weiterlesen
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, ...
Weiterlesen
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
Weiterlesen
