Author: Susanne Biundo
Publisher: Springer
ISBN: 3540446575
Category : Computers
Languages : en
Pages : 382
Book Description
This book constitutes the thoroughly refereed post-proceedings of the 5th European Conference on Planning, ECP'99, held in Durham, UK, in September 1999. The 27 revised full papers presented together with one invited survey were carefully reviewed and selected for inclusion in the book. They address all current aspects of AI planning and scheduling. Several prominent planning paradigms are represented, including planning as satisfiability and other model checking strategies, planning as heuristic state-space search, and Graph-plan-based approaches. Moreover, various new scheduling approaches and combinations of planning and scheduling methods are introduced.
Recent Advances in AI Planning
Author: Susanne Biundo
Publisher: Springer
ISBN: 3540446575
Category : Computers
Languages : en
Pages : 382
Book Description
This book constitutes the thoroughly refereed post-proceedings of the 5th European Conference on Planning, ECP'99, held in Durham, UK, in September 1999. The 27 revised full papers presented together with one invited survey were carefully reviewed and selected for inclusion in the book. They address all current aspects of AI planning and scheduling. Several prominent planning paradigms are represented, including planning as satisfiability and other model checking strategies, planning as heuristic state-space search, and Graph-plan-based approaches. Moreover, various new scheduling approaches and combinations of planning and scheduling methods are introduced.
Publisher: Springer
ISBN: 3540446575
Category : Computers
Languages : en
Pages : 382
Book Description
This book constitutes the thoroughly refereed post-proceedings of the 5th European Conference on Planning, ECP'99, held in Durham, UK, in September 1999. The 27 revised full papers presented together with one invited survey were carefully reviewed and selected for inclusion in the book. They address all current aspects of AI planning and scheduling. Several prominent planning paradigms are represented, including planning as satisfiability and other model checking strategies, planning as heuristic state-space search, and Graph-plan-based approaches. Moreover, various new scheduling approaches and combinations of planning and scheduling methods are introduced.
Recent Advances in AI Planning
Author:
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 396
Book Description
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 396
Book Description
Automated Planning
Author: Malik Ghallab
Publisher: Elsevier
ISBN: 1558608567
Category : Business & Economics
Languages : en
Pages : 665
Book Description
Publisher Description
Publisher: Elsevier
ISBN: 1558608567
Category : Business & Economics
Languages : en
Pages : 665
Book Description
Publisher Description
Recent Advances in Artificial Intelligence Research and Development
Author: Jordi Vitrià
Publisher: IOS Press
ISBN: 9781586034665
Category : Computers
Languages : en
Pages : 468
Book Description
Artificial Intelligence (AI) is a scientific field of longstanding tradition, with origins in the early years of computer science. Today AI has reached a level of maturity that allows us to build highly sophisticated systems which perform very different tasks. Nevertheless, its evolution has opened up a number of new problems, ranging from specific algorithms to system integration, which remain elusive and assure a long life for this research field. Research progress in this area is today an international challenge that must be supported by world-class meetings and organizations, but in spite of this fact, there is also an objective need for meetings and organizations that support and disseminate research at other levels. This book focuses on new and original research on Artificial Intelligence.
Publisher: IOS Press
ISBN: 9781586034665
Category : Computers
Languages : en
Pages : 468
Book Description
Artificial Intelligence (AI) is a scientific field of longstanding tradition, with origins in the early years of computer science. Today AI has reached a level of maturity that allows us to build highly sophisticated systems which perform very different tasks. Nevertheless, its evolution has opened up a number of new problems, ranging from specific algorithms to system integration, which remain elusive and assure a long life for this research field. Research progress in this area is today an international challenge that must be supported by world-class meetings and organizations, but in spite of this fact, there is also an objective need for meetings and organizations that support and disseminate research at other levels. This book focuses on new and original research on Artificial Intelligence.
Artificial Intelligence in Healthcare
Author: Adam Bohr
Publisher: Academic Press
ISBN: 0128184396
Category : Computers
Languages : en
Pages : 385
Book Description
Artificial Intelligence (AI) in Healthcare is more than a comprehensive introduction to artificial intelligence as a tool in the generation and analysis of healthcare data. The book is split into two sections where the first section describes the current healthcare challenges and the rise of AI in this arena. The ten following chapters are written by specialists in each area, covering the whole healthcare ecosystem. First, the AI applications in drug design and drug development are presented followed by its applications in the field of cancer diagnostics, treatment and medical imaging. Subsequently, the application of AI in medical devices and surgery are covered as well as remote patient monitoring. Finally, the book dives into the topics of security, privacy, information sharing, health insurances and legal aspects of AI in healthcare. - Highlights different data techniques in healthcare data analysis, including machine learning and data mining - Illustrates different applications and challenges across the design, implementation and management of intelligent systems and healthcare data networks - Includes applications and case studies across all areas of AI in healthcare data
Publisher: Academic Press
ISBN: 0128184396
Category : Computers
Languages : en
Pages : 385
Book Description
Artificial Intelligence (AI) in Healthcare is more than a comprehensive introduction to artificial intelligence as a tool in the generation and analysis of healthcare data. The book is split into two sections where the first section describes the current healthcare challenges and the rise of AI in this arena. The ten following chapters are written by specialists in each area, covering the whole healthcare ecosystem. First, the AI applications in drug design and drug development are presented followed by its applications in the field of cancer diagnostics, treatment and medical imaging. Subsequently, the application of AI in medical devices and surgery are covered as well as remote patient monitoring. Finally, the book dives into the topics of security, privacy, information sharing, health insurances and legal aspects of AI in healthcare. - Highlights different data techniques in healthcare data analysis, including machine learning and data mining - Illustrates different applications and challenges across the design, implementation and management of intelligent systems and healthcare data networks - Includes applications and case studies across all areas of AI in healthcare data
Planning Algorithms
Author: Steven M. LaValle
Publisher: Cambridge University Press
ISBN: 9780521862059
Category : Computers
Languages : en
Pages : 844
Book Description
Planning algorithms are impacting technical disciplines and industries around the world, including robotics, computer-aided design, manufacturing, computer graphics, aerospace applications, drug design, and protein folding. Written for computer scientists and engineers with interests in artificial intelligence, robotics, or control theory, this is the only book on this topic that tightly integrates a vast body of literature from several fields into a coherent source for teaching and reference in a wide variety of applications. Difficult mathematical material is explained through hundreds of examples and illustrations.
Publisher: Cambridge University Press
ISBN: 9780521862059
Category : Computers
Languages : en
Pages : 844
Book Description
Planning algorithms are impacting technical disciplines and industries around the world, including robotics, computer-aided design, manufacturing, computer graphics, aerospace applications, drug design, and protein folding. Written for computer scientists and engineers with interests in artificial intelligence, robotics, or control theory, this is the only book on this topic that tightly integrates a vast body of literature from several fields into a coherent source for teaching and reference in a wide variety of applications. Difficult mathematical material is explained through hundreds of examples and illustrations.
Planning with Markov Decision Processes
Author: Mausam
Publisher: Morgan & Claypool Publishers
ISBN: 1608458865
Category : Computers
Languages : en
Pages : 213
Book Description
Provides a concise introduction to the use of Markov Decision Processes for solving probabilistic planning problems, with an emphasis on the algorithmic perspective. It covers the whole spectrum of the field, from the basics to state-of-the-art optimal and approximation algorithms.
Publisher: Morgan & Claypool Publishers
ISBN: 1608458865
Category : Computers
Languages : en
Pages : 213
Book Description
Provides a concise introduction to the use of Markov Decision Processes for solving probabilistic planning problems, with an emphasis on the algorithmic perspective. It covers the whole spectrum of the field, from the basics to state-of-the-art optimal and approximation algorithms.
KI-99: Advances in Artificial Intelligence
Author: Wolfram Burgard
Publisher: Springer Science & Business Media
ISBN: 3540664955
Category : Computers
Languages : en
Pages : 321
Book Description
For many years, Arti?cial Intelligence technology has served in a great variety of successful applications. AI researchand researchershave contributed much to the vision of the so-called Information Society. As early as the 1980s, some of us imagined distributed knowledge bases containing the explicable knowledge of a company or any other organization. Today, such systems are becoming reality. In the process, other technologies have had to be developed and AI-technology has blended with them, and companies are now sensitive to this topic. TheInternetandWWWhaveprovidedtheglobalinfrastructure,whileatthe same time companies have become global in nearly every aspect of enterprise. This process has just started, a little experience has been gained, and therefore it is tempting to re?ect and try to forecast, what the next steps may be. This has given us one of the two main topics of the 23rd Annual German Conference on Arti?cial Intelligence (KI-99)held at the University of Bonn: The Knowledge Society. Two of our invited speakers, Helmut Willke, Bielefeld, and Hans-Peter Kriegel, Munich, dwell on di?erent aspects with di?erent perspectives. Helmut Willke deals with the concept of virtual organizations, while Hans-Peter Kriegel applies data mining concepts to pattern recognitiontasks.The three application forums are also part of the Knowledge Society topic: “IT-based innovation for environment and development”, “Knowledge management in enterprises”, and “Knowledgemanagementinvillageandcityplanningoftheinformationsociety”.
Publisher: Springer Science & Business Media
ISBN: 3540664955
Category : Computers
Languages : en
Pages : 321
Book Description
For many years, Arti?cial Intelligence technology has served in a great variety of successful applications. AI researchand researchershave contributed much to the vision of the so-called Information Society. As early as the 1980s, some of us imagined distributed knowledge bases containing the explicable knowledge of a company or any other organization. Today, such systems are becoming reality. In the process, other technologies have had to be developed and AI-technology has blended with them, and companies are now sensitive to this topic. TheInternetandWWWhaveprovidedtheglobalinfrastructure,whileatthe same time companies have become global in nearly every aspect of enterprise. This process has just started, a little experience has been gained, and therefore it is tempting to re?ect and try to forecast, what the next steps may be. This has given us one of the two main topics of the 23rd Annual German Conference on Arti?cial Intelligence (KI-99)held at the University of Bonn: The Knowledge Society. Two of our invited speakers, Helmut Willke, Bielefeld, and Hans-Peter Kriegel, Munich, dwell on di?erent aspects with di?erent perspectives. Helmut Willke deals with the concept of virtual organizations, while Hans-Peter Kriegel applies data mining concepts to pattern recognitiontasks.The three application forums are also part of the Knowledge Society topic: “IT-based innovation for environment and development”, “Knowledge management in enterprises”, and “Knowledgemanagementinvillageandcityplanningoftheinformationsociety”.
Recent Advances in Constraints
Author: Barry O'Sullivan
Publisher: Springer
ISBN: 3540366075
Category : Business & Economics
Languages : en
Pages : 209
Book Description
This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, held in Cork, Ireland in June 2002. The 14 revised full papers presented were carefully selected for inclusion in the book during two rounds of reviewing and revision. Among the topics addressed are verification and debugging of constraint logic programs, modeling and solving CSPs, explanation generation, inference and inconsistency processing, SAT and 0/1 encodings of CSPs, soft constraints and constraint relaxation, real-world applications, and distributed constraint solving.
Publisher: Springer
ISBN: 3540366075
Category : Business & Economics
Languages : en
Pages : 209
Book Description
This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, held in Cork, Ireland in June 2002. The 14 revised full papers presented were carefully selected for inclusion in the book during two rounds of reviewing and revision. Among the topics addressed are verification and debugging of constraint logic programs, modeling and solving CSPs, explanation generation, inference and inconsistency processing, SAT and 0/1 encodings of CSPs, soft constraints and constraint relaxation, real-world applications, and distributed constraint solving.
Logic-Based Artificial Intelligence
Author: Jack Minker
Publisher: Springer Science & Business Media
ISBN: 146151567X
Category : Computers
Languages : en
Pages : 600
Book Description
The use of mathematical logic as a formalism for artificial intelligence was recognized by John McCarthy in 1959 in his paper on Programs with Common Sense. In a series of papers in the 1960's he expanded upon these ideas and continues to do so to this date. It is now 41 years since the idea of using a formal mechanism for AI arose. It is therefore appropriate to consider some of the research, applications and implementations that have resulted from this idea. In early 1995 John McCarthy suggested to me that we have a workshop on Logic-Based Artificial Intelligence (LBAI). In June 1999, the Workshop on Logic-Based Artificial Intelligence was held as a consequence of McCarthy's suggestion. The workshop came about with the support of Ephraim Glinert of the National Science Foundation (IIS-9S2013S), the American Association for Artificial Intelligence who provided support for graduate students to attend, and Joseph JaJa, Director of the University of Maryland Institute for Advanced Computer Studies who provided both manpower and financial support, and the Department of Computer Science. We are grateful for their support. This book consists of refereed papers based on presentations made at the Workshop. Not all of the Workshop participants were able to contribute papers for the book. The common theme of papers at the workshop and in this book is the use of logic as a formalism to solve problems in AI.
Publisher: Springer Science & Business Media
ISBN: 146151567X
Category : Computers
Languages : en
Pages : 600
Book Description
The use of mathematical logic as a formalism for artificial intelligence was recognized by John McCarthy in 1959 in his paper on Programs with Common Sense. In a series of papers in the 1960's he expanded upon these ideas and continues to do so to this date. It is now 41 years since the idea of using a formal mechanism for AI arose. It is therefore appropriate to consider some of the research, applications and implementations that have resulted from this idea. In early 1995 John McCarthy suggested to me that we have a workshop on Logic-Based Artificial Intelligence (LBAI). In June 1999, the Workshop on Logic-Based Artificial Intelligence was held as a consequence of McCarthy's suggestion. The workshop came about with the support of Ephraim Glinert of the National Science Foundation (IIS-9S2013S), the American Association for Artificial Intelligence who provided support for graduate students to attend, and Joseph JaJa, Director of the University of Maryland Institute for Advanced Computer Studies who provided both manpower and financial support, and the Department of Computer Science. We are grateful for their support. This book consists of refereed papers based on presentations made at the Workshop. Not all of the Workshop participants were able to contribute papers for the book. The common theme of papers at the workshop and in this book is the use of logic as a formalism to solve problems in AI.