LUXLOGAI 2018: LUXEMBOURG LOGIC FOR AI SUMMIT

A
Avelar, Pedro	On Quantifying and Understanding the Role of Ethics in AI Research: A Historical Account of Flagship Conferences and Journals
B
Baader, Franz	Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata
Bazinin, Sagi	Iterative Planning for Deterministic QDec-POMDPs
Bolander, Thomas	Learning to Plan from Raw Data in Grid-based Games
C
Cantu, Francisco	Discovering Causal Relations in Semantically-Annotated Probabilistic Business Process Diagrams
Ceballos, Hector	Discovering Causal Relations in Semantically-Annotated Probabilistic Business Process Diagrams
Chen, Jieying	Computing minimal subsumption modules of ELHr terminologies
D
de Paiva, Valeria	Bridging Trouble
Dittadi, Andrea	Learning to Plan from Raw Data in Grid-based Games
F
Feng, Zeyu	Historical Gradient Boosting Machine
Fernandez Gil, Oliver	Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata
G
Gonda, Tom	Analysis of Attack Graph Representations for Ranking Vulnerability Fixes
Gottlob, Georg	Vadalog: A Language and System for Knowledge Graphs
H
Hassan, Ghulam Mubashar	Genetic Algorithms for Scheduling and Optimization of Ore Train Networks
I
Isaak, Nicos	Using the Winograd Schema Challenge as a CAPTCHA A Data-Driven Metric of Hardness for WSC Sentences
K
Korein, Max	Multi-Armed Bandit Algorithms for a Mobile Service Robot's Spare Time in a Structured Environment
L
Lamb, Luis	On Quantifying and Understanding the Role of Ethics in AI Research: A Historical Account of Flagship Conferences and Journals
Ludwig, Michel	Computing minimal subsumption modules of ELHr terminologies
M
Melo, Francisco S.	What if the world were different? Gradient-based exploration for new optimal policies
Michael, Loizos	Using the Winograd Schema Challenge as a CAPTCHA A Data-Driven Metric of Hardness for WSC Sentences
N
Nardi, Daniele	Knowledgeable Robots
O
Osman, Nardine	Responsible Technologies
P
Pandi Selvaraj, Sai Prabhakar	Classifier-Based Evaluation of Image Feature Importance Classifier Labels as Language Grounding for Explanations
Pascal, Tal	Analysis of Attack Graph Representations for Ranking Vulnerability Fixes
Pensel, Maximilian	Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata
Perera, Vittorio	Interpretability of a Service Robot: Enabling User Questions and Checkable Answers
Prates, Marcelo	On Quantifying and Understanding the Role of Ethics in AI Research: A Historical Account of Flagship Conferences and Journals
Prestwich, Steven	Towards a Closer Integration of Dynamic Programming and Constraint Programming
Puzis, Rami	Analysis of Attack Graph Representations for Ranking Vulnerability Fixes
R
Reynolds, Mark	Genetic Algorithms for Scheduling and Optimization of Ore Train Networks
Rosenthal, Stephanie	Classifier-Based Evaluation of Image Feature Importance Classifier Labels as Language Grounding for Explanations
Rossi, Roberto	Towards a Closer Integration of Dynamic Programming and Constraint Programming
S
Shani, Guy	Analysis of Attack Graph Representations for Ranking Vulnerability Fixes Iterative Planning for Deterministic QDec-POMDPs
Shapira, Bracha	Analysis of Attack Graph Representations for Ranking Vulnerability Fixes
Sierra, Carles	Responsible Technologies
Silva, Rui	What if the world were different? Gradient-based exploration for new optimal policies
Slusallek, Phillipp	TBA
T
Tao, Dacheng	Historical Gradient Boosting Machine
Tarim, Armagan	Towards a Closer Integration of Dynamic Programming and Constraint Programming
V
Veloso, Manuela	What if the world were different? Gradient-based exploration for new optimal policies Interpretability of a Service Robot: Enabling User Questions and Checkable Answers Classifier-Based Evaluation of Image Feature Importance Classifier Labels as Language Grounding for Explanations Multi-Armed Bandit Algorithms for a Mobile Service Robot's Spare Time in a Structured Environment
Visentin, Andrea	Towards a Closer Integration of Dynamic Programming and Constraint Programming
W
Wallace, Richard	Replaceability for constraint satisfaction problems: algorithms, inference, and complexity patterns
Walther, Dirk	Computing minimal subsumption modules of ELHr terminologies
Weinshall, Daphna	New old frontiers in deep learning: curriculum learning, generative models
Winther, Ole	Learning to Plan from Raw Data in Grid-based Games
X
Xu, Chang	Historical Gradient Boosting Machine

Disclaimer | Powered by EasyChair Smart Program