Ulrich Furbach - Böcker

This book constitutes the refereed post-conference proceedings of the Third IFIP TC 12 International Conference on Computational Intelligence in Data Science, ICCIDS 2020, held in Chennai, India, in February 2020.The 19 revised full papers and 8 revised short papers presented were carefully reviewed and selected from 94 submissions.

This book constitutes the refereed post-conference proceedings of the Third IFIP TC 12 International Conference on Computational Intelligence in Data Science, ICCIDS 2020, held in Chennai, India, in February 2020.The 19 revised full papers and 8 revised short papers presented were carefully reviewed and selected from 94 submissions.

ThisvolumecontainstheresearchpaperspresentedatKI2005,the28thGerman Conference on Arti?cial Intelligence, held September 11-14, 2005 in Koblenz, Germany. KI 2005 was part of the International Conference Summer Koblenz 2005, which included conferences covering a broad spectrum of topics that are all related to AI: tableau-based reasoningmethods (TABLEAUX), multi-agent s- tems (MATES), automated reasoningand knowledgerepresentation(FTP), and software engineering and formal methods (SEFM). The Program Committee received 113 submissions from 22 countries. Each paperwasreviewedbythreereferees;afteranintensivediscussionabouttheb- derline papers during the online meeting of the Program Committee, 29 papers were accepted for publication in this proceedings volume. The program included three outstanding keynote talks: Ian Horrocks (U- versityofManchester,UK),LucSteels(UniversityofBrusselsandSony)and- bastian Thrun (Stanford University), who covered topics like logical foundation, cognitive abilities of multi-agent systems and the DARPA Grand Challenge. KI 2005 also included two excellent tutorials: Techniques in Evolutionary Robotics and Neurodynamics (Frank Pasemann, Martin Hulse, .. Ste?en Wis- mann and Keyan Zahedi) and Connectionist Knowledge Representation and Reasoning (Barbara Hammer and Pascal Hitzler).Many thanks to the tu- rial presenters and the tutorial chair Joachim Hertzberg. Peter Baumgartner, in hisroleasaworkshopchair,collected11workshopsfromallareasofAIresearch, whichalsoincludes ameeting ofthe GermanPriorityProgramonKooperierende Teams mobiler Roboter in dynamischen Umgebungen. I want to sincerely thank all the authors who submitted their work for c- sideration and the Program Committee members and the additional referees for theirgreate?ortandprofessionalworkinthereviewandselectionprocess.Their names are listed on the following pages.

This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, WA, USA in August 2006 as part of the 4th Federated Logic Conference, FLoC 2006.

This book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '97, held in Dagstuhl Castle, Germany, in July 1997.The volume presents 19 revised regular papers together with 10 system descriptions and five abstracts of invited presentations. The papers included report state-of-the-art research and development in the interdisciplinary area of logic programming and logical foundations of artificial intelligence.

This book constitutes the refereed proceedings of the European Workshop on Logics in Artificial Intelligence, JELTA '98, held in Dagstuhl, Germany, in October 1998.The 25 revised full papers presented were carefully selected from a total of 65 submissions. Also included are two abstracts of invited talks. The papers are organized in topical sections on logic programming, epistemic logics, theorem proving, non-monotonic reasoning, non-standard logics, knowledge representation, and higher order logics.

This book constitutes the refereed proceedings of the First International Conference on Computational Logic, CL 2000, held in London, UK in July 2000. The 86 revised full papers presented together with five invited papers were carefully reviewed and selected from a total of 176 submissions. In accordance with the seven streams, the papers are organized in sections on program development, logic programming - theory and extensions, constraints, automated deduction - putting theory into practice, knowledge representation and nonmonotonic reasoning, database systems, and logic programming - implementations and applications.

Warum werden Roboter oft als bedrohlich oder ihr Einsatz als unsozial empfunden? Können künstliche Systeme Emotionen und Bewusstsein haben? Die These des Buches ist es, dass wir von den unterschiedlichen Sichtweisen der Literatur- und Geistesgeschichte profitieren und dadurch aktuelle Entwicklungen der Robotik unvoreingenommen aufnehmen können. Besonders deutlich werden die unterschiedlichen Sichtweisen, wenn mittelalterliche Golem-Mythen, die Philosophie der Aufklärung, androide Roboter aus der Romantik und die Entwicklung im 20. Jahrhundert betrachtet werden. Dabei erfahren wir auch einiges über die geistesgeschichtliche Entwicklung des Menschen, denn stets stellt sich auch die Frage nach dem, was der Mensch ist, was sein Bewusstsein ausmacht und was ihn von anderen Wesen oder Robotern unterscheidet. Gedanken zu den Möglichkeiten der Künstlichen Intelligenz und der aktuellen Determiniertheits-Debatte der Menschen runden das Buch ab.

Unaufhaltsam erobert die Digitalisierung unser Leben – auch mit Methoden der künstlichen Intelligenz (KI). Die Suchmaschinen-, die sozialen Netzwerk- oder die Versandplattform-Betreiber wissen zunehmend mehr von uns, über unsere Kauf- und Lebensgewohnheiten. Nutzerdaten sind ein wertvolles Wirtschaftsgut geworden. Wir leben und arbeiten mit Computersystemen, die sich intelligent verhalten oder gar intelligent sind. Dabei tauchen immer wieder Fragen auf wie „Können Maschinen intelligent sein?“ oder „Können sie Emotionen oder ein Bewusstsein haben?“. Damit sich Leser zu diesen Fragen ein eigenes Bild machen können, erläutern die Autoren anschaulich einzelne Techniken oder Methoden der KI und bringen diese mit Ansätzen aus Philosophie, Kunst und Neurobiologie in Zusammenhang. Dabei spielen Themen wie logisches Schließen, Wissen und Erinnern genauso eine Rolle wie maschinelles Lernen und künstliche neuronale Netze. Im Vordergrund steht die Frage, was Gedächtnis und Denken ausmacht, welche Rolle unsere Emotionen spielen, wenn wir uns als Menschen im Leben, in der Welt bewegen. Ein Buch, das ungewohnte Perspektiven auf die künstliche Intelligenz bietet.

Digitalization is inexorably conquering our lives - also with artificial intelligence (AI) methods. Search engine operators, social network operators and shipping platform operators know more and more about us, about our buying and living habits. We live and work with computer systems that behave intelligently or are even intelligent.