KI 2019: Advances in Artificial Intelligence 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings / [electronic resource] :
edited by Christoph Benzmüller, Heiner Stuckenschmidt.
- 1st ed. 2019.
- XI, 354 p. 170 illus., 60 illus. in color. online resource.
- Lecture Notes in Artificial Intelligence, 11793 2945-9141 ; .
- Lecture Notes in Artificial Intelligence, 11793 .
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 -- TheHigher-Order Prover Leo-III -- Personalized Transaction Kernels for Recommendation Using MCTS. .
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.
9783030301798
10.1007/978-3-030-30179-8 doi
Artificial intelligence.
Machine theory.
Algorithms.
Computer networks .
Computer engineering.
Artificial Intelligence.
Formal Languages and Automata Theory.
Algorithms.
Computer Communication Networks.
Computer Engineering and Networks.
Q334-342 TA347.A78
006.3
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 -- TheHigher-Order Prover Leo-III -- Personalized Transaction Kernels for Recommendation Using MCTS. .
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.
9783030301798
10.1007/978-3-030-30179-8 doi
Artificial intelligence.
Machine theory.
Algorithms.
Computer networks .
Computer engineering.
Artificial Intelligence.
Formal Languages and Automata Theory.
Algorithms.
Computer Communication Networks.
Computer Engineering and Networks.
Q334-342 TA347.A78
006.3