KI 2019: Advances in Artificial Intelligence : 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings / edited by Christoph Benzmüller, Heiner Stuckenschmidt.

Format:

Book

Contributor:

Benzmüller, Christoph, editor.

Stuckenschmidt, Heiner, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

Lecture notes in computer science. Lecture notes in artificial intelligence ; 11793.

Lecture Notes in Artificial Intelligence ; 11793

Language:

English

Subjects (All):

Artificial intelligence.

Logic, Symbolic and mathematical.

Algorithms.

Computers.

Computer organization.

Artificial Intelligence.

Mathematical Logic and Formal Languages.

Algorithm Analysis and Problem Complexity.

Information Systems and Communication Service.

Computer Systems Organization and Communication Networks.

Local Subjects:

Artificial Intelligence.

Mathematical Logic and Formal Languages.

Algorithm Analysis and Problem Complexity.

Information Systems and Communication Service.

Computer Systems Organization and Communication Networks.

Physical Description:

1 online resource (XI, 354 pages) : 170 illustrations, 60 illustrations in color.

Edition:

First edition 2019.

Contained In:

Springer eBooks

Place of Publication:

Cham : Springer International Publishing : Imprint: Springer, 2019.

System Details:

text file PDF

Summary:

This book constitutes the refereed proceedings of the 42nd German Conference on Artificial Intelligence, KI 2019, held in Kassel, Germany, in September 2019. The 16 full and 10 short papers presented together with 3 extended abstracts in this volume were carefully reviewed and selected from 82 submissions. KI 2019 has a special focus theme on "AI methods for Argumentation" and especially invited contributions that use methods from all areas of AI to understand, formalize or generate argument structures in natural language.

Contents:

Towards Computational Persuasion via Natural Language Argumentation Dialogues

Analogy-Based Preference Learning with Kernels

Data Acquisition for Argument Search: The args.me Corpus

Monotone and Online Fair Division

A human-oriented System for Equational Reasoning

Mixing Description Logics in Privacy-Preserving Ontology Publishing

Clustering of Argument Graphs Using Semantic Similarity Measures

Reducing Search Space of Genetic Algorithms for Fast Black Box Attacks on Image Classifiers

An Empirical Study of the Usefulness of State-Dependent Action Costs in Planning

Strong Equivalence for Argumentation Frameworks with Collective Attacks

Developing Fuzzy Inference Systems from Qualitative Interviews for Travel Mode Choice in an Agent-based Mobility Simulation

Monte-Carlo Search for Prize-Collecting Robot Motion Planning with Time Windows, Capacities, Pickups, and Deliveries

Automated Robot Skill Learning from Demonstration for Various Robot Systems

Learning Gradient-based ICA by Neurally Estimating Mutual Information

Enhancing Explainability of Deep Reinforcement Learning Through Selective Layer-Wise Relevance Propagation.-A Crow Search-based Genetic Algorithm for Solving Two-dimensional Bin Packing Problem

Extracting Reasons for Moral Judgments Under Various Ethical Principles

Gaussian Lifted Marginal Filtering

An Introduction to AnyBURL

Simplifying Automated Pattern Selection for Planning with Symbolic Pattern Databases

ALICA 2.0 - Domain-Independent Teamwork

Extending Modular Semantics for Bipolar Weighted Argumentation (Extended Abstract)

Epistemic Multi-Agent Planning Using Monte-Carlo Tree Search

Towards Intuitive Robot Programming Using Finite State Automata

Improving Implicit Stance Classification in Tweets Using Word and Sentence Embeddings

Towards Leveraging Backdoors in Qualitative Constraint Networks

GAN Path Finder: Preliminary Results

InformatiCup Competition 2019: Fooling Traffic Sign Recognition

The Higher-Order Prover Leo-III

Personalized Transaction Kernels for Recommendation Using MCTS. .

Other Format:

Printed edition:

ISBN:

978-3-030-30179-8

9783030301798

Access Restriction:

Restricted for use by site license.