Talk Keyword Index

TALK KEYWORD INDEX

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

Shortcuts: 3 A B C D E F G H I K L M O P Q R S T V W

3
3D training simulation	IVT: an 3D Agent-based Interactive Training System
A
aggregating semantics	Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals
Artificial Neural Network	Anemic Status Prediction using Multi Layer Perceptron Neural Network Model
artificial neural networks	Implementation of Incremental Learning in Artificial Neural Networks Anemic Status Prediction using Multi Layer Perceptron Neural Network Model
automata	A Genetic Algorithm for Truck Dispatching in Mining
automated reasoning	Reasoning Inside The Box: Deduction in Herbrand Logics
automated theorem proving	Automated Invention of Strategies and Term Orderings for Vampire
avatars and virtual agents	IVT: an 3D Agent-based Interactive Training System
B
bio-inspired	Quantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms
blood transfusion	Anemic Status Prediction using Multi Layer Perceptron Neural Network Model
branch-and-bound	Improved Heuristic for Manipulation of Second-order Copeland Elections
bridge variables	Improving SAT Solver Performance with Structure-based Preferential Bumping
C
cardinality constraints	Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts
CDCL	Improving SAT Solver Performance with Structure-based Preferential Bumping
centrality	Improving SAT Solver Performance with Structure-based Preferential Bumping
cmaes	Optimizing Kick Trajectory: A Comparative Study
community structure	Improving SAT Solver Performance with Structure-based Preferential Bumping
completeness	Reasoning Inside The Box: Deduction in Herbrand Logics
complexity	Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts
conditional preservation	Iterated contraction of propositions and conditionals under the principle of conditional preservation
consistency	Replaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems
constraint satisfaction	Replaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems
Copeland election	Improved Heuristic for Manipulation of Second-order Copeland Elections
covariance matrix adaptation evolutionary strategy	Optimizing Kick Trajectory: A Comparative Study
cubic splines	Optimizing Kick Trajectory: A Comparative Study
D
deep reinforcement learning	Object-sensitive Deep Reinforcement Learning
description logics	Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts
dynamic kick	Optimizing Kick Trajectory: A Comparative Study
E
evaluation and analysis	Enhanced Simplified Memory-bounded A Star (SMA*+)
explainable model	Object-sensitive Deep Reinforcement Learning
F
first-order logic	Automated Invention of Strategies and Term Orderings for Vampire
G
generalization	Properties of Constrained Generalization Algorithms
genetic algorithms	A Genetic Algorithm for Truck Dispatching in Mining
H
Herbrand structures	Reasoning Inside The Box: Deduction in Herbrand Logics
Hermite cubic splines	Optimizing Kick Trajectory: A Comparative Study
heuristic search	Enhanced Simplified Memory-bounded A Star (SMA*+)
Heuristics	Improved Heuristic for Manipulation of Second-order Copeland Elections
hierarchical abstraction	A Modular Approach for Robot Navigation in Domestic Environments
I
incremental learning algorithm	Implementation of Incremental Learning in Artificial Neural Networks
independence results	Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals
industrial formulas	Improving SAT Solver Performance with Structure-based Preferential Bumping
intelligent tutoring systems	IVT: an 3D Agent-based Interactive Training System
interchangeability	Replaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems
iterated belief change	Iterated contraction of propositions and conditionals under the principle of conditional preservation
iterated contraction	Iterated contraction of propositions and conditionals under the principle of conditional preservation
K
kick trajectory	Optimizing Kick Trajectory: A Comparative Study
knowledge bases	Secrecy-Preserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases
Knowledge Representation	Abduction for Learning Smart City Rules
L
local to global inference	Replaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems
M
machine learning	Automated Invention of Strategies and Term Orderings for Vampire Anemic Status Prediction using Multi Layer Perceptron Neural Network Model
Manipulation	Improved Heuristic for Manipulation of Second-order Copeland Elections
memory efficient search	Enhanced Simplified Memory-bounded A Star (SMA*+)
memory-bounded search	Enhanced Simplified Memory-bounded A Star (SMA*+)
Multi-layer perceptrons (MLP)	Anemic Status Prediction using Multi Layer Perceptron Neural Network Model
multilayer perceptron	Implementation of Incremental Learning in Artificial Neural Networks Anemic Status Prediction using Multi Layer Perceptron Neural Network Model
O
object recognition	Object-sensitive Deep Reinforcement Learning
ontologies	Abduction for Learning Smart City Rules
Optimisation	A Genetic Algorithm for Truck Dispatching in Mining
optimization	Optimizing Kick Trajectory: A Comparative Study
P
parameters learning	Automated Invention of Strategies and Term Orderings for Vampire
polynomials	Optimizing Kick Trajectory: A Comparative Study
prediction	Anemic Status Prediction using Multi Layer Perceptron Neural Network Model
principle of maximum entropy	Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals
probabilistic description logic	Secrecy-Preserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases
problem solving	A Modular Approach for Robot Navigation in Domestic Environments
proving strategy	Automated Invention of Strategies and Term Orderings for Vampire
Q
query answering	Secrecy-Preserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases
R
randomised heuristic	Improved Heuristic for Manipulation of Second-order Copeland Elections
Randomization	Improved Heuristic for Manipulation of Second-order Copeland Elections
Randomized Heuristic	Improved Heuristic for Manipulation of Second-order Copeland Elections
ranking functions	Iterated contraction of propositions and conditionals under the principle of conditional preservation
relational probabilistic conditionals	Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals
resilience	Quantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms
robot kick	Optimizing Kick Trajectory: A Comparative Study
robot navigation	A Modular Approach for Robot Navigation in Domestic Environments
robotics	Optimizing Kick Trajectory: A Comparative Study
S
saliency map	Object-sensitive Deep Reinforcement Learning
scheduling	A Genetic Algorithm for Truck Dispatching in Mining
second order constraints	Properties of Constrained Generalization Algorithms
secrecy-preserving reasoning	Secrecy-Preserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases
sequent-based proof systems	Reasoning Inside The Box: Deduction in Herbrand Logics
simulation	Optimizing Kick Trajectory: A Comparative Study
simulator	Optimizing Kick Trajectory: A Comparative Study
six degree polynomials	Optimizing Kick Trajectory: A Comparative Study
smart cities	Abduction for Learning Smart City Rules
SMT	Abduction for Learning Smart City Rules
splines	Optimizing Kick Trajectory: A Comparative Study
strategy invention	Automated Invention of Strategies and Term Orderings for Vampire
substitutability	Replaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems
support vector machine	Implementation of Incremental Learning in Artificial Neural Networks
swarm intelligence	Quantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms
swarm robotics	Quantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms
T
three degree polynomials	Optimizing Kick Trajectory: A Comparative Study
typed lambda-calculus	Properties of Constrained Generalization Algorithms
V
VSIDS	Improving SAT Solver Performance with Structure-based Preferential Bumping
W
Webots	Optimizing Kick Trajectory: A Comparative Study