![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
37. KI 2014: Stuttgart, Germany
- Carsten Lutz, Michael Thielscher:
KI 2014: Advances in Artificial Intelligence - 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings. Lecture Notes in Computer Science 8736, Springer 2014, ISBN 978-3-319-11205-3 - Hans van Ditmarsch:
The Ditmarsch Tale of Wonders. 1-12 - Toby Walsh:
Allocation in Practice. 13-24
Cognitive Modeling
- Jacqueline Hofmann, Emanuel Kitzelmann, Ute Schmid
:
Applying Inductive Program Synthesis to Induction of Number Series A Case Study with IGOR2. 25-36 - Claus Zinn:
Algorithmic Debugging and Literate Programming to Generate Feedback in Intelligent Tutoring Systems. 37-48 - Tarek Richard Besold
:
A Note on Chances and Limitations of Psychometric AI. 49-54 - Tarek Richard Besold, Kai-Uwe Kühnberger:
Applying AI for Modeling and Understanding Analogy-Based Classroom Teaching Tools and Techniques. 55-61 - Felix Steffenhagen, Rebecca Albrecht, Marco Ragni
:
Automatic Identification of Human Strategies by Cognitive Agents. 62-67
Computer Vision
- Shoubhik Debnath, Shiv Sankar Baishya, Rudolph Triebel
, Varun Dutt
, Daniel Cremers
:
Environment-Adaptive Learning: How Clustering Helps to Obtain Good Training Data. 68-79 - Nico Höft, Hannes Schulz, Sven Behnke
:
Fast Semantic Segmentation of RGB-D Scenes with GPU-Accelerated Deep Neural Networks. 80-85 - Frederik Hartmann, Stefan Funke:
Energy-Efficient Routing: Taking Speed into Account. 86-97 - Norbert Manthey:
CDCL Solver Additions: Local Look-Ahead, All-Unit-UIP Learning and On-the-Fly Probing. 98-110 - Norbert Manthey, Tobias Philipp:
Formula Simplifications as DRAT Derivations. 111-122 - Norbert Manthey, Tobias Philipp, Peter Steinke:
A More Compact Translation of Pseudo-Boolean Constraints into CNF Such That Generalized Arc Consistency Is Maintained. 123-134
Knowledge Representation and Reasoning
- Franz Baader
, Barbara Morawska:
Matching with Respect to General Concept Inclusions in the Description Logic EL. 135-146 - Siqi Chen, Jianye Hao, Gerhard Weiss, Karl Tuyls
, Ho-fung Leung:
Evaluating Practical Automated Negotiation Based on Spatial Evolutionary Game Theory. 147-158 - Julien Hué, Matthias Westphal, Stefan Wölfl:
Towards a New Semantics for Possibilistic Answer Sets. 159-170 - Dorian Merz, Rafael Peñaloza
, Anni-Yasmin Turhan:
Reasoning in ALC with Fuzzy Concrete Domains. 171-182 - Özgür Lütfü Özçep, Ralf Möller, Christian Neuenstadt:
A Stream-Temporal Query Language for Ontology Based Data Access. 183-194 - Matthias Thimm:
Towards Large-Scale Inconsistency Measurement. 195-206 - Matthias Westphal, Julien Hué, Stefan Wölfl:
On the Scope of Qualitative Constraint Calculi. 207-218 - Daniel Moos, Sebastian Bader
, Thomas Kirste:
From Intelligibility to Debuggability in Context-Aware Systems. 219-224 - Pol Schumacher, Mirjam Minor:
Towards a Trace Index Based Workflow Similarity Function. 225-230
Machine Learning and Data Mining
- Ruth Janning, Carlotta Schatten, Lars Schmidt-Thieme:
Local Feature Extractors Accelerating HNNP for Phoneme Recognition. 231-242 - Valeriy Khakhutskyy, Markus Hegland
:
Parallel Fitting of Additive Models for Regression. 243-254 - Jendrik Poloczek, Oliver Kramer:
Multi-stage Constraint Surrogate Models for Evolution Strategies. 255-266 - Nils André Treiber, Oliver Kramer:
Evolutionary Turbine Selection for Wind Power Predictions. 267-272
Planning and Scheduling
- Volker Strobel, Alexandra Kirsch:
Planning in the Wild: Modeling Tools for PDDL. 273-284 - Stefan Edelkamp, Max Gath, Moritz Rohde:
Monte-Carlo Tree Search for 3D Packing with Object Orientation. 285-296 - Andreas Hertle, Christian Dornhege, Thomas Keller
, Robert Mattmüller, Manuela Ortlieb, Bernhard Nebel:
An Experimental Comparison of Classical, FOND and Probabilistic Planning. 297-308 - Robert Mattmüller, Manuela Ortlieb, Erik Wacker:
Minimizing Necessary Observations for Nondeterministic Planning. 309-320
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.