KI 2016: Advances in Artificial Intelligence

Name: KI 2016: Advances in Artificial Intelligence | 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings

Gerhard Friedrich Malte Helmert Franz Wotawa(Herausgeber*in)

Springer (Verlag)

Erschienen am 8. September 2016

XIV, 318 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-319-46073-4 (ISBN)

53,49 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

Intro
Preface
Organization
Contents
Full Papers
Providing Built-In Counters in a Declarative Dynamic Programming Environment
1 Introduction
2 Background
3 D-FLAT: A Quick Tutorial
4 Built-In Counters
5 Experimental Results
6 Conclusion
References
Model Based Augmentation and Testing of an Annotated Hand Pose Dataset
1 Introduction
2 Tools, Datasets, and Methods
2.1 Smart Glove, Model Software, Dataset
2.2 Database Generation for Extending the ICVL Dataset
2.3 DeepPrior-Lasagne CNN
2.4 Open Source Contributions
3 Results
3.1 Non-linear Mapping from ICVL 3D Markers to the LibHand Model
3.2 Tests on the New Datasets
4 Discussion
5 Conclusions
References
Lifted Junction Tree Algorithm
1 Introduction
2 Related Work
3 Background
3.1 Junction Tree Algorithm
3.2 Parameterized Models and FO Dtrees
4 Lifted Junction Tree Algorithm
4.1 First-Order Junction Trees
4.2 Algorithm Description
5 Evaluation
6 Conclusion
References
Improved Diversity in Nested Rollout Policy Adaptation
1 Introduction
2 NRPA and Beam-NRPA
3 Refinements
4 Improving the Diversity
5 Experiments
6 Conclusion
References
A Fast Elimination Method for Pruning in POMDPs
1 Introduction
2 Partially Observable Markov Decision Processes
3 Value Iteration
4 Pruning
4.1 Lark's Algorithm
4.2 Skyline Algorithm
5 Revised Pruning Algorithms
5.1 Revisions to the Skyline Algorithm
5.2 Skyline Algorithm with Multiple Objective Functions
5.3 Revisions to the Lark's Algorithm
5.4 Lark's Algorithm with Initial Condition
6 Experimental Results
6.1 Benchmark Problems
6.2 Pruning Performance of Randomly Generated Sets
7 Conclusion
References
A Neural Field Approach to Obstacle Avoidance
1 Introduction
2 Model Specification
2.1 2-Dimensional DNF Program to Represent Motor Learning
2.2 Augmentations of the Model for Obstacle Avoidance
3 Training the Model
4 Simulations
4.1 Test Case 1: Goal State with No Obstacles
4.2 Test Case 2: Static Obstacle
4.3 Test Case 3: Dynamic Obstacle
5 Discussions and Outlook
References
Influence of ASP Language Constructs on the Performance of State-of-the-Art Solvers
1 Introduction
2 Background
2.1 Semantics of ASP
2.2 ASP Coding Practices and Equivalence
3 Experimental Setup
3.1 Problems and Encodings
3.2 Benchmarking
4 Results
5 Conclusions
References
A Robotic Home Assistant with Memory Aid Functionality
1 Introduction
2 The IRMA System
2.1 Architecture
2.2 Robot Platform
2.3 Methods
3 Evaluation
3.1 Experimental Setting
3.2 Results
4 Discussion
5 Conclusion
References
Technical Communication
Using Ontological Knowledge About Active Pharmaceutical Ingredients for a Decision Support System in Medical Cancer Therapy
1 Introduction
2 Ontology Development
2.1 Requirements
2.2 Core Concepts and Roles
2.3 Therapy Regimens
3 SPARQL Queries
4 Related Work, Conclusions, and Further Development
References
Solving Negotiation Problems Against Unknown Opponents with Wisdom of Crowds
1 Introduction
2 Negotiation Approach
2.1 Aspiration Setting Component
2.2 Offer Responding Component
3 Conclusions
References
Declarative Decomposition and Dispatching for Large-Scale Job-Shop Scheduling
1 Introduction
2 A Novel Scheduling Approach
3 Proof of Concept
3.1 Results
References
A Multi-Objective Approach for both Makespan- and Energy-Efficient Scheduling in Injection Molding
1 Introduction
2 Approach
3 Evaluation
3.1 Method
3.2 Results
3.3 Discussion
4 Conclusion
References
Learning Event Time Series for the Automated Quality Control of Videos
1 Introduction
2 Problem Formulation
3 Feature Extraction
4 Evaluation
5 Conclusion
References
Solving the Physical Vehicle Routing Problem for Improved Multi-robot Freespace Navigation
1 Introduction
2 Physical TSPs and VRPs
3 Implementation
4 Results
5 Conclusion
References
Trending Topic Aggregation by News-Based Context Modeling
1 Introduction
2 Related Work
3 Approach
4 Experiments
5 Conclusion
References
Image-Based Identification of Plant Species Using a Model-Free Approach and Active Learning
1 Introduction
2 A Model-Free Approach to Identification of Species from Herbaium Specimens
3 A Model-Free Approach to Species Identification Including Concepts of Active Learning
4 Evaluation
5 Conclusion and Future Work
References
Using a Deep Understanding of Network Activities for Workflow Mining
1 Introduction
2 Network Service Dependency Discovery
2.1 Indirect Dependencies
3 Workflow Mining
4 Experimental Evaluation
5 Conclusion
References
Using Modelica Programs for Deriving Propositional Horn Clause Abduction Problems
1 Introduction
2 Model Generation Approach
3 Related Research
4 Conclusion
References
Symbolic Robot Commanding Utilizing Physical Properties - System Overview
1 Introduction
2 Related Work
3 System Overview
3.1 User Layer
3.2 Transformation Layer
3.3 Control Layer
4 Conclusion and Future Work
References
Personalization of Gaze Direction Estimation with Deep Learning
1 Introduction
2 Related Works
3 Databases and Methods
3.1 Databases
3.2 Methods
3.3 Personalization
4 Results
5 Summary
References
Sister Conference Contributions/Extended Abstracts
Exception-Enriched Rule Learning from Knowledge Graphs
1 Introduction
2 Nonmonotonic Rule Learning from Knowledge Graphs
3 Evaluation
4 Discussion and Outlook
References
iRobot: Teaching an Evaluated, Competencies-Based Introductory Artificial Intelligence Class in Highschools
1 Introduction
2 Background and Related Work
2.1 Competencies and Self-directed Learning
3 Design of the Classes
4 Realization and Evaluation
5 Discussion and Outlook
References
Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends
1 Clause-Learning State Space Search
2 Empirical Results
3 Conclusion
References
VLog: A Column-Oriented Datalog Reasoner
1 Introduction
2 A Short Introduction to Datalog
3 VLog: Vertical Datalog
4 Experiments
5 Outlook
References
Driver Frustration Detection from Audio and Video in the Wild
1 Introduction
2 Dataset for Detecting Frustration
3 Methods
3.1 Audio Features
3.2 Video Features
3.3 Classifier
4 Results
5 Conclusion
References
An Object-Logic Explanation for the Inconsistency in Gödel's Ontological Theory
1 Introduction
2 An Essential Difference in the Definitions of Essence
3 Automating HOML in HOL
4 Intuitive Explanations for the Inconsistency
5 Conclusion
References
A New Tableau-Based Satisfiability Checker for Linear Temporal Logic
1 Introduction
2 Tableau-Based Methods for LTL
3 A New One-Pass and Tree-Shaped Tableau for LTL
4 Conclusions and Future Work
References
ASP for Anytime Dynamic Programming on Tree Decompositions
1 Introduction
2 Background
3 ASP for Anytime Dynamic Programming on TDs
4 Conclusion
References
Preferential Query Answering in the Semantic Web with Possibilistic Networks
1 Introduction
2 Ontological Possibilistic Networks (OP-nets)
3 Encoding Preferences with OP-Nets
4 Query Answering Under OP-Nets
5 Computational Complexity
References
Investigating the Relationship between Argumentation Semantics via Signatures
1 Introduction
2 Background
3 Characterizations of Two-Dimensional Signatures
4 Discussion
References
Decoupled Strong Stubborn Sets
1 Star-Topology Decoupled State Space Search
2 Combination with Strong Stubborn Sets Pruning
3 Conclusion
References
State-Dependent Cost Partitionings for Cartesian Abstractions in Classical Planning
1 Introduction
2 Preliminaries
3 State-Dependent Cost Partitioning
4 Saturated Cost Partitioning
5 Conclusion
References
Group Decision Making via Probabilistic Belief Merging
References
Simulating Human Inferences in the Light of New Information: A Formal Analysis
1 Introduction and Overview
2 Nonmonotonic Reasoning and the Suppression Task
2.1 A Case Study: Modeling by C-Representations
2.2 Modeling the Suppression Effect by Expliciting Background Knowledge
3 Discussion
References
Efficient Determination of Measurement Points for Sequential Diagnosis
1 Introduction
2 Sequential Diagnosis
3 Query Computation with Partial Diagnoses
4 Experimental Evaluation
5 Conclusion
References
Discriminatively Trained Recurrent Neural Networks for Continuous Dimensional Emotion Recognition from Audio
1 Introduction
2 Discriminative Objectives for Emotion Regression
3 Experiments and Results
3.1 Emotions from Music: MediaEval
3.2 Emotions from Speech: RECOLA
3.3 Results
4 Conclusions
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken