Ulrich Furbach

Development and environment problems have reached such alarming proportions that the very survival of humanity is now subject to critical and unprecedented threats. In its latest report, the German Advisory Council on Global Change (WBGU) criticizes Germany's global change research community for its lack of international orientation, its bias towards individual disciplines and for its weaknesses in translating scientific results into a form readily accessible to policymakers. The Council identifies alternatives for restructuring the research landscape, focusing primarily on a new 'Syndrome Approach' for global change research. By applying this tool, scientists can systematically describe and analyze the 'diseases' afflicting the Earth System, and thus elaborate response options.

Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings

Logic Programming and Nonmonotonic Reasoning

Ulrike Barthelmeß

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. User data has become a valuable commodity. We live and work with computer systems that behave intelligently or are even intelligent. Questions like "Can machines be intelligent?" or "Can they have emotions or a consciousness?" keep popping up. To enable readers to form their own opinion on these questions, the authors clearly explain individual techniques or methods of AI and relate them to approaches from philosophy, art and neurobiology. Topics such as logical reasoning, knowledge and memory play just as important a role as machine learning and artificial neural networks. In the foreground is the question of what constitutes memory and thinking, what role our emotions play when we as humans move through life, through the world. A book that offers unusual perspectives on artificial intelligence.

On Tour with Bergson, Proust and Nabokov

A Different Look at Artificial Intelligence

This volume contains the research papers presented at KI 2005, the 28th German Conference on Artificial Intelligence, held September 11 –14, 2005 in Koblenz, Germany.

28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings

KI 2005: Advances in Artificial Intelligence

This book constitutes the refereed proceedings of the 28th Annual German Conference on Artificial Intelligence, KI 2005, held in Koblenz, Germany, in September 2005 - co-located with the 3rd German Conference on Multiagent System Technologies (MATES 2005). The 29 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 113 submissions. The papers are organized in topical sections on knowledge representation and reasoning, machine learning, diagnosis, neural networks, planning, robotics, and cognitive modeling, philosopy, natural language.

Ashish Ghosh

Aravindan Chandrabose

Anand Kumar M.

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. The papers are organized in the following topical sections: computational intelligence for text analysis; computational intelligence for image and video analysis; and data science.

Third IFIP TC 12 International Conference, ICCIDS 2020, Chennai, India, February 20–22, 2020, Revised Selected Papers

Computational Intelligence in Data Science

Natarajan Shankar

Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, Washington, USA, August 2006. The book presents 41 revised full research papers and 8 revised system descriptions, with 3 invited papers and a summary of a systems competition. The papers are organized in topical sections on proofs, search, higher-order logic, proof theory, proof checking, combination, decision procedures, CASC-J3, rewriting, and description logic.

Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Automated Reasoning

John Lloyd

Kung-Kiu Lau

Peter J. Stuckey

Veronica Dahl

Manfred Kerber

Catuscia Palamidessi

Luis M. Pereira

Yehoshua Sagiv

These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases (DOOD 2000) { 10th International Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International Conference on Inductive Logic Programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { Logic Programming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { Knowledge Representation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { Logic Programming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream.

First International Conference London, UK, July 24–28, 2000 Proceedings

Computational Logic — CL 2000

Warum werden Roboter oft als bedrohlich empfunden? Können künstliche Systeme Emotionen und Bewusstsein haben? Die Autoren gehen von der These aus, dass die Literatur- und Geistesgeschichte uns helfen kann, aktuelle Entwicklungen der Robotik unvoreingenommen zu betrachten. Denn ob es um mittelalterliche Mythen, androide Roboter der Romantik, die Aufklärung oder die Entwicklung der künstlichen Intelligenz geht, stets stellt sich die Frage nach dem, was der Mensch ist, was sein Bewusstsein ausmacht und was ihn von anderen Wesen unterscheidet.

Ulrich Furbach

Books

Your next favorite book is out there