LUXLOGAI 2018: LUXEMBOURG LOGIC FOR AI SUMMIT

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

A
agreement technologies	Responsible Technologies
Artificial Intelligence	On Quantifying and Understanding the Role of Ethics in AI Research: A Historical Account of Flagship Conferences and Journals
Attack Graph	Analysis of Attack Graph Representations for Ranking Vulnerability Fixes
Automated Planning	Analysis of Attack Graph Representations for Ranking Vulnerability Fixes
B
Bayesian Networks	Discovering Causal Relations in Semantically-Annotated Probabilistic Business Process Diagrams
bilevel optimisation	Towards a Closer Integration of Dynamic Programming and Constraint Programming
Business Process Diagrams	Discovering Causal Relations in Semantically-Annotated Probabilistic Business Process Diagrams
C
CAPTCHAs	Using the Winograd Schema Challenge as a CAPTCHA
Causality	Discovering Causal Relations in Semantically-Annotated Probabilistic Business Process Diagrams
Common-Sense Reasoning	A Data-Driven Metric of Hardness for WSC Sentences
constraint programming	Towards a Closer Integration of Dynamic Programming and Constraint Programming
constraint satisfaction	Replaceability for constraint satisfaction problems: algorithms, inference, and complexity patterns
Constraints and uncertainty	Discovering Causal Relations in Semantically-Annotated Probabilistic Business Process Diagrams
Contingent planning	Iterative Planning for Deterministic QDec-POMDPs
Coreference Resolution	A Data-Driven Metric of Hardness for WSC Sentences Using the Winograd Schema Challenge as a CAPTCHA
critical complexity region	Replaceability for constraint satisfaction problems: algorithms, inference, and complexity patterns
Cyber Security	Analysis of Attack Graph Representations for Ranking Vulnerability Fixes
D
Decision Tree	Historical Gradient Boosting Machine
Deep Learning	Classifier-Based Evaluation of Image Feature Importance
Dependable Robots	Classifier Labels as Language Grounding for Explanations
description logic	Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata
Description Logics	Computing minimal subsumption modules of ELHr terminologies Discovering Causal Relations in Semantically-Annotated Probabilistic Business Process Diagrams
Difference	Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata
Distributed Planning	Iterative Planning for Deterministic QDec-POMDPs
dynamic programming	Towards a Closer Integration of Dynamic Programming and Constraint Programming
E
Ethics	On Quantifying and Understanding the Role of Ethics in AI Research: A Historical Account of Flagship Conferences and Journals
ethics and AI	Responsible Technologies
Evolutionary algorithm	Genetic Algorithms for Scheduling and Optimization of Ore Train Networks
Experimental Methodology/Replicability	Classifier-Based Evaluation of Image Feature Importance
Explainable AI	Interpretability of a Service Robot: Enabling User Questions and Checkable Answers
F
FL0	Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata
G
Gradient Boosting Machine	Historical Gradient Boosting Machine
H
Historical Gradient	Historical Gradient Boosting Machine
Human Robot Interaction	Classifier Labels as Language Grounding for Explanations
Human-Robot Interaction	Interpretability of a Service Robot: Enabling User Questions and Checkable Answers
I
Interpretability	Classifier-Based Evaluation of Image Feature Importance Classifier Labels as Language Grounding for Explanations
Iron ore railway network	Genetic Algorithms for Scheduling and Optimization of Ore Train Networks
K
Knowledge Representation	Computing minimal subsumption modules of ELHr terminologies
Knowledge-based Learning	A Data-Driven Metric of Hardness for WSC Sentences
L
Language and Vision	Classifier Labels as Language Grounding for Explanations
learning from raw data	Learning to Plan from Raw Data in Grid-based Games
Least Common Subsumer	Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata
Logical Difference	Computing minimal subsumption modules of ELHr terminologies
M
Machine Bias	On Quantifying and Understanding the Role of Ethics in AI Research: A Historical Account of Flagship Conferences and Journals
Machine Learning	On Quantifying and Understanding the Role of Ethics in AI Research: A Historical Account of Flagship Conferences and Journals
Markov Decision Processes	What if the world were different? Gradient-based exploration for new optimal policies
Mobile Service Robots	Interpretability of a Service Robot: Enabling User Questions and Checkable Answers
Multi-agent Planning	Iterative Planning for Deterministic QDec-POMDPs
Multi-Armed Bandit	Multi-Armed Bandit Algorithms for a Mobile Service Robot's Spare Time in a Structured Environment
N
natural language processing	Responsible Technologies
network interdiction	Towards a Closer Integration of Dynamic Programming and Constraint Programming
neural networks	Learning to Plan from Raw Data in Grid-based Games
NLP Applications and Tools	Using the Winograd Schema Challenge as a CAPTCHA
normative systems	Responsible Technologies
O
Ontology Modularity	Computing minimal subsumption modules of ELHr terminologies
P
Pentesting	Analysis of Attack Graph Representations for Ranking Vulnerability Fixes
Planning Graph	Analysis of Attack Graph Representations for Ranking Vulnerability Fixes
Planning under uncertainty	Iterative Planning for Deterministic QDec-POMDPs What if the world were different? Gradient-based exploration for new optimal policies
POMDPs	Iterative Planning for Deterministic QDec-POMDPs
Probabilistic planning	What if the world were different? Gradient-based exploration for new optimal policies
R
real time optimisation	Genetic Algorithms for Scheduling and Optimization of Ore Train Networks
replaceability	Replaceability for constraint satisfaction problems: algorithms, inference, and complexity patterns
responsible technologies	Responsible Technologies
Robot Learning	Multi-Armed Bandit Algorithms for a Mobile Service Robot's Spare Time in a Structured Environment
Robot Planning	Multi-Armed Bandit Algorithms for a Mobile Service Robot's Spare Time in a Structured Environment
S
Sequential decision making	What if the world were different? Gradient-based exploration for new optimal policies
Service Robot	Multi-Armed Bandit Algorithms for a Mobile Service Robot's Spare Time in a Structured Environment
state space search	Learning to Plan from Raw Data in Grid-based Games
substitutability	Replaceability for constraint satisfaction problems: algorithms, inference, and complexity patterns
Subsumption	Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata
T
transition model learning	Learning to Plan from Raw Data in Grid-based Games
Tree Automata	Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata
W
Winograd Schema Challenge	A Data-Driven Metric of Hardness for WSC Sentences Using the Winograd Schema Challenge as a CAPTCHA
WSC as a CAPTCHA	Using the Winograd Schema Challenge as a CAPTCHA
WSC Sentence Hardness	A Data-Driven Metric of Hardness for WSC Sentences

Disclaimer | Powered by EasyChair Smart Program