LINKING
RESEARCH
GLOBALLY
GCAI 2017 / 3rd Global Conference on Artificial Intelligence
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