Talk Keyword Index

TALK KEYWORD INDEX

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

Shortcuts: A C D E F G H I J K L M N O P Q R S T U V Z

A
ACT-R	Animating Cognitive Models and Architectures: A Rule-based Approach
adaptation	Cooperation in Adaptive Multi-Agent Systems through System of Systems modeling.
AI planning	A Short-Term Memory for Deliberative Agents in Everyday Environments
Automated Reasoning	AVATAR Modulo Theories New Techniques in Clausal Form Generation
C
CBIR	Content-Based Image Retrieval System for Real Images
Chaining rules	Empirical Investigation of Learning-Based Imputation Policies
Clausal Normal Form	New Techniques in Clausal Form Generation
clause normal form	A Clausal Normal Form Translation for FOOL
Clausification	New Techniques in Clausal Form Generation
Cognitive Architecture	Animating Cognitive Models and Architectures: A Rule-based Approach
Cognitive Model	Animating Cognitive Models and Architectures: A Rule-based Approach
cold start	Matching Jobs and Resumes: a Deep Collaborative Filtering Task
collaborative filtering	Matching Jobs and Resumes: a Deep Collaborative Filtering Task
Constraint Handling Rules	Animating Cognitive Models and Architectures: A Rule-based Approach
constraint logic programming	Constraint Problem Specification as Compression
constraint programming	Constraint Problem Specification as Compression
construction grammar	Application-Independent and Integration-Friendly Natural Language Understanding
cooperation	Cooperation in Adaptive Multi-Agent Systems through System of Systems modeling.
curse of dimensionality	A Sparse Representation of High-Dimensional Input Spaces Based on an Augmented Growing Neural Gas
CVs	Matching Jobs and Resumes: a Deep Collaborative Filtering Task
D
deep learning	Capacity Visual Attention Networks Deep Incremental Boosting
Description Logic EL	Towards a Decision Procedure for Uniform Interpolants in EL-TBoxes - a Proof-Theoretic Approach
Document classification	LexiPers: An ontology based sentiment lexicon for Persian
domestic robots	Heuristic Decision-Making for Human-aware Navigation in Domestic Environments A Short-Term Memory for Deliberative Agents in Everyday Environments
DRAT	Certificates for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing
dynamic systems	Invariant Projections in Games
E
Emergency department	Harmony Search Approach for Patient Scheduling in Emergency Laboratories
empirical investigation	Empirical Investigation of Learning-Based Imputation Policies
Ensembles	Deep Incremental Boosting
Evolutionary Algorithms	Heliostat Field Layout Optimization with Evolutionary Algorithms
F
feature selection	Content-Based Image Retrieval System for Real Images
First Order Logic	AVATAR Modulo Theories
First-Order Logic	New Techniques in Clausal Form Generation
FOOL	A Clausal Normal Form Translation for FOOL
formal model	Certificates for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing
G
game description language	Invariant Projections in Games
game structures	Invariant Projections in Games
general game playing	Invariant Projections in Games
Gentzen-style proof calculus	Towards a Decision Procedure for Uniform Interpolants in EL-TBoxes - a Proof-Theoretic Approach
Gesture Recognition	Contactless Surgery Light Control based on 3D Gesture Recognition
growing neural gas	A Sparse Representation of High-Dimensional Input Spaces Based on an Augmented Growing Neural Gas
H
Harmony search algorithm	Harmony Search Approach for Patient Scheduling in Emergency Laboratories Content-Based Image Retrieval System for Real Images
Healthcare management	Harmony Search Approach for Patient Scheduling in Emergency Laboratories
Heliostat Field Layout Optimization	Heliostat Field Layout Optimization with Evolutionary Algorithms
heuristic problem solving	Heuristic Decision-Making for Human-aware Navigation in Domestic Environments
human resources	Matching Jobs and Resumes: a Deep Collaborative Filtering Task
human robot interaction	Application-Independent and Integration-Friendly Natural Language Understanding
human-aware robot navigation	Heuristic Decision-Making for Human-aware Navigation in Domestic Environments
Human-Machine Interface	Contactless Surgery Light Control based on 3D Gesture Recognition
hybrid collaborative filtering	Matching Jobs and Resumes: a Deep Collaborative Filtering Task
I
image recognition	Capacity Visual Attention Networks
imputation policies	Empirical Investigation of Learning-Based Imputation Policies
intention recognition	Application-Independent and Integration-Friendly Natural Language Understanding
invariant projections	Invariant Projections in Games
Iterative learning and reasoning	Empirical Investigation of Learning-Based Imputation Policies
J
job announcements	Matching Jobs and Resumes: a Deep Collaborative Filtering Task
job recommendations	Matching Jobs and Resumes: a Deep Collaborative Filtering Task
K
knowledge extraction	When Should Learning Agents Switch to Explicit Knowledge?
L
learning agents	When Should Learning Agents Switch to Explicit Knowledge?
learning preference models	Learning Partial Lexicographic Preference Trees and Forests over Multi-Valued Attributes
Local compatibility matrix	Matching Qualitative Constraint Networks with Online Reinforcement Learning
local input space histograms	A Sparse Representation of High-Dimensional Input Spaces Based on an Augmented Growing Neural Gas
M
machine learning	Capacity Visual Attention Networks Empirical Investigation of Learning-Based Imputation Policies
Metaheuristic	Matching Qualitative Constraint Networks with Online Reinforcement Learning
missing data	Empirical Investigation of Learning-Based Imputation Policies
modeling	Cooperation in Adaptive Multi-Agent Systems through System of Systems modeling.
MPEG-7 specification	Content-Based Image Retrieval System for Real Images
multi-agent	Cooperation in Adaptive Multi-Agent Systems through System of Systems modeling.
N
natural language understanding	Application-Independent and Integration-Friendly Natural Language Understanding
Natural User Interface	Contactless Surgery Light Control based on 3D Gesture Recognition
neural networks	Capacity Visual Attention Networks
O
Ontology	LexiPers: An ontology based sentiment lexicon for Persian
Operating Room Lights	Contactless Surgery Light Control based on 3D Gesture Recognition
optimization problem	Harmony Search Approach for Patient Scheduling in Emergency Laboratories
P
parallel portfolio	Certificates for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing
Pareto rule	Learning Importance of Preferences
partial lexicographic preference forests	Learning Partial Lexicographic Preference Trees and Forests over Multi-Valued Attributes
partial lexicographic preference trees	Learning Partial Lexicographic Preference Trees and Forests over Multi-Valued Attributes
Persian	LexiPers: An ontology based sentiment lexicon for Persian
positional scoring rules	Learning Importance of Preferences
preference aggregation	Learning Importance of Preferences
preference importance	Learning Importance of Preferences
preference reasoning	Learning Importance of Preferences Learning Partial Lexicographic Preference Trees and Forests over Multi-Valued Attributes
preference representation	Learning Partial Lexicographic Preference Trees and Forests over Multi-Valued Attributes
prioritized patient scheduling	Harmony Search Approach for Patient Scheduling in Emergency Laboratories
Q
QCN matching	Matching Qualitative Constraint Networks with Online Reinforcement Learning
Qualitative Constraint Network	Matching Qualitative Constraint Networks with Online Reinforcement Learning
R
Reinforcement learning	Matching Qualitative Constraint Networks with Online Reinforcement Learning
resumes	Matching Jobs and Resumes: a Deep Collaborative Filtering Task
S
SARSA	Matching Qualitative Constraint Networks with Online Reinforcement Learning
SAT	Certificates for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing
Satisfiability Modulo Theories	AVATAR Modulo Theories
Sentiment analysis	LexiPers: An ontology based sentiment lexicon for Persian
Sentiment lexicon	LexiPers: An ontology based sentiment lexicon for Persian
short-term memory model	A Short-Term Memory for Deliberative Agents in Everyday Environments
Solar Tower Power Plants	Heliostat Field Layout Optimization with Evolutionary Algorithms
sparse representation	A Sparse Representation of High-Dimensional Input Spaces Based on an Augmented Growing Neural Gas
specification language	Constraint Problem Specification as Compression
Surgery Light Control	Contactless Surgery Light Control based on 3D Gesture Recognition
symbolic/sub-symbolic integration	When Should Learning Agents Switch to Explicit Knowledge?
System of systems	Cooperation in Adaptive Multi-Agent Systems through System of Systems modeling.
T
Theorem Proving	A Clausal Normal Form Translation for FOOL AVATAR Modulo Theories New Techniques in Clausal Form Generation
training rules	Empirical Investigation of Learning-Based Imputation Policies
Transfer Learning	Deep Incremental Boosting
translation	A Clausal Normal Form Translation for FOOL
U
Uniform Interpolation	Towards a Decision Procedure for Uniform Interpolants in EL-TBoxes - a Proof-Theoretic Approach
unsatisfiability proofs	Certificates for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing
V
Vampire	AVATAR Modulo Theories
visual attention	Capacity Visual Attention Networks
Z
Z3	AVATAR Modulo Theories