GCAI 2017:Keyword Index

KeywordPapers
A
aggregating semanticsBasic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals
Artificial Neural NetworksAnemic Status Prediction using Multilayer Perceptron Neural Network Model
Implementation of Incremental Learning in Artificial Neural Networks
automataA Genetic Algorithm for Truck Dispatching in Mining
automated reasoningReasoning Inside The Box: Deduction in Herbrand Logics
automated theorem provingAutomated Invention of Strategies and Term Orderings for Vampire
B
Bio-inspiredQuantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms
blood transfusionAnemic Status Prediction using Multilayer Perceptron Neural Network Model
Branch and BoundImproved Heuristic for Manipulation of Second-order Copeland Elections
Bridge variablesImproving SAT Solver Performance with Structure-based Preferential Bumping
C
cardinality constraintsExtending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts
CDCLImproving SAT Solver Performance with Structure-based Preferential Bumping
centralityImproving SAT Solver Performance with Structure-based Preferential Bumping
community structureImproving SAT Solver Performance with Structure-based Preferential Bumping
completenessReasoning Inside The Box: Deduction in Herbrand Logics
complexityExtending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts
conditional preservationIterated contraction of propositions and conditionals under the principle of conditional preservation
consistencyReplaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems
constraint satisfactionReplaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems
Copeland ElectionImproved Heuristic for Manipulation of Second-order Copeland Elections
Covariance Matrix Adaptation Evolutionary StrategyOptimizing Kick Trajectory: A Comparative Study
D
Deep Reinforcement LearningObject-sensitive Deep Reinforcement Learning
Description LogicsExtending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts
dynamic kickOptimizing Kick Trajectory: A Comparative Study
E
Evaluation and AnalysisEnhanced Simplified Memory-bounded A Star (SMA*+)
explainable modelObject-sensitive Deep Reinforcement Learning
F
first-order logicAutomated Invention of Strategies and Term Orderings for Vampire
G
generalizationProperties of Constrained Generalization Algorithms
Genetic AlgorithmsA Genetic Algorithm for Truck Dispatching in Mining
H
Herbrand structuresReasoning Inside The Box: Deduction in Herbrand Logics
heuristic searchEnhanced Simplified Memory-bounded A Star (SMA*+)
hierarchical abstractionA Modular Approach of Decision-Making in the Context of Robot Navigation in Domestic Environments
I
incremental learning algorithmImplementation of Incremental Learning in Artificial Neural Networks
independence resultsBasic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals
Industrial FormulasImproving SAT Solver Performance with Structure-based Preferential Bumping
Iterated Belief ChangeIterated contraction of propositions and conditionals under the principle of conditional preservation
Iterated contractionIterated contraction of propositions and conditionals under the principle of conditional preservation
K
kick trajectoryOptimizing Kick Trajectory: A Comparative Study
knowledge basesSecrecy-Preserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases
L
local to global inferenceReplaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems
M
machine learningAutomated Invention of Strategies and Term Orderings for Vampire
Anemic Status Prediction using Multilayer Perceptron Neural Network Model
Memory Efficient SearchEnhanced Simplified Memory-bounded A Star (SMA*+)
Memory-bounded SearchEnhanced Simplified Memory-bounded A Star (SMA*+)
Multilayer PerceptronAnemic Status Prediction using Multilayer Perceptron Neural Network Model
Implementation of Incremental Learning in Artificial Neural Networks
O
object recognitionObject-sensitive Deep Reinforcement Learning
OntologiesAbduction for Learning Smart City Rules
P
Parameters LearningAutomated Invention of Strategies and Term Orderings for Vampire
predictionAnemic Status Prediction using Multilayer Perceptron Neural Network Model
principle of maximum entropyBasic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals
Probabilistic Description LogicSecrecy-Preserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases
problem solvingA Modular Approach of Decision-Making in the Context of Robot Navigation in Domestic Environments
proving strategyAutomated Invention of Strategies and Term Orderings for Vampire
Q
query answeringSecrecy-Preserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases
R
randomised heuristicImproved Heuristic for Manipulation of Second-order Copeland Elections
ranking functionsIterated contraction of propositions and conditionals under the principle of conditional preservation
relational probabilistic conditionalsBasic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals
robot kickOptimizing Kick Trajectory: A Comparative Study
robot navigationA Modular Approach of Decision-Making in the Context of Robot Navigation in Domestic Environments
S
saliency mapObject-sensitive Deep Reinforcement Learning
SchedulingA Genetic Algorithm for Truck Dispatching in Mining
second-order constraintsProperties of Constrained Generalization Algorithms
Secrecy-Preserving ReasoningSecrecy-Preserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases
sequent-based proof systemsReasoning Inside The Box: Deduction in Herbrand Logics
Smart CitiesAbduction for Learning Smart City Rules
SMTAbduction for Learning Smart City Rules
strategy inventionAutomated Invention of Strategies and Term Orderings for Vampire
SubstitutabilityReplaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems
Support Vector MachineImplementation of Incremental Learning in Artificial Neural Networks
Swarm IntelligenceQuantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms
swarm roboticsQuantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms
T
typed lambda calculusProperties of Constrained Generalization Algorithms
V
VSIDSImproving SAT Solver Performance with Structure-based Preferential Bumping