GCAI 2017: Volume InformationGCAI 2017. 3rd Global Conference on Artificial Intelligence20 articles•245 pages•Published: October 19, 2017 PapersMarijn Heule 1-5 | Franz Baader and Andreas Ecke 6-19 | Yuezhang Li, Katia Sycara and Rahul Iyer 20-35 | Marco Wilhelm, Gabriele Kern-Isberner and Andreas Ecke 36-50 | Eugene Freuder and Richard Wallace 51-63 | Thierry Boy de La Tour 64-77 | Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald and Christoph Beierle 78-92 | Wesley Cox, Tim French, Mark Reynolds and Lyndon While 93-106 | Liron Cohen and Yoni Zohar 107-120 | Jan Jakubuv, Martin Suda and Josef Urban 121-133 | Alexandra Kirsch 134-147 | Joshua Cherian Varughese, Ronald Thenius, Thomas Schmickl and Franz Wotawa 148-161 | Ramoni Lasisi and Abibat Lasisi 162-174 | Sima Jamali and David Mitchell 175-187 | Gopalakrishnan Krishnasamy Sivaprakasam, Adrienne Raglin, Douglas Summers-Stay and Giora Slutzki 188-201 | Justin Lovinger and Xiaoqin Zhang 202-212 | Ching Hao Yu, Manas Bhatnagar, Rachel Hogen, Dilin Mao, Atefeh Farzindar and Kiran Dhanireddy 213-220 | Mariela Andrade, Eduardo Gasca and Eréndira Rendón 221-232 | Nikolaj Bjorner, Maria-Cristina Marinescu and Mooly Sagiv 233-238 | Pedro Pena, Joseph Masterjohn and Ubbo Visser 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-bounded Search, Memory Efficient 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. |
|