Author: D. Barbucha
Publisher: IOS Press
ISBN: 1614992541
Category : Computers
Languages : en
Pages : 484
Book Description
The field of agent and multi-agent systems is concerned with the development and evaluation of sophisticated, AI-based, problem solving and control architectures for both single and multi-agent systems. This book presents the proceedings of the 7th KES Conference on Agent and Multi-agent Systems – Technologies and Applications (KES-AMSTA 2013), held in Hue City, Vietnam, in May 2013. The KES-AMSTA 2013 conference provides an internationally respected forum for scientific research in the technologies and applications of agent and multi-agent systems. In all, 44 papers were selected for oral presentation and publication in this volume. Special attention is paid to the feature topics of intelligent technologies and applications in the area of e-health, social networking, self-organizing systems, economics and trust management. Other topics covered include: agent oriented software engineering; beliefs engineering; desires and intentions representation; agent cooperation, coordination, negotiation, organization and communication; distributed problem-solving; specification of agent communication languages; formalization of ontologies; and conversational agents. The book highlights new trends and challenges in agent and multi-agent research, and will be of interest to the research community working in the fields of artificial intelligence, collective computational intelligence, robotics, dialogue systems and, in particular, agent and multi-agent systems, technologies and applications.
Advanced Methods and Technologies for Agent and Multi-Agent Systems
Principles and Practice of Constraint Programming
Author: Barry O'Sullivan
Publisher: Springer
ISBN: 3319104284
Category : Mathematics
Languages : en
Pages : 965
Book Description
This book constitutes the refereed conference proceedings of the 20th International Conference on Principles and Practice of Constraint Programming, CP 2014, held in Lyon, France, in September 2014. The 65 revised papers presented together with 4 invited talks were carefully selected from 108 submissions. The scope of CP 2014 includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, and agreement technologies.
Publisher: Springer
ISBN: 3319104284
Category : Mathematics
Languages : en
Pages : 965
Book Description
This book constitutes the refereed conference proceedings of the 20th International Conference on Principles and Practice of Constraint Programming, CP 2014, held in Lyon, France, in September 2014. The 65 revised papers presented together with 4 invited talks were carefully selected from 108 submissions. The scope of CP 2014 includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, and agreement technologies.
Computer Games
Author: Tristan Cazenave
Publisher: Springer
ISBN: 331957969X
Category : Computers
Languages : en
Pages : 188
Book Description
This book constitutes the refereed proceedings of the 5th Computer Games Workshop, CGW 2016, and the 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, held in conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, in New York, USA, in July 2016.The 12 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers address all aspects of artificial intelligence and computer game playing. They discuss topics such as Monte-Carlo methods; heuristic search; board games; card games; video games; perfect and imperfect information games; puzzles and single player games; multi-player games; combinatorial game theory; applications; computational creativity; computational game theory; evaluation and analysis; game design; knowledge representation; machine learning; multi-agent systems; opponent modeling; planning.
Publisher: Springer
ISBN: 331957969X
Category : Computers
Languages : en
Pages : 188
Book Description
This book constitutes the refereed proceedings of the 5th Computer Games Workshop, CGW 2016, and the 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, held in conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, in New York, USA, in July 2016.The 12 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers address all aspects of artificial intelligence and computer game playing. They discuss topics such as Monte-Carlo methods; heuristic search; board games; card games; video games; perfect and imperfect information games; puzzles and single player games; multi-player games; combinatorial game theory; applications; computational creativity; computational game theory; evaluation and analysis; game design; knowledge representation; machine learning; multi-agent systems; opponent modeling; planning.
Information Modelling and Knowledge Bases XXIV
Author: Peter Vojtáš
Publisher: IOS Press
ISBN: 1614991766
Category : Computers
Languages : en
Pages : 376
Book Description
With the growth in our reliance on information systems and computer science information modeling and knowledge bases have become a focus for academic attention and research. The amount and complexity of information, the number of levels of abstraction and the size of databases and knowledge bases all continue to increase, and new challenges and problems arise every day.This book is part of the series Information Modelling and Knowledge Bases, which concentrates on a variety of themes such as the design and specification of information systems, software engineering and knowledge and process management.
Publisher: IOS Press
ISBN: 1614991766
Category : Computers
Languages : en
Pages : 376
Book Description
With the growth in our reliance on information systems and computer science information modeling and knowledge bases have become a focus for academic attention and research. The amount and complexity of information, the number of levels of abstraction and the size of databases and knowledge bases all continue to increase, and new challenges and problems arise every day.This book is part of the series Information Modelling and Knowledge Bases, which concentrates on a variety of themes such as the design and specification of information systems, software engineering and knowledge and process management.
Computational Approaches to Assistive Technologies for People with Disabilities
Author: N.J. Cercone
Publisher: IOS Press
ISBN: 1614992584
Category : Computers
Languages : en
Pages : 276
Book Description
Assistive technologies have become increasingly important for people with disabilities in recent years. This book is the result of over a decade of research into computational approaches to assistive technology. Its chapters are based on a number of graduate theses, successfully completed over the past dozen or so years under the supervision of Kanlaya Naruedomkul of Mahidol University in Bangkok, Thailand and Nick Cercone of York University, Toronto, Canada. Some applications in the chapters use Thai language examples, but the techniques employed are not restricted to any single language. Each chapter is based on the Ph.D. work of a former or current student, suitably updated and presented for interested readers. The book is divided into four sections. Following an introduction, which includes a review of assistive technology products, part two covers applications, and includes chapters on alternative sign text MT for language learning, lexical simplification using word sense disambiguation and detecting and rating dementia through lexical analysis of spontaneous speech. Part three deals with theories and systems, and includes: granules for learning behavior, rough sets methods and applications for medical data and multimedia support systems as assistive technology for hearing impaired students. Part four presents a conclusion which includes a look into the future. Although this book is not a comprehensive treatise on assistive technology, it nevertheless provides a fascinating look at recent research, and will be of interest to all those whose work involves the application of assistive technologies for people with disabilities.
Publisher: IOS Press
ISBN: 1614992584
Category : Computers
Languages : en
Pages : 276
Book Description
Assistive technologies have become increasingly important for people with disabilities in recent years. This book is the result of over a decade of research into computational approaches to assistive technology. Its chapters are based on a number of graduate theses, successfully completed over the past dozen or so years under the supervision of Kanlaya Naruedomkul of Mahidol University in Bangkok, Thailand and Nick Cercone of York University, Toronto, Canada. Some applications in the chapters use Thai language examples, but the techniques employed are not restricted to any single language. Each chapter is based on the Ph.D. work of a former or current student, suitably updated and presented for interested readers. The book is divided into four sections. Following an introduction, which includes a review of assistive technology products, part two covers applications, and includes chapters on alternative sign text MT for language learning, lexical simplification using word sense disambiguation and detecting and rating dementia through lexical analysis of spontaneous speech. Part three deals with theories and systems, and includes: granules for learning behavior, rough sets methods and applications for medical data and multimedia support systems as assistive technology for hearing impaired students. Part four presents a conclusion which includes a look into the future. Although this book is not a comprehensive treatise on assistive technology, it nevertheless provides a fascinating look at recent research, and will be of interest to all those whose work involves the application of assistive technologies for people with disabilities.
Foundations of Information and Knowledge Systems
Author: Marc Gyssens
Publisher: Springer
ISBN: 3319300245
Category : Mathematics
Languages : en
Pages : 365
Book Description
This book constitutes the proceedings of the 9th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2016, held in Linz, Austria, in March 2016. The 14 revised full papers presented papers were carefully reviewed and selected from 23 submissions. The papers address various topics such as reasoning about beliefs, uncertainty, incompleteness, and inconsistency, inference and problem solving, querying and pattern mining, dealing with knowledge, logics and complexity.
Publisher: Springer
ISBN: 3319300245
Category : Mathematics
Languages : en
Pages : 365
Book Description
This book constitutes the proceedings of the 9th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2016, held in Linz, Austria, in March 2016. The 14 revised full papers presented papers were carefully reviewed and selected from 23 submissions. The papers address various topics such as reasoning about beliefs, uncertainty, incompleteness, and inconsistency, inference and problem solving, querying and pattern mining, dealing with knowledge, logics and complexity.
Logic for Programming, Artificial Intelligence, and Reasoning
Author: Martin Davis
Publisher: Springer
ISBN: 366248899X
Category : Computers
Languages : en
Pages : 652
Book Description
This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji. The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, LPAR, is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.
Publisher: Springer
ISBN: 366248899X
Category : Computers
Languages : en
Pages : 652
Book Description
This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji. The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, LPAR, is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.
Computers and Games
Author: H. Jaap van den Herik
Publisher: Springer
ISBN: 3319091654
Category : Computers
Languages : en
Pages : 275
Book Description
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Computers and Games, CG 2013, held in Yokohama, Japan, in August 2013, in conjunction with the 17th Computer and Games Tournament and the 20th World Computer-Chess Championship. The 21 papers presented were carefully reviewed and selected for inclusion in this book. They cover a wide range of topics which are grouped into five classes: Monte Carlo Tree Search and its enhancements; solving and searching; analysis of game characteristic; new approaches; and serious games.
Publisher: Springer
ISBN: 3319091654
Category : Computers
Languages : en
Pages : 275
Book Description
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Computers and Games, CG 2013, held in Yokohama, Japan, in August 2013, in conjunction with the 17th Computer and Games Tournament and the 20th World Computer-Chess Championship. The 21 papers presented were carefully reviewed and selected for inclusion in this book. They cover a wide range of topics which are grouped into five classes: Monte Carlo Tree Search and its enhancements; solving and searching; analysis of game characteristic; new approaches; and serious games.
Computational Creativity Research: Towards Creative Machines
Author: Tarek R. Besold
Publisher: Springer
ISBN: 9462390851
Category : Computers
Languages : en
Pages : 417
Book Description
Computational Creativity, Concept Invention, and General Intelligence in their own right all are flourishing research disciplines producing surprising and captivating results that continuously influence and change our view on where the limits of intelligent machines lie, each day pushing the boundaries a bit further. By 2014, all three fields also have left their marks on everyday life – machine-composed music has been performed in concert halls, automated theorem provers are accepted tools in enterprises’ R&D departments, and cognitive architectures are being integrated in pilot assistance systems for next generation airplanes. Still, although the corresponding aims and goals are clearly similar (as are the common methods and approaches), the developments in each of these areas have happened mostly individually within the respective community and without closer relationships to the goings-on in the other two disciplines. In order to overcome this gap and to provide a common platform for interaction and exchange between the different directions, the International Workshops on “Computational Creativity, Concept Invention, and General Intelligence” (C3GI) have been started. At ECAI-2012 and IJCAI-2013, the first and second edition of C3GI each gathered researchers from all three fields, presenting recent developments and results from their research and in dialogue and joint debates bridging the disciplinary boundaries. The chapters contained in this book are based on expanded versions of accepted contributions to the workshops and additional selected contributions by renowned researchers in the relevant fields. Individually, they give an account of the state-of-the-art in their respective area, discussing both, theoretical approaches as well as implemented systems. When taken together and looked at from an integrative perspective, the book in its totality offers a starting point for a (re)integration of Computational Creativity, Concept Invention, and General Intelligence, making visible common lines of work and theoretical underpinnings, and pointing at chances and opportunities arising from the interplay of the three fields.
Publisher: Springer
ISBN: 9462390851
Category : Computers
Languages : en
Pages : 417
Book Description
Computational Creativity, Concept Invention, and General Intelligence in their own right all are flourishing research disciplines producing surprising and captivating results that continuously influence and change our view on where the limits of intelligent machines lie, each day pushing the boundaries a bit further. By 2014, all three fields also have left their marks on everyday life – machine-composed music has been performed in concert halls, automated theorem provers are accepted tools in enterprises’ R&D departments, and cognitive architectures are being integrated in pilot assistance systems for next generation airplanes. Still, although the corresponding aims and goals are clearly similar (as are the common methods and approaches), the developments in each of these areas have happened mostly individually within the respective community and without closer relationships to the goings-on in the other two disciplines. In order to overcome this gap and to provide a common platform for interaction and exchange between the different directions, the International Workshops on “Computational Creativity, Concept Invention, and General Intelligence” (C3GI) have been started. At ECAI-2012 and IJCAI-2013, the first and second edition of C3GI each gathered researchers from all three fields, presenting recent developments and results from their research and in dialogue and joint debates bridging the disciplinary boundaries. The chapters contained in this book are based on expanded versions of accepted contributions to the workshops and additional selected contributions by renowned researchers in the relevant fields. Individually, they give an account of the state-of-the-art in their respective area, discussing both, theoretical approaches as well as implemented systems. When taken together and looked at from an integrative perspective, the book in its totality offers a starting point for a (re)integration of Computational Creativity, Concept Invention, and General Intelligence, making visible common lines of work and theoretical underpinnings, and pointing at chances and opportunities arising from the interplay of the three fields.
Logic for Programming, Artificial Intelligence, and Reasoning
Author: Ken McMillan
Publisher: Springer
ISBN: 3642452213
Category : Computers
Languages : en
Pages : 806
Book Description
This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa. The 44 regular papers and 8 tool descriptions and experimental papers included in this volume were carefully reviewed and selected from 152 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields and to exchange ideas in a scientifically emerging part of the world.
Publisher: Springer
ISBN: 3642452213
Category : Computers
Languages : en
Pages : 806
Book Description
This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa. The 44 regular papers and 8 tool descriptions and experimental papers included in this volume were carefully reviewed and selected from 152 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields and to exchange ideas in a scientifically emerging part of the world.