Author: Bernhard Nebel
Publisher: Morgan Kaufmann Publishers
ISBN:
Category : Computers
Languages : en
Pages : 834
Book Description
Stringently reviewed papers presented at the October 1992 meeting held in Cambridge, Mass., address such topics as nonmonotonic logic; taxonomic logic; specialized algorithms for temporal, spatial, and numerical reasoning; and knowledge representation issues in planning, diagnosis, and natural langu
Principles of Knowledge Representation and Reasoning
Author: Bernhard Nebel
Publisher: Morgan Kaufmann Publishers
ISBN:
Category : Computers
Languages : en
Pages : 834
Book Description
Stringently reviewed papers presented at the October 1992 meeting held in Cambridge, Mass., address such topics as nonmonotonic logic; taxonomic logic; specialized algorithms for temporal, spatial, and numerical reasoning; and knowledge representation issues in planning, diagnosis, and natural langu
Publisher: Morgan Kaufmann Publishers
ISBN:
Category : Computers
Languages : en
Pages : 834
Book Description
Stringently reviewed papers presented at the October 1992 meeting held in Cambridge, Mass., address such topics as nonmonotonic logic; taxonomic logic; specialized algorithms for temporal, spatial, and numerical reasoning; and knowledge representation issues in planning, diagnosis, and natural langu
Machine Learning Proceedings 1992
Author: Peter Edwards
Publisher: Morgan Kaufmann
ISBN: 1483298531
Category : Computers
Languages : en
Pages : 497
Book Description
Machine Learning Proceedings 1992
Publisher: Morgan Kaufmann
ISBN: 1483298531
Category : Computers
Languages : en
Pages : 497
Book Description
Machine Learning Proceedings 1992
Artificial Intelligence
Author: Nils J. Nilsson
Publisher: Elsevier
ISBN: 0080499457
Category : Computers
Languages : en
Pages : 605
Book Description
Intelligent agents are employed as the central characters in this new introductory text. Beginning with elementary reactive agents, Nilsson gradually increases their cognitive horsepower to illustrate the most important and lasting ideas in AI. Neural networks, genetic programming, computer vision, heuristic search, knowledge representation and reasoning, Bayes networks, planning, and language understanding are each revealed through the growing capabilities of these agents. The book provides a refreshing and motivating new synthesis of the field by one of AI's master expositors and leading researchers. Artificial Intelligence: A New Synthesis takes the reader on a complete tour of this intriguing new world of AI. - An evolutionary approach provides a unifying theme - Thorough coverage of important AI ideas, old and new - Frequent use of examples and illustrative diagrams - Extensive coverage of machine learning methods throughout the text - Citations to over 500 references - Comprehensive index
Publisher: Elsevier
ISBN: 0080499457
Category : Computers
Languages : en
Pages : 605
Book Description
Intelligent agents are employed as the central characters in this new introductory text. Beginning with elementary reactive agents, Nilsson gradually increases their cognitive horsepower to illustrate the most important and lasting ideas in AI. Neural networks, genetic programming, computer vision, heuristic search, knowledge representation and reasoning, Bayes networks, planning, and language understanding are each revealed through the growing capabilities of these agents. The book provides a refreshing and motivating new synthesis of the field by one of AI's master expositors and leading researchers. Artificial Intelligence: A New Synthesis takes the reader on a complete tour of this intriguing new world of AI. - An evolutionary approach provides a unifying theme - Thorough coverage of important AI ideas, old and new - Frequent use of examples and illustrative diagrams - Extensive coverage of machine learning methods throughout the text - Citations to over 500 references - Comprehensive index
Constraint-Based Agents
Author: Alexander Nareyek
Publisher: Springer
ISBN: 3540457461
Category : Computers
Languages : en
Pages : 187
Book Description
Autonomous agents have become a vibrant research and development topic in recent years attracting activity and attention from various areas. The basic agent concept incorporates proactive autonomous units with goal-directed-behaviour and communication capabilities. The book focuses on autonomous agents that can act in a goal directed manner under real time constraints and incomplete knowledge, being situated in a dynamic environment where resources may be restricted. To satisfy such complex requirements, the author improves, combines, and applies results from areas like planning, constraint programming, and local search. The formal framework developed is evaluated by application to the field of computer games, which fit the problem context very well since most of them are played in real time and provide a highly interactive environment where environmental situations are changing rapidly.
Publisher: Springer
ISBN: 3540457461
Category : Computers
Languages : en
Pages : 187
Book Description
Autonomous agents have become a vibrant research and development topic in recent years attracting activity and attention from various areas. The basic agent concept incorporates proactive autonomous units with goal-directed-behaviour and communication capabilities. The book focuses on autonomous agents that can act in a goal directed manner under real time constraints and incomplete knowledge, being situated in a dynamic environment where resources may be restricted. To satisfy such complex requirements, the author improves, combines, and applies results from areas like planning, constraint programming, and local search. The formal framework developed is evaluated by application to the field of computer games, which fit the problem context very well since most of them are played in real time and provide a highly interactive environment where environmental situations are changing rapidly.
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.
Principles of Knowledge Representation and Reasoning
Author: Luigia Carlucci Aiello
Publisher: Morgan Kaufmann
ISBN:
Category : Computers
Languages : en
Pages : 696
Book Description
Publisher: Morgan Kaufmann
ISBN:
Category : Computers
Languages : en
Pages : 696
Book Description
KI-95: Advances in Artificial Intelligence
Author: Ipke Wachsmuth
Publisher: Springer Science & Business Media
ISBN: 9783540603436
Category : Computers
Languages : en
Pages : 292
Book Description
This book constitutes the proceedings of the 19th Annual German Conference on Artificial Intelligence, KI-95, held in Bielefeld in September 1995. The volume opens with full versions of four invited papers devoted to the topic "From Intelligence Models to Intelligent Systems". The main part of the book consists of 17 refereed full papers carefully relected by the program committee; these papers are organized in sections on knowledge organization and optimization, logic and reasoning, nonmonotonicity, action and change, and spatial reasoning.
Publisher: Springer Science & Business Media
ISBN: 9783540603436
Category : Computers
Languages : en
Pages : 292
Book Description
This book constitutes the proceedings of the 19th Annual German Conference on Artificial Intelligence, KI-95, held in Bielefeld in September 1995. The volume opens with full versions of four invited papers devoted to the topic "From Intelligence Models to Intelligent Systems". The main part of the book consists of 17 refereed full papers carefully relected by the program committee; these papers are organized in sections on knowledge organization and optimization, logic and reasoning, nonmonotonicity, action and change, and spatial reasoning.
Advances in Artificial Intelligence -- IBERAMIA 2004
Author: Christian Lemaitre
Publisher: Springer
ISBN: 3540304983
Category : Computers
Languages : en
Pages : 1005
Book Description
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 systems, knowledge engineering and case-based reasoning, planning and scheduling, machine learning and knowledge acquisition, natural language processing, knowledge representation and reasoning, knowledge discovery and data mining, robotics, computer vision, uncertainty and fuzzy systems, genetic algorithms and neural networks, AI in education, and miscellaneous topics.
Publisher: Springer
ISBN: 3540304983
Category : Computers
Languages : en
Pages : 1005
Book Description
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 systems, knowledge engineering and case-based reasoning, planning and scheduling, machine learning and knowledge acquisition, natural language processing, knowledge representation and reasoning, knowledge discovery and data mining, robotics, computer vision, uncertainty and fuzzy systems, genetic algorithms and neural networks, AI in education, and miscellaneous topics.
Artificial Intelligence Planning Systems
Author: James Hendler
Publisher: Morgan Kaufmann
ISBN: 9781558602502
Category : Artificial intelligence
Languages : en
Pages : 340
Book Description
Publisher: Morgan Kaufmann
ISBN: 9781558602502
Category : Artificial intelligence
Languages : en
Pages : 340
Book Description
Probability
Author: Leo Breiman
Publisher: SIAM
ISBN: 9780898712964
Category : Mathematics
Languages : en
Pages : 740
Book Description
Approximation of Large-Scale Dynamical Systems
Publisher: SIAM
ISBN: 9780898712964
Category : Mathematics
Languages : en
Pages : 740
Book Description
Approximation of Large-Scale Dynamical Systems