GCAI 2017: Volume Information

GCAI 2017. 3rd Global Conference on Artificial Intelligence

20 articles245 pagesPublished: October 19, 2017

Papers

Marijn 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

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-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.