KI 2006

29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings

AvChristian Freksa,Michael Kohlhase

Häftad, Engelska, 2007

Del i serien Lecture Notes in Computer Science

566 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the thoroughly refereed post-proceedings of the 29th Annual German Conference on Artificial Intelligence, KI 2006, held in Bremen, Germany, in June 2006. This was co-located with RoboCup 2006, the innovative robot soccer world championship, and with ACTUATOR 2006, the 10th International Conference on New Actuators. The 29 revised full papers presented together with two invited contributions were carefully reviewed and selected from 112 submissions.

Produktinformation

Utgivningsdatum:2007-01-18
Mått:155 x 235 x 26 mm
Vikt:715 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:464
Upplaga:2007
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540699118

Utforska kategorier

Artificiell intelligens inom Data och IT

Innehållsförteckning

Session 1. Invited Talk.- Expressivity-Preserving Tempo Transformation for Music – A Case-Based Approach.- Session 2. Cognition and Emotion.- MicroPsi: Contributions to a Broad Architecture of Cognition.- Affective Cognitive Modeling for Autonomous Agents Based on Scherer’s Emotion Theory.- Session 3A. Semantic Web.- OWL and Qualitative Reasoning Models.- Techniques for Fast Query Relaxation in Content-Based Recommender Systems.- Session 3B. Analogy.- Solving Proportional Analogies by E–Generalization.- Building Robots with Analogy-Based Anticipation.- Session 4A. Natural Language.- Classification of Skewed and Homogenous Document Corpora with Class-Based and Corpus-Based Keywords.- Learning an Ensemble of Semantic Parsers for Building Dialog-Based Natural Language Interfaces.- Session 4B. Reasoning.- Game-Theoretic Agent Programming in Golog Under Partial Observability.- Finding Models for Blocked 3-SAT Problems in Linear Time by Systematical Refinement of a Sub-model.- Towards the Computation of Stable Probabilistic Model Semantics.- DiaWOz-II – A Tool for Wizard-of-Oz Experiments in Mathematics.- Session 5. Invited Talk.- Applications of Automated Reasoning.- Session 6A. Ontologies.- On the Scalability of Description Logic Instance Retrieval.- Relation Instantiation for Ontology Population Using the Web.- Session 6B. Spatio-temporal Reasoning.- GeTS – A Specification Language for Geo-Temporal Notions.- Active Monte Carlo Recognition.- Session 7A. Machine Learning.- Cross System Personalization and Collaborative Filtering by Learning Manifold Alignments.- A Partitioning Method for Mixed Feature-Type Symbolic Data Using a Squared Euclidean Distance.- Session 7B. Spatial Reasoning.- On Generalizing Orientation Information in .- Towards the Visualisation ofShape Features The Scope Histogram.- Session 8A. Robot Learning.- A Robot Learns to Know People—First Contacts of a Robot.- Recombinant Rule Selection in Evolutionary Algorithm for Fuzzy Path Planner of Robot Soccer.- Session 8B. Classical AI Problems.- A Framework for Quasi-exact Optimization Using Relaxed Best-First Search.- Gray Box Robustness Testing of Rule Systems.- A Unifying Framework for Hybrid Planning and Scheduling.- Session 9. Agents.- A Hybrid Time Management Approach to Agent-Based Simulation.- Adaptive Multi-agent Programming in GTGolog.- Agent Logics as Program Logics: Grounding KARO.- On the Relationship Between Playing Rationally and Knowing How to Play: A Logical Account.- Special Event. 50 Years Artificial Intelligence.- 1956-1966 How Did It All Begin? - Issues Then and Now.- Fundamental Questions.- Towards the AI Summer.- History of AI in Germany and The Third Industrial Revolution.- Three Decades of Human Language Technology in Germany.- 1996-2006 Autonomous Robots.- Projects and Vision in Robotics.- What Will Happen in Algorithm Country?.

Du kanske också är intresserad av

KI 2006

Kerstin Schill, Michael Kohlhase, Christian Freksa

E-bok

2007

710 kr

Spatial Cognition VIII

David Uttal, Kerstin Schill, Cyrill Stachniss

E-bok

2012

732 kr

Spatial Cognition VIII

Cyrill Stachniss, Kerstin Schill, David Uttal

Häftad, 2012

566 kr

Del 9791

Intelligent Computer Mathematics

Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa

Häftad, 2016

477 kr

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]

Michael Kohlhase

E-bok

2006

732 kr

Symbolic Computation and Automated Reasoning

Manfred Kerber, Michael Kohlhase

Inbunden, 2001

2 003 kr

Symbolic Computation and Automated Reasoning

Michael Kohlhase, Manfred Kerber

E-bok

2001

1 019 kr

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]

Michael Kohlhase

Häftad, 2006

566 kr

Mathematical Knowledge Management

Michael Kohlhase

E-bok

2006

710 kr

Sławomir Nowaczyk, Przemysław Biecek, Neo Christopher Chung, Mauro Vallati, Paweł Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomáš Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova - Artificial Intelligence. ECAI 2023 International Workshops, Häftad

Del 1948

Artificial Intelligence. ECAI 2023 International Workshops

Sławomir Nowaczyk, Przemysław Biecek, Neo Christopher Chung, Mauro Vallati, Paweł Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomáš Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova

Häftad, 2024

1 348 kr