


default search action
35. KI 2012: Saarbrücken, Germany
- Birte Glimm, Antonio Krüger

:
KI 2012: Advances in Artificial Intelligence - 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012. Proceedings. Lecture Notes in Computer Science 7526, Springer 2012, ISBN 978-3-642-33346-0
Long Papers
- Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns:

Verification of Behaviour Networks Using Finite-State Automata. 1-12 - Bernhard Beckert, Daniel Bruns:

Formal Semantics of Model Fields in Annotation-Based Specifications. 13-24 - Stefan Edelkamp, Tim Federholzner, Peter Kissmann:

Searching with Partial Belief States in General Games with Incomplete Information. 25-36 - Christian Federmann:

A Machine-Learning Framework for Hybrid Machine Translation. 37-48 - Marc Finthammer, Christoph Beierle:

Using Equivalences of Worlds for Aggregation Semantics of Relational Conditionals. 49-60 - Ben Hennig, Norbert Reithinger:

Developing of a Multimodal Interactive Training System in Therapeutic Calisthenics for Elderly People. 61-72 - Shahin Jabbari, Robert C. Holte, Sandra Zilles:

PAC-Learning with General Class Noise Models. 73-84 - Jens Kessler, Jürgen Strobel, Horst-Michael Gross:

Avoiding Moving Persons by Using Simple Trajectory Prediction and Spatio Temporal Planning. 85-96 - Oliver Kramer:

Unsupervised Nearest Neighbors with Kernels. 97-106 - Steffen Hölldobler, Norbert Manthey, Peter Steinke:

A Compact Encoding of Pseudo-Boolean Constraints into SAT. 107-118 - Nikita Mattar, Ipke Wachsmuth

:
Small Talk Is More than Chit-Chat - Exploiting Structures of Casual Conversations for a Virtual Agent. 119-130 - Benjamin Peherstorfer, Dirk Pflüger, Hans-Joachim Bungartz:

Clustering Based on Density Estimation with Sparse Grids. 131-142 - Marvin R. G. Schiller, Fernand R. Gobet

:
A Comparison between Cognitive and AI Models of Blackjack Strategy Learning. 143-155 - Christoph Schwering, Daniel Beck, Stefan Schiffer

, Gerhard Lakemeyer:
Plan Recognition by Program Execution in Continuous Temporal Domains. 156-167 - Christian Vollmer, Julian Eggert, Horst-Michael Gross:

Modeling Human Motion Trajectories by Sparse Activation of Motion Primitives Learned from Unpartitioned Data. 168-179 - Matthias Westphal, Julien Hué:

Nogoods in Qualitative Constraint-Based Reasoning. 180-192 - David Zastrau, Stefan Edelkamp:

Stochastic Gradient Descent with GPGPU. 193-204 - Xiaomin Zhang, Sandra Zilles, Robert C. Holte:

Improved Query Suggestion by Query Search. 205-216 - Özgür Lütfü Özçep:

Knowledge-Base Revision Using Implications as Hypotheses. 217-228
Short Papers
- Sangkyun Lee

:
Improving Confidence of Dual Averaging Stochastic Online Learning via Aggregation. 229-232 - David Münch, Eckart Michaelsen, Michael Arens

:
Supporting Fuzzy Metric Temporal Logic Based Situation Recognition by Mean Shift Clustering. 233-236 - Kamel Nebhi:

Ontology-Based Information Extraction for French Newspaper Articles. 237-240 - Maciej Ogrodniczuk

, Magdalena Zawislawska
:
Semantic Approach to Identity in Coreference Resolution Task. 241-244 - Tatjana Scheffler

, Rafael Schirru, Paul Lehmann:
Matching Points of Interest from Different Social Networking Sites. 245-248 - Michael Siebers

, Ute Schmid
:
Semi-analytic Natural Number Series Induction. 249-252 - Alexander Volokh, Günter Neumann:

Dependency Parsing with Efficient Feature Extraction. 253-256 - Kristina Y. Yordanova

, Frank Krüger
, Thomas Kirste:
Strategies for Modelling Human Behaviour for Activity Recognition with Precondition-Effect Rules. 257-261 - Mohammad Reza Yousefi, Thomas M. Breuel:

Gated Boosting: Efficient Classifier Boosting and Combining. 262-265

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID







last updated on 2026-07-28 23:26 CEST by the 






