Learn IT - Books tags reasoning

Legal Knowledge and Information Systems: JURIX 2006: The Nineteenth Annual Conference - Volume 152 Frontiers in Artificial Intelligence and Applications

IOS Press, 2006

This volume contains the Proceedings of the Nineteenth JURIX Conference on Legal Knowledge and Information Systems (JURIX 2006), December 7th–9th, Université Pantheon Assas – Paris II, France. This year we hoped to put two new topics on the agenda: Artificial Intelligence in police and intelligence services and the impact of AI...

Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings

Springer, 2008

This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. The 26 revised full research papers and 13 revised system descriptions presented together with 4 invited papers and a summary of the CASC-J4 systems competition were carefully...

Discrete Mathematics and its Applications

McGraw-Hill, 2002

Discrete Mathematics and its Applications is a focused introduction to the primary themes in a discrete mathematics course, as introduced through extensive applications, expansive discussion, and detailed exercise sets. These themes include mathematical reasoning, combinatorial analysis, discrete structures, algorithmic thinking, and enhanced...

Advances in Artificial Intelligence -- IBERAMIA 2004: 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004

Springer, 2004

This book constitutes the refereed proceedings of the 9th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2004, held in Puebla, Mexico in November 2004.

The 97 revised full papers presented were carefully reviewed and selected from 304 submissions. The papers are organized in topical sections on distributed AI and multi-agent...

Constraint Satisfaction Techniques for Agent-Based Reasoning

Birkhauser, 2005

An important aspect of multi agent systems are agent reasoning techniques for problem solving, either at the level of a single agent or at the level of distributed collaboration amongst multiple agents.

Constraint Satisfaction Problems (CSP) prove to be a generic framework which can be applied for modeling and solving a wide range...

Advances in Applied Artificial Intelligence (Computational Intelligence and Its Applications)

Idea Group Publishing, 2006

Discussion on the nature of intelligence long pre-dated the development of the
electronic computer, but along with that development came a renewed burst of investigation
into what an artificial intelligence would be. There is still no consensus on how
to define artificial intelligence: Early definitions tended to discuss the type of...

Fuzzy Systems Engineering: Theory and Practice (Studies in Fuzziness and Soft Computing)

Springer, 2005

This book is devoted to reporting innovative and significant progress in fuzzy system engineering. Given the maturation of fuzzy logic, this book is dedicated to exploring the recent breakthroughs in fuzziness and soft computing in favour of intelligent system engineering. This monograph presents novel developments of the fuzzy theory as well as...

KI 2004: Advances in Artificial Intelligence: 27th Annual German Conference in AI, KI 2004, Ulm, Germany, September 20-24, 2004

Springer, 2004

KI 2004 was the 27th edition of the annual German Conference on Artificial Intelligence, which traditionally brings together academic and industrial researchers

from all areas of AI and which enjoys increasing international attendance. KI 2004 received 103 submissions from 26 countries. This volume contains the 30 papers that were...

The Language of Game Theory : Putting Epistemics into the Mathematics of Games

World Scientific Publishing, 2014

This volume contains eight papers written by Adam Brandenburger and his co-authors over a period of 25 years. These papers are part of a program to reconstruct game theory in order to make how players reason about a game a central feature of the theory. The program now called epistemic game theory extends the classical definition of a game...

The Scientific Revolution and the Foundations of Modern Science (Greenwood Guides to Historic Events 1500-1900)

Greenwood Press, 2005

Applebaum offers beginning university students the perfect introduction to the age of the scientific revolution from 1500 to 1800. Many scientific ideas and much medical information improved dramatically during those times as investigators began a relentless drive, which continues today, toward a better understanding of the natural world....One...

Selenium 1.0 Testing Tools: Beginners Guide

Packt Publishing, 2010

The Selenium 1.0 Testing Tools Beginner's guide shows developers and testers how to create automated tests using a browser. You'll be able to create tests using Selenium IDE, Selenium Remote Control and Selenium 2 as well. A chapter is completely dedicated to Selenium 2. We will then see how our tests use element locators such as CSS,...

Learning to Solve Problems: A Handbook for Designing Problem-Solving Learning Environments

Routledge, 2010

This book provides a comprehensive, up-to-date look at problem solving research and practice over the last fifteen years. The first chapter describes differences in types of problems, individual differences among problem-solvers, as well as the domain and context within which a problem is being solved. Part one describes six kinds...

Result Page: 33 32 31 30 29 28 27 26 25 24 23