GCAI 2016: Keyword Index

KeywordPapers
a
ACT-RAnimating Cognitive Models and Architectures: A Rule-Based Approach
adaptationCooperation in Adaptive Multi-Agent Systems through System of Systems modeling
AI PlanningA Short-Term Memory for Deliberative Agents in Everyday Environments
automated reasoningNew Techniques in Clausal Form Generation
AVATAR Modulo Theories
c
CBIRContent-Based Image Retrieval System for Real Images
Chaining rulesEmpirical Investigation of Learning-Based Imputation Policies
Clausal Normal FormNew Techniques in Clausal Form Generation
clause normal formA Clausal Normal Form Translation for FOOL
ClausificationNew Techniques in Clausal Form Generation
cognitive architectureAnimating Cognitive Models and Architectures: A Rule-Based Approach
cognitive modelAnimating Cognitive Models and Architectures: A Rule-Based Approach
cold startMatching Jobs and Resumes: a Deep Collaborative Filtering Task
collaborative filteringMatching Jobs and Resumes: a Deep Collaborative Filtering Task
Constraint Handling RulesAnimating Cognitive Models and Architectures: A Rule-Based Approach
Constraint Logic ProgrammingConstraint Problem Specification as Compression
Constraint ProgrammingConstraint Problem Specification as Compression
Construction GrammarApplication-Independent and Integration-Friendly Natural Language Understanding
cooperationCooperation in Adaptive Multi-Agent Systems through System of Systems modeling
curse of dimensionalityA Sparse Representation of High-Dimensional Input Spaces Based on an Augmented Growing Neural Gas
CVSMatching Jobs and Resumes: a Deep Collaborative Filtering Task
d
deep learningCapacity Visual Attention Networks
Deep Incremental Boosting
Description Logic ELTowards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic Approach
document classificationLexiPers: An ontology based sentiment lexicon for Persian
domestic robotsA Short-Term Memory for Deliberative Agents in Everyday Environments
Heuristic Decision-Making for Human-aware Navigation in Domestic Environments
DRATUnsatisfiability Proofs for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing
dynamic systemsInvariant Projections in Games
e
Emergency DepartmentHarmony Search Approach for Patient Scheduling in Emergency Laboratories
empirical investigationEmpirical Investigation of Learning-Based Imputation Policies
EnsemblesDeep Incremental Boosting
Evolutionary AlgorithmsHeliostat Field Layout Optimization with Evolutionary Algorithms
f
feature selectionContent-Based Image Retrieval System for Real Images
first-order logicNew Techniques in Clausal Form Generation
AVATAR Modulo Theories
FOOLA Clausal Normal Form Translation for FOOL
formal modelUnsatisfiability Proofs for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing
g
Game Description LanguageInvariant Projections in Games
game structuresInvariant Projections in Games
General Game PlayingInvariant Projections in Games
Gentzen-style proof calculusTowards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic Approach
gesture recognitionContactless Surgery Light Control based on 3D Gesture Recognition
Growing Neural GasA Sparse Representation of High-Dimensional Input Spaces Based on an Augmented Growing Neural Gas
h
Harmony Search AlgorithmContent-Based Image Retrieval System for Real Images
Harmony Search Approach for Patient Scheduling in Emergency Laboratories
Healthcare ManagementHarmony Search Approach for Patient Scheduling in Emergency Laboratories
Heliostat Field Layout OptimizationHeliostat Field Layout Optimization with Evolutionary Algorithms
heuristic problem solvingHeuristic Decision-Making for Human-aware Navigation in Domestic Environments
Human Machine InterfaceContactless Surgery Light Control based on 3D Gesture Recognition
human resourcesMatching Jobs and Resumes: a Deep Collaborative Filtering Task
human-aware robot navigationHeuristic Decision-Making for Human-aware Navigation in Domestic Environments
human-robot interactionApplication-Independent and Integration-Friendly Natural Language Understanding
hybrid collaborative filteringMatching Jobs and Resumes: a Deep Collaborative Filtering Task
i
image recognitionCapacity Visual Attention Networks
imputation policiesEmpirical Investigation of Learning-Based Imputation Policies
intention recognitionApplication-Independent and Integration-Friendly Natural Language Understanding
invariant projectionsInvariant Projections in Games
Iterative learning and reasoningEmpirical Investigation of Learning-Based Imputation Policies
j
job announcementsMatching Jobs and Resumes: a Deep Collaborative Filtering Task
job recommendationsMatching Jobs and Resumes: a Deep Collaborative Filtering Task
k
knowledge extractionWhen Should Learning Agents Switch to Explicit Knowledge?
l
learning agentsWhen Should Learning Agents Switch to Explicit Knowledge?
learning preference modelsLearning Partial Lexicographic Preference Trees and Forests over Multi-Valued Attributes
Local compatibility matrixMatching Qualitative Constraint Networks with Online Reinforcement Learning
local input space histogramsA Sparse Representation of High-Dimensional Input Spaces Based on an Augmented Growing Neural Gas
m
machine learningCapacity Visual Attention Networks
Empirical Investigation of Learning-Based Imputation Policies
MetaheuristicMatching Qualitative Constraint Networks with Online Reinforcement Learning
missing dataEmpirical Investigation of Learning-Based Imputation Policies
modelingCooperation in Adaptive Multi-Agent Systems through System of Systems modeling
MPEG-7 specificationContent-Based Image Retrieval System for Real Images
multi-agentCooperation in Adaptive Multi-Agent Systems through System of Systems modeling
n
natural language understandingApplication-Independent and Integration-Friendly Natural Language Understanding
Natural User InterfaceContactless Surgery Light Control based on 3D Gesture Recognition
neural networksCapacity Visual Attention Networks
o
OntologyLexiPers: An ontology based sentiment lexicon for Persian
Operating Room LightsContactless Surgery Light Control based on 3D Gesture Recognition
optimization problemHarmony Search Approach for Patient Scheduling in Emergency Laboratories
p
parallel portfolioUnsatisfiability Proofs for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing
Pareto ruleLearning Importance of Preferences
partial lexicographic preference forestsLearning Partial Lexicographic Preference Trees and Forests over Multi-Valued Attributes
partial lexicographic preference treesLearning Partial Lexicographic Preference Trees and Forests over Multi-Valued Attributes
PersianLexiPers: An ontology based sentiment lexicon for Persian
positional scoring rulesLearning Importance of Preferences
preference aggregationLearning Importance of Preferences
preference importanceLearning Importance of Preferences
preference reasoningLearning Importance of Preferences
Learning Partial Lexicographic Preference Trees and Forests over Multi-Valued Attributes
preference representationLearning Partial Lexicographic Preference Trees and Forests over Multi-Valued Attributes
prioritized patient schedulingHarmony Search Approach for Patient Scheduling in Emergency Laboratories
q
QCN matchingMatching Qualitative Constraint Networks with Online Reinforcement Learning
Qualitative Constraint NetworkMatching Qualitative Constraint Networks with Online Reinforcement Learning
r
Reinforcement LearningMatching Qualitative Constraint Networks with Online Reinforcement Learning
ResumesMatching Jobs and Resumes: a Deep Collaborative Filtering Task
s
SARSAMatching Qualitative Constraint Networks with Online Reinforcement Learning
SATUnsatisfiability Proofs for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing
Satisfiability Modulo TheoriesAVATAR Modulo Theories
Sentiment AnalysisLexiPers: An ontology based sentiment lexicon for Persian
sentiment lexiconLexiPers: An ontology based sentiment lexicon for Persian
short-term memory modelA Short-Term Memory for Deliberative Agents in Everyday Environments
Solar Tower Power PlantsHeliostat Field Layout Optimization with Evolutionary Algorithms
sparse representationA Sparse Representation of High-Dimensional Input Spaces Based on an Augmented Growing Neural Gas
specification languageConstraint Problem Specification as Compression
Surgery Light ControlContactless Surgery Light Control based on 3D Gesture Recognition
symbolic/sub-symbolic integrationWhen Should Learning Agents Switch to Explicit Knowledge?
System of SystemsCooperation in Adaptive Multi-Agent Systems through System of Systems modeling
t
theorem provingNew Techniques in Clausal Form Generation
AVATAR Modulo Theories
A Clausal Normal Form Translation for FOOL
training rulesEmpirical Investigation of Learning-Based Imputation Policies
Transfer LearningDeep Incremental Boosting
translationA Clausal Normal Form Translation for FOOL
u
Uniform InterpolationTowards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic Approach
unsatisfiability proofsUnsatisfiability Proofs for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing
v
VampireAVATAR Modulo Theories
visual attentionCapacity Visual Attention Networks
z
Z3AVATAR Modulo Theories