GCAI-2018:Keyword Index

KeywordPapers
A
Agreement TechnologiesResponsible Technologies
Artificial IntelligenceOn Quantifying and Understanding the Role of Ethics in AI Research: A Historical Account of Flagship Conferences and Journals
attack graphAnalysis of Attack Graph Representations for Ranking Vulnerability Fixes
Automated PlanningAnalysis of Attack Graph Representations for Ranking Vulnerability Fixes
B
Bayesian networksDiscovering Causal Relations in Semantically-Annotated Probabilistic Business Process Diagrams
bilevel optimisationTowards a Closer Integration of Dynamic Programming and Constraint Programming
Business Process DiagramsDiscovering Causal Relations in Semantically-Annotated Probabilistic Business Process Diagrams
C
CAPTCHAsUsing the Winograd Schema Challenge as a CAPTCHA
causalityDiscovering Causal Relations in Semantically-Annotated Probabilistic Business Process Diagrams
common sense reasoningA Data-Driven Metric of Hardness for WSC Sentences
Constraint ProgrammingTowards a Closer Integration of Dynamic Programming and Constraint Programming
constraint satisfactionReplaceability for Constraint Satisfaction Problems: Algorithms, Inference, and Complexity Patterns
Constraints and uncertaintyDiscovering Causal Relations in Semantically-Annotated Probabilistic Business Process Diagrams
contingent planningIterative Planning for Deterministic QDec-POMDPs
coreference resolutionUsing the Winograd Schema Challenge as a CAPTCHA
A Data-Driven Metric of Hardness for WSC Sentences
critical complexity regionReplaceability for Constraint Satisfaction Problems: Algorithms, Inference, and Complexity Patterns
Cyber SecurityAnalysis of Attack Graph Representations for Ranking Vulnerability Fixes
D
Decision TreeHistorical Gradient Boosting Machine
deep learningClassifier-Based Evaluation of Image Feature Importance
Dependable RobotsClassifier Labels as Language Grounding for Explanations
Description LogicStandard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata
Description LogicsDiscovering Causal Relations in Semantically-Annotated Probabilistic Business Process Diagrams
Computing Minimal Subsumption Modules of Ontologies
differenceStandard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata
distributed planningIterative Planning for Deterministic QDec-POMDPs
dynamic programmingTowards a Closer Integration of Dynamic Programming and Constraint Programming
E
ethicsOn Quantifying and Understanding the Role of Ethics in AI Research: A Historical Account of Flagship Conferences and Journals
ethics and AIResponsible Technologies
evolutionary algorithmGenetic Algorithms for Scheduling and Optimization of Ore Train Networks
Experimental Methodology/ReplicabilityClassifier-Based Evaluation of Image Feature Importance
Explainable AIInterpretability of a Service Robot: Enabling User Questions and Checkable Answers
F
FL0Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata
G
Gradient Boosting MachineHistorical Gradient Boosting Machine
H
Historical GradientHistorical Gradient Boosting Machine
human-robot interactionClassifier Labels as Language Grounding for Explanations
Interpretability of a Service Robot: Enabling User Questions and Checkable Answers
I
interpretabilityClassifier Labels as Language Grounding for Explanations
Classifier-Based Evaluation of Image Feature Importance
Iron ore railway networkGenetic Algorithms for Scheduling and Optimization of Ore Train Networks
K
knowledge representationComputing Minimal Subsumption Modules of Ontologies
Knowledge-based LearningA Data-Driven Metric of Hardness for WSC Sentences
L
Language and VisionClassifier Labels as Language Grounding for Explanations
learning from raw dataLearning to Plan from Raw Data in Grid-based Games
least common subsumerStandard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata
logical differenceComputing Minimal Subsumption Modules of Ontologies
M
machine biasOn Quantifying and Understanding the Role of Ethics in AI Research: A Historical Account of Flagship Conferences and Journals
machine learningOn Quantifying and Understanding the Role of Ethics in AI Research: A Historical Account of Flagship Conferences and Journals
Markov Decision ProcessesWhat if the World Were Different? Gradient-Based Exploration for New Optimal Policies
mobile service robotsInterpretability of a Service Robot: Enabling User Questions and Checkable Answers
multi-agent planningIterative Planning for Deterministic QDec-POMDPs
multi-armed banditMulti-Armed Bandit Algorithms for a Mobile Service Robot's Spare Time in a Structured Environment
N
Natural Language ProcessingResponsible Technologies
network interdictionTowards a Closer Integration of Dynamic Programming and Constraint Programming
neural networksLearning to Plan from Raw Data in Grid-based Games
NLP Applications and ToolsUsing the Winograd Schema Challenge as a CAPTCHA
normative systemsResponsible Technologies
O
Ontology modularityComputing Minimal Subsumption Modules of Ontologies
P
PentestingAnalysis of Attack Graph Representations for Ranking Vulnerability Fixes
planning graphAnalysis of Attack Graph Representations for Ranking Vulnerability Fixes
Planning under uncertaintyIterative Planning for Deterministic QDec-POMDPs
What if the World Were Different? Gradient-Based Exploration for New Optimal Policies
POMDPsIterative Planning for Deterministic QDec-POMDPs
Probabilistic PlanningWhat if the World Were Different? Gradient-Based Exploration for New Optimal Policies
R
Real-time optimisationGenetic Algorithms for Scheduling and Optimization of Ore Train Networks
replaceabilityReplaceability for Constraint Satisfaction Problems: Algorithms, Inference, and Complexity Patterns
responsible technologiesResponsible Technologies
robot learningMulti-Armed Bandit Algorithms for a Mobile Service Robot's Spare Time in a Structured Environment
robot planningMulti-Armed Bandit Algorithms for a Mobile Service Robot's Spare Time in a Structured Environment
S
Sequential Decision MakingWhat if the World Were Different? Gradient-Based Exploration for New Optimal Policies
service robotMulti-Armed Bandit Algorithms for a Mobile Service Robot's Spare Time in a Structured Environment
state space searchLearning to Plan from Raw Data in Grid-based Games
SubstitutabilityReplaceability for Constraint Satisfaction Problems: Algorithms, Inference, and Complexity Patterns
subsumptionStandard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata
T
transition model learningLearning to Plan from Raw Data in Grid-based Games
tree automataStandard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata
W
Winograd Schema ChallengeUsing the Winograd Schema Challenge as a CAPTCHA
A Data-Driven Metric of Hardness for WSC Sentences
WSC as a CAPTCHAUsing the Winograd Schema Challenge as a CAPTCHA
WSC Sentence HardnessA Data-Driven Metric of Hardness for WSC Sentences