KI 2019: 42ND GERMAN CONFERENCE ON ARTIFICIAL INTELLIGENCE

This page contains an index consisting of author-provided keywords.

A
Abstract Argumentation	Strong Equivalence for Argumentation Frameworks with Collective Attacks Extending Modular Semantics for Bipolar Weighted Argumentation (Extended Abstract)
Activity Recognition	Gaussian Lifted Marginal Filtering
Adversarial Training	Learning gradient-based ICA by neurally estimating mutual information
Agent-based model	Determining Fuzzy Controllers from Qualitative Interviews for Travel Mode Choice in an Agent-based Mobility Simulation
Algorithm optimization	Reducing Search Space of Genetic Algorithms for Fast Black Box Attacks on Image Classifiers
Analogical Reasoning	Analogy-Based Preference Learning with Kernels
Argumentation	Clustering of Argument Graphs using Semantic Similarity Measures
Argumentation Mining	Improving Implicit Stance Classification in Tweets Using Word and Sentence Embeddings
Artificial Intelligence Planning	Simplifying Automated Pattern Selection for Planning with Symbolic Pattern Databases
Automated Theorem Proving	A human-oriented system for equational reasoning The Higher-Order Prover Leo-III
Axiomatic Analysis	Monotone and Online Fair Division
B
backbones	Towards Leveraging Backdoors in Qualitative Constraint Networks
backdoors	Towards Leveraging Backdoors in Qualitative Constraint Networks
Bayesian filtering	Gaussian Lifted Marginal Filtering
behavior segmentation	Automated Robot Skill Learning from Demonstration for Various Robot Systems
Bin Packing	Simplifying Automated Pattern Selection for Planning with Symbolic Pattern Databases
Bio-inspired algorithms	A crow search-based genetic algorithm for solving two-dimensional bin packing problem
Black box attack	Reducing Search Space of Genetic Algorithms for Fast Black Box Attacks on Image Classifiers
C
Case-based reasoning	Clustering of Argument Graphs using Semantic Similarity Measures
Clustering	Clustering of Argument Graphs using Semantic Similarity Measures
Collective Attacks	Strong Equivalence for Argumentation Frameworks with Collective Attacks
competition	InformatiCup Competition 2019: Fooling Traffic Sign Recognition
Complexity	Mixing Description Logics in Privacy-Preserving Ontology Publishing
computational argumentation	Data Acquisition for Argument Search: The args.me Corpus
Computational Logic	The Higher-Order Prover Leo-III
Crow search algorithm	A crow search-based genetic algorithm for solving two-dimensional bin packing problem
D
Decision making	Determining Fuzzy Controllers from Qualitative Interviews for Travel Mode Choice in an Agent-based Mobility Simulation
Deep Learning	Enhancing Explainability of Deep Reinforcement Learning through Selective Layer-Wise Relevance Propagation Learning gradient-based ICA by neurally estimating mutual information
Description Logic	Mixing Description Logics in Privacy-Preserving Ontology Publishing
Dynamic Coordination	ALICA 2.0 - Domain-Independent Teamwork
E
EL	Mixing Description Logics in Privacy-Preserving Ontology Publishing
Epistemic Planning	Epistemic Multi-Agent Planning Using Monte-Carlo Tree Search
Equivalence	Strong Equivalence for Argumentation Frameworks with Collective Attacks
Explainable AI	Generation of Explanations for Moral Judgments Under Various Ethical Principles
Explainable Artificial Intelligence	Enhancing Explainability of Deep Reinforcement Learning through Selective Layer-Wise Relevance Propagation
F
Finite State Automata	Towards Intuitive Robot Programming Using Finite State Automata
FL0	Mixing Description Logics in Privacy-Preserving Ontology Publishing
FLE	Mixing Description Logics in Privacy-Preserving Ontology Publishing
Fooling DNN	Reducing Search Space of Genetic Algorithms for Fast Black Box Attacks on Image Classifiers
fooling images	InformatiCup Competition 2019: Fooling Traffic Sign Recognition
Fuzzy control	Determining Fuzzy Controllers from Qualitative Interviews for Travel Mode Choice in an Agent-based Mobility Simulation
G
Gaussian Mixture	Gaussian Lifted Marginal Filtering
Generative Adversarial Networks	GAN Path Finder: Preliminary results
Genetic algorithm	A crow search-based genetic algorithm for solving two-dimensional bin packing problem Reducing Search Space of Genetic Algorithms for Fast Black Box Attacks on Image Classifiers
GTSRB	Reducing Search Space of Genetic Algorithms for Fast Black Box Attacks on Image Classifiers
H
Hanabi	Epistemic Multi-Agent Planning Using Monte-Carlo Tree Search
Heuristic accuracy	An Empirical Study of the Usefulness of State-Dependent Action Costs in Planning
Heuristic search	Simplifying Automated Pattern Selection for Planning with Symbolic Pattern Databases
Higher-Order Logic	The Higher-Order Prover Leo-III
human-oriented reasoning	A human-oriented system for equational reasoning
Hybridization	A crow search-based genetic algorithm for solving two-dimensional bin packing problem
I
Independent Component Analysis	Learning gradient-based ICA by neurally estimating mutual information
Inductive Logic Programming	An Introduction to AnyBURL
Information Retrieval	Data Acquisition for Argument Search: The args.me Corpus
interactive theorem proving	A human-oriented system for equational reasoning
Interpretability	Enhancing Explainability of Deep Reinforcement Learning through Selective Layer-Wise Relevance Propagation
K
Kernel-based Learning	Analogy-Based Preference Learning with Kernels
Knowledge Graph Completion	An Introduction to AnyBURL
Knowledge Representation and Reasoning	Extending Modular Semantics for Bipolar Weighted Argumentation (Extended Abstract)
L
learning from demonstration	Automated Robot Skill Learning from Demonstration for Various Robot Systems
Leo-III	The Higher-Order Prover Leo-III
Lifted Inference	Gaussian Lifted Marginal Filtering
local consistencies	Towards Leveraging Backdoors in Qualitative Constraint Networks
Logics-based AI	Generation of Explanations for Moral Judgments Under Various Ethical Principles
Logistics	Monte-Carlo Search for Prize-Collecting Robot Motion Planning with Time Windows, Capacities, Pickups, and Deliveries
M
Machine ethics	Generation of Explanations for Moral Judgments Under Various Ethical Principles
Machine Learning	GAN Path Finder: Preliminary results
manipulation	Automated Robot Skill Learning from Demonstration for Various Robot Systems
MCTS	Personalized Transaction Kernels for Recommendation using MCTS
Mechanism Design	Monotone and Online Fair Division
MNIST	Reducing Search Space of Genetic Algorithms for Fast Black Box Attacks on Image Classifiers
Mobility simulation	Determining Fuzzy Controllers from Qualitative Interviews for Travel Mode Choice in an Agent-based Mobility Simulation
Modal choice	Determining Fuzzy Controllers from Qualitative Interviews for Travel Mode Choice in an Agent-based Mobility Simulation
Monotone Utilities	Monotone and Online Fair Division
Monte-Carlo Tree Search	Epistemic Multi-Agent Planning Using Monte-Carlo Tree Search
Motion Planning	Monte-Carlo Search for Prize-Collecting Robot Motion Planning with Time Windows, Capacities, Pickups, and Deliveries
Multi-Agent Systems	Epistemic Multi-Agent Planning Using Monte-Carlo Tree Search ALICA 2.0 - Domain-Independent Teamwork
N
Natural Language Processing	Data Acquisition for Argument Search: The args.me Corpus
neural network	InformatiCup Competition 2019: Fooling Traffic Sign Recognition
O
Online Fair Division	Monotone and Online Fair Division
P
Path Planning	GAN Path Finder: Preliminary results
Personalization	Personalized Transaction Kernels for Recommendation using MCTS
Planning	An Empirical Study of the Usefulness of State-Dependent Action Costs in Planning
Preference learning	Analogy-Based Preference Learning with Kernels Personalized Transaction Kernels for Recommendation using MCTS
Privacy	Mixing Description Logics in Privacy-Preserving Ontology Publishing
Probabilistic Inference	Gaussian Lifted Marginal Filtering
Probabilistic Multiset Rewriting System	Gaussian Lifted Marginal Filtering
Programming	Towards Intuitive Robot Programming Using Finite State Automata
proof planning	A human-oriented system for equational reasoning
Q
qualitative constraints	Towards Leveraging Backdoors in Qualitative Constraint Networks
R
Reinforcement Learning	Enhancing Explainability of Deep Reinforcement Learning through Selective Layer-Wise Relevance Propagation
Relational Learning	An Introduction to AnyBURL
Robotic Teams	ALICA 2.0 - Domain-Independent Teamwork
Robotics	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 Towards Intuitive Robot Programming Using Finite State Automata
S
Search space reduction	Reducing Search Space of Genetic Algorithms for Fast Black Box Attacks on Image Classifiers
Searh	Monte-Carlo Search for Prize-Collecting Robot Motion Planning with Time Windows, Capacities, Pickups, and Deliveries
SETAF	Strong Equivalence for Argumentation Frameworks with Collective Attacks
Social Media	Improving Implicit Stance Classification in Tweets Using Word and Sentence Embeddings
spatial and temporal reasoning	Towards Leveraging Backdoors in Qualitative Constraint Networks
Stance Classification	Improving Implicit Stance Classification in Tweets Using Word and Sentence Embeddings
State-dependent costs	An Empirical Study of the Usefulness of State-Dependent Action Costs in Planning
T
Tensor kernel	Personalized Transaction Kernels for Recommendation using MCTS
Two-dimensional bin packing problem	A crow search-based genetic algorithm for solving two-dimensional bin packing problem
W
Weighted Argumentation	Extending Modular Semantics for Bipolar Weighted Argumentation (Extended Abstract)

Disclaimer | Powered by EasyChair Smart Program