Stefan Edelkamp - Böcker

Visar alla böcker från författaren Stefan Edelkamp. Handla med fri frakt och snabb leverans.

9 produkter

Kategorier

9 produkter

Heuristic Search

Theory and Applications

AvStefan Edelkamp,Stefan Schroedl

Inbunden, Engelska, 2011

836 kr

Skickas inom 7-10 vardagar

Search has been vital to artificial intelligence from the very beginning as a core technique in problem solving. The authors present a thorough overview of heuristic search with a balance of discussion between theoretical analysis and efficient implementation and application to real-world problems. Current developments in search such as pattern databases and search with efficient use of external memory and parallel processing units on main boards and graphics cards are detailed.

Heuristic search as a problem solving tool is demonstrated in applications for puzzle solving, game playing, constraint satisfaction and machine learning. While no previous familiarity with heuristic search is necessary the reader should have a basic knowledge of algorithms, data structures, and calculus. Real-world case studies and chapter ending exercises help to create a full and realized picture of how search fits into the world of artificial intelligence and the one around us.

Provides real-world success stories and case studies for heuristic search algorithms Includes many AI developments not yet covered in textbooks such as pattern databases, symbolic search, and parallel processing units

Del 12873 - Lecture Notes in Computer Science

KI 2021: Advances in Artificial Intelligence

44th German Conference on AI, Virtual Event, September 27 – October 1, 2021, Proceedings

AvStefan Edelkamp,Ralf Möllerm. fl.

Häftad, Engelska, 2021

781 kr

Skickas inom 10-15 vardagar

This book constitutes the refereed proceedings of the 44th German Conference on Artificial Intelligence, KI 2021, held in September/October 2021. Due to COVID-19 pandemic the conference was held virtually. The 16 full and 4 short papers with one extended abstract were carefully reviewed and selected from 59 submissions.

Computer Games

Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers

AvTristan Cazenave,Mark H.M. Winandsm. fl.

Häftad, Engelska, 2016

554 kr

Skickas inom 10-15 vardagar

This book constitutes the refereed proceedings of the Fourth Computer Games Workshop, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, held in conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, in July 2015.The 12 revised full papers presented were carefully reviewed and selected from 27 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; reasoning; search.

Computer Games

5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers

AvTristan Cazenave,Mark H.M. Winandsm. fl.

Häftad, Engelska, 2017

554 kr

Skickas inom 10-15 vardagar

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.

Algorithmic Intelligence

Towards an Algorithmic Foundation for Artificial Intelligence

AvStefan Edelkamp

Inbunden, Engelska, 2023

2 320 kr

Skickas inom 7-10 vardagar

In this book the author argues that the basis of what we consider computer intelligence has algorithmic roots, and he presents this with a holistic view, showing examples and explaining approaches that encompass theoretical computer science and machine learning via engineered algorithmic solutions. Part I of the book introduces the basics.

Algorithmic Intelligence : Towards an Algorithmic Foundation for Artificial Intelligence

AvStefan Edelkamp

Engelska, 2023

634 kr

Skickas inom 5-8 vardagar

Model Checking Software

14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

AvDragan Bosnacki,Stefan Edelkamp

Häftad, Engelska, 2007

554 kr

Skickas inom 10-15 vardagar

This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentation papers and the abstracts of two invited talks. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations.

Model Checking and Artificial Intelligence

4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

AvStefan Edelkamp,Alessio Lomuscio

Häftad, Engelska, 2007

554 kr

Skickas inom 10-15 vardagar

The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are presented in this volume. Eight full workshop papers are presented along with three post-proceedings papers. Papers are organized into topical sections covering planning and model checking, heuristics for real-time model checking, verification of multi-agent systems, and logics for model checking and artificial intelligence.

KI 2011: Advances in Artificial Intelligence

34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011, Proceedings

AvJoscha Bach,Stefan Edelkamp

Häftad, Engelska, 2011

554 kr

Skickas inom 10-15 vardagar

This book constitutes the refereed proceedings of the 34th Annual German Conference on Artificial Intelligence, KI 2011, held in Berlin, Germany, in October 2011.The 32 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 81 submissions. The papers are divided in topical sections on computational learning and datamining, knowledge representation and reasonings, augmented reality, swarm intelligence; and planning and scheduling.

Företag, bibliotek eller offentlig verksamhet?

Stefan Edelkamp - Böcker

Heuristic Search

KI 2021: Advances in Artificial Intelligence

Computer Games

Computer Games

Algorithmic Intelligence

Algorithmic Intelligence : Towards an Algorithmic Foundation for Artificial Intelligence

Model Checking Software

Model Checking and Artificial Intelligence

KI 2011: Advances in Artificial Intelligence

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration