GCAI 2016. 2nd Global Conference on Artificial Intelligence

ACT-R, adaptation, AI Planning, automated reasoning², CBIR, Chaining rules, Clausal Normal Form, clause normal form, Clausification, cognitive architecture, cognitive model, cold start, collaborative filtering, Constraint Handling Rules, Constraint Logic Programming, Constraint Programming, Construction Grammar, cooperation, curse of dimensionality, CVS, deep learning², Description Logic EL, document classification, domestic robots², DRAT, dynamic systems, Emergency Department, empirical investigation, Ensembles, Evolutionary Algorithms, feature selection, first-order logic², FOOL, formal model, Game Description Language, game structures, General Game Playing, Gentzen-style proof calculus, gesture recognition, Growing Neural Gas, Harmony Search Algorithm², Healthcare Management, Heliostat Field Layout Optimization, heuristic problem solving, Human Machine Interface, human resources, human-aware robot navigation, human-robot interaction, hybrid collaborative filtering, image recognition, imputation policies, intention recognition, invariant projections, Iterative learning and reasoning, job announcements, job recommendations, knowledge extraction, learning agents, learning preference models, Local compatibility matrix, local input space histograms, machine learning², Metaheuristic, missing data, modeling, MPEG-7 specification, multi-agent, natural language understanding, Natural User Interface, neural networks, Ontology, Operating Room Lights, optimization problem, parallel portfolio, Pareto rule, partial lexicographic preference forests, partial lexicographic preference trees, Persian, positional scoring rules, preference aggregation, preference importance, preference reasoning², preference representation, prioritized patient scheduling, QCN matching, Qualitative Constraint Network, Reinforcement Learning, Resumes, SARSA, SAT, Satisfiability Modulo Theories, Sentiment Analysis, sentiment lexicon, short-term memory model, Solar Tower Power Plants, sparse representation, specification language, Surgery Light Control, symbolic/sub-symbolic integration, System of Systems, theorem proving³, training rules, Transfer Learning, translation, Uniform Interpolation, unsatisfiability proofs, Vampire, visual attention, Z3