GCAI 2017. 3rd Global Conference on Artificial Intelligence

20 articles245 pagesPublished: October 19, 2017

Papers

Pages 1-5
Pages 6-19
Pages 20-35
Pages 36-50
Pages 51-63
Pages 64-77
Pages 78-92
Pages 93-106
Pages 107-120
Pages 121-133
Pages 134-147
Pages 148-161
Pages 162-174
Pages 175-187
Pages 188-201
Pages 202-212
Pages 213-220
Pages 221-232
Pages 233-238
Pages 239-245

Keyphrases

aggregating semantics, Artificial Neural Networks2, automata, automated reasoning, automated theorem proving, Bio-inspired, blood transfusion, Branch and Bound, Bridge variables, cardinality constraints, CDCL, centrality, community structure, completeness, complexity, conditional preservation, consistency, constraint satisfaction, Copeland Election, Covariance Matrix Adaptation Evolutionary Strategy, Deep Reinforcement Learning, Description Logics, dynamic kick, Evaluation and Analysis, explainable model, first-order logic, generalization, Genetic Algorithms, Herbrand structures, heuristic search, hierarchical abstraction, incremental learning algorithm, independence results, Industrial Formulas, Iterated Belief Change, Iterated contraction, kick trajectory, knowledge bases, local to global inference, machine learning2, Memory Efficient Search, Memory-bounded Search, Multilayer Perceptron2, object recognition, Ontologies, Parameters Learning, prediction, principle of maximum entropy, Probabilistic Description Logic, problem solving, proving strategy, query answering, randomised heuristic, ranking functions, relational probabilistic conditionals, robot kick, robot navigation, saliency map, Scheduling, second-order constraints, Secrecy-Preserving Reasoning, sequent-based proof systems, Smart Cities, SMT, strategy invention, Substitutability, Support Vector Machine, Swarm Intelligence, swarm robotics, typed lambda calculus, VSIDS