TALK KEYWORD INDEX

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

3 | |

3D training simulation | |

A | |

aggregating semantics | |

Artificial Neural Network | |

artificial neural networks | |

automata | |

automated reasoning | |

automated theorem proving | |

avatars and virtual agents | |

B | |

bio-inspired | |

blood transfusion | |

branch-and-bound | |

bridge variables | |

C | |

cardinality constraints | |

CDCL | |

centrality | |

cmaes | |

community structure | |

completeness | |

complexity | |

conditional preservation | |

consistency | |

constraint satisfaction | |

Copeland election | |

covariance matrix adaptation evolutionary strategy | |

cubic splines | |

D | |

deep reinforcement learning | |

description logics | |

dynamic kick | |

E | |

evaluation and analysis | |

explainable model | |

F | |

first-order logic | |

G | |

generalization | |

genetic algorithms | |

H | |

Herbrand structures | |

Hermite cubic splines | |

heuristic search | |

Heuristics | |

hierarchical abstraction | |

I | |

incremental learning algorithm | |

independence results | |

industrial formulas | |

intelligent tutoring systems | |

interchangeability | |

iterated belief change | |

iterated contraction | |

K | |

kick trajectory | |

knowledge bases | |

Knowledge Representation | |

L | |

local to global inference | |

M | |

machine learning | |

Manipulation | |

memory efficient search | |

memory-bounded search | |

Multi-layer perceptrons (MLP) | |

multilayer perceptron | |

O | |

object recognition | |

ontologies | |

Optimisation | |

optimization | |

P | |

parameters learning | |

polynomials | |

prediction | |

principle of maximum entropy | |

probabilistic description logic | |

problem solving | |

proving strategy | |

Q | |

query answering | |

R | |

randomised heuristic | |

Randomization | |

Randomized Heuristic | |

ranking functions | |

relational probabilistic conditionals | |

resilience | |

robot kick | |

robot navigation | |

robotics | |

S | |

saliency map | |

scheduling | |

second order constraints | |

secrecy-preserving reasoning | |

sequent-based proof systems | |

simulation | |

simulator | |

six degree polynomials | |

smart cities | |

SMT | |

splines | |

strategy invention | |

substitutability | |

support vector machine | |

swarm intelligence | |

swarm robotics | |

T | |

three degree polynomials | |

typed lambda-calculus | |

V | |

VSIDS | |

W | |

Webots |