| 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 | Using the Winograd Schema Challenge as a CAPTCHA
A Data-Driven Metric of Hardness for WSC Sentences |
| 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 | Discovering Causal Relations in Semantically-Annotated Probabilistic Business Process Diagrams
Computing Minimal Subsumption Modules of Ontologies |
| 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
Interpretability of a Service Robot: Enabling User Questions and Checkable Answers |
| i |
| interpretability | Classifier Labels as Language Grounding for Explanations
Classifier-Based Evaluation of Image Feature Importance |
| Iron ore railway network | Genetic Algorithms for Scheduling and Optimization of Ore Train Networks |
| k |
| knowledge representation | Computing Minimal Subsumption Modules of Ontologies |
| 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 Ontologies |
| 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 Ontologies |
| 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 | Using the Winograd Schema Challenge as a CAPTCHA
A Data-Driven Metric of Hardness for WSC Sentences |
| WSC as a CAPTCHA | Using the Winograd Schema Challenge as a CAPTCHA |
| WSC Sentence Hardness | A Data-Driven Metric of Hardness for WSC Sentences |
