KI2004wasthe27theditionoftheannualGermanConferenceonArti?cialInt- ligence, which traditionally brings together academic and industrial researchers from all areas of AI and which enjoys increasing international attendance. KI 2004 received 103 submissions from 26 countries. This volume contains the 30 papers that were?nally selected for presentation at the conference. The papers cover quite a broad spectrum of "classical" subareas of AI, like na- ral language processing, neural networks, knowledge representation, reasoning, planning, and search. When looking at this year's contributions, it was exciting to observe that there was a strong trend towards actual real-world applications of AI technology. A majority of contributions resulted from or were motivated by applications in a variety of areas. Examples include applications of pl- ning, where the technology is being exploited for taxiway tra?c control and game playing; natural language processing and knowledge representation are enabling advanced Web-based information processing; and the integration of - sults from automated reasoning, neural networks and machine perception into robotics leads to signi?cantly improved capabilities of autonomous systems. The technical programme of KI 2004 was highlighted by invited talks from outstanding researchers in the areas of automated reasoning, robot planning, constraintreasoning, machinelearning, andsemanticWeb:Jorg · Siekmann(DFKI andUniversityofSaarland, Saarbruc · ken), MalikGhallab(LAAS-CNRS, Toulouse), Franco ı is Fages (INRIA Rocquencourt), Martin Riedmiller (University of - nabru ·ck), andWolfgangWahlster(DFKIandUniversityofSaarland, Saarbruc · ken). Their invited papers are also presented in this volume

The Oxford Handbooks of Political Science are the essential guide to the state of political science today. With engaging contributions from major international scholars, The Oxford Handbook of Law and Politics provides the key point of reference for anyone working on the interception between law and political science.

This volume contains the proceedings of the 20th International Conference on Automated Deduction (CADE-20). It was held July 22–27, 2005 in Tallinn, Estonia...

"Extending from Colorado, USA, on the north to the state of Chihuahua, Mexico, on the south, the Rio Grande rift divides the Colorado Plateau on the west from the interior of the North American craton on the east. This volume focuses on the Rio Grande rift's upper crustal basins and is organized geographically with study areas progressing from north to south. Nineteen chapters cover a variety of topics, including sedimentation history, rift basin geometries and the influence of older structure on rift basin evolution, faulting and strain transfer within and among basins, relations of magmatism to rift tectonism, and basin hydrogeology"--Provided by publisher.

The field of thinking has undergone a revolution in recent years, opening itself up to new perspectives and applications. The traditional focus on laboratory-based thinking has transformed as theoretical work is now being applied to new contexts and real-world issues. This volume presents a state-of-the-art survey of human thinking in everyday life, based around, and in tribute to, one of the field’s most eminent figures: Ken Manktelow. In this collection of cutting-edge research, Manktelow’s collaborators and colleagues review a wide range of important and developing areas of inquiry. This book explores modern perspectives on a variety of traditional and contemporary topics, including Wason’s reasoning tasks, logic, meta-reasoning, and the effect of environment and context on reasoning. The Thinking Mind offers a unique combination of breadth, depth, theoretical exploration and real-world applications, making it an indispensable resource for researchers and students of human thinking.