Abstract is missing.
- The Ditmarsch Tale of WondersHans P. van Ditmarsch. 1-12 [doi]
- Allocation in PracticeToby Walsh. 13-24 [doi]
- Applying Inductive Program Synthesis to Induction of Number Series A Case Study with IGOR2Jacqueline Hofmann, Emanuel Kitzelmann, Ute Schmid. 25-36 [doi]
- Algorithmic Debugging and Literate Programming to Generate Feedback in Intelligent Tutoring SystemsClaus Zinn. 37-48 [doi]
- A Note on Chances and Limitations of Psychometric AITarek Richard Besold. 49-54 [doi]
- Applying AI for Modeling and Understanding Analogy-Based Classroom Teaching Tools and TechniquesTarek Richard Besold, Kai-Uwe Kühnberger. 55-61 [doi]
- Automatic Identification of Human Strategies by Cognitive AgentsFelix Steffenhagen, Rebecca Albrecht, Marco Ragni. 62-67 [doi]
- Environment-Adaptive Learning: How Clustering Helps to Obtain Good Training DataShoubhik Debnath, Shiv Sankar Baishya, Rudolph Triebel, Varun Dutt, Daniel Cremers. 68-79 [doi]
- Fast Semantic Segmentation of RGB-D Scenes with GPU-Accelerated Deep Neural NetworksNico Höft, Hannes Schulz, Sven Behnke. 80-85 [doi]
- Energy-Efficient Routing: Taking Speed into AccountFrederik Hartmann, Stefan Funke. 86-97 [doi]
- CDCL Solver Additions: Local Look-Ahead, All-Unit-UIP Learning and On-the-Fly ProbingNorbert Manthey. 98-110 [doi]
- Formula Simplifications as DRAT DerivationsNorbert Manthey, Tobias Philipp. 111-122 [doi]
- A More Compact Translation of Pseudo-Boolean Constraints into CNF Such That Generalized Arc Consistency Is MaintainedNorbert Manthey, Tobias Philipp, Peter Steinke. 123-134 [doi]
- ELFranz Baader, Barbara Morawska. 135-146 [doi]
- Evaluating Practical Automated Negotiation Based on Spatial Evolutionary Game TheorySiqi Chen, Jianye Hao, Gerhard Weiss, Karl Tuyls, Ho-Fung Leung. 147-158 [doi]
- Towards a New Semantics for Possibilistic Answer SetsJulien Hué, Matthias Westphal, Stefan Wölfl. 159-170 [doi]
- ALC with Fuzzy Concrete DomainsDorian Merz, Rafael Peñaloza, Anni-Yasmin Turhan. 171-182 [doi]
- A Stream-Temporal Query Language for Ontology Based Data AccessÖzgür Lütfü Özçep, Ralf Möller, Christian Neuenstadt. 183-194 [doi]
- Towards Large-Scale Inconsistency MeasurementMatthias Thimm. 195-206 [doi]
- On the Scope of Qualitative Constraint CalculiMatthias Westphal, Julien Hué, Stefan Wölfl. 207-218 [doi]
- From Intelligibility to Debuggability in Context-Aware SystemsDaniel Moos, Sebastian Bader, Thomas Kirste. 219-224 [doi]
- Towards a Trace Index Based Workflow Similarity FunctionPol Schumacher, Mirjam Minor. 225-230 [doi]
- Local Feature Extractors Accelerating HNNP for Phoneme RecognitionRuth Janning, Carlotta Schatten, Lars Schmidt-Thieme. 231-242 [doi]
- Parallel Fitting of Additive Models for RegressionValeriy Khakhutskyy, Markus Hegland. 243-254 [doi]
- Multi-stage Constraint Surrogate Models for Evolution StrategiesJendrik Poloczek, Oliver Kramer. 255-266 [doi]
- Evolutionary Turbine Selection for Wind Power PredictionsNils André Treiber, Oliver Kramer. 267-272 [doi]
- Planning in the Wild: Modeling Tools for PDDLVolker Strobel, Alexandra Kirsch. 273-284 [doi]
- Monte-Carlo Tree Search for 3D Packing with Object OrientationStefan Edelkamp, Max Gath, Moritz Rohde. 285-296 [doi]
- An Experimental Comparison of Classical, FOND and Probabilistic PlanningAndreas Hertle, Christian Dornhege, Thomas Keller 0001, Robert Mattmüller, Manuela Ortlieb, Bernhard Nebel. 297-308 [doi]
- Minimizing Necessary Observations for Nondeterministic PlanningRobert Mattmüller, Manuela Ortlieb, Erik Wacker. 309-320 [doi]