GCAI 2017. 3rd Global Conference on Artificial Intelligence20 articles•245 pages•Published: October 19, 2017 PapersPages 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 |
Keyphrasesaggregating 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 |
|