EasyChair Publications
Search
GCAI 2016 Volume Information
Volume:Christoph Benzmüller, Geoff Sutcliffe and Raul Rojas (editors)
GCAI 2016. 2nd Global Conference on Artificial Intelligence

GCAI 2016 Volume Information

Title:GCAI 2016. 2nd Global Conference on Artificial Intelligence
Editors:Christoph Benzmüller, Geoff Sutcliffe and Raul Rojas
Series:EPiC Series in Computing
Volume:41
Publication date:September 29, 2016

Papers

AuthorsTitlePagesPDF
Alexander Steen, Max Wisniewski and Christoph BenzmüllerTutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL1-10
Giles Reger, Martin Suda and Andrei VoronkovNew Techniques in Clausal Form Generation11-23
Tobias PhilippUnsatisfiability Proofs for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing24-38
Giles Reger, Nikolaj Bjorner, Martin Suda and Andrei VoronkovAVATAR Modulo Theories39-52
Evgenii Kotelnikov, Laura Kovacs, Martin Suda and Andrei VoronkovA Clausal Normal Form Translation for FOOL53-71
Marcus Edel and Joscha LauschCapacity Visual Attention Networks72-80
Ying Zhu and Mirek TruszczynskiLearning Importance of Preferences81-94
Yin-Fu Huang and Bo-Rong ChenContent-Based Image Retrieval System for Real Images95-108
Imen Boudali and Nihel MokhtarHarmony Search Approach for Patient Scheduling in Emergency Laboratories109-123
Thomas Schmitt, Phillipe Caillou and Michèle SebagMatching Jobs and Resumes: a Deep Collaborative Filtering Task124-137
Armin Dietz, Stephan Schröder, Andreas Pösch, Klaus Frank and Eduard ReithmeierContactless Surgery Light Control based on 3D Gesture Recognition138-146
Michel Ludwig and Dirk WaltherTowards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic Approach147-160
Hara Skouteli and Loizos MichaelEmpirical Investigation of Learning-Based Imputation Policies161-173
Daan Apeldoorn and Gabriele Kern-IsbernerWhen Should Learning Agents Switch to Explicit Knowledge?174-186
Ivo Chichkov and Alexandra KirschA Short-Term Memory for Deliberative Agents in Everyday Environments187-199
Alexandra KirschHeuristic Decision-Making for Human-aware Navigation in Domestic Environments200-213
Teddy Bouziat, Valérie Camps and Stéphanie CombettesCooperation in Adaptive Multi-Agent Systems through System of Systems modeling214-226
Abhijeet Mohapatra, Bertrand Decoster, Sudhir Agarwal and Michael GeneserethInvariant Projections in Games227-239
Pascal Richter, David Laukamp, Levin Gerdes, Martin Frank and Erika AbrahamHeliostat Field Layout Optimization with Evolutionary Algorithms240-252
Nada Sharaf, Slim Abdennadher, Thom Fruehwirth and Daniel GallAnimating Cognitive Models and Architectures: A Rule-Based Approach253-265
Malumbo ChipofyaMatching Qualitative Constraint Networks with Online Reinforcement Learning266-279
Steve Prestwich, S. Armagan Tarim and Roberto RossiConstraint Problem Specification as Compression280-292
Alan Mosca and George MagoulasDeep Incremental Boosting293-302
Jochen Kerdels and Gabriele PetersA Sparse Representation of High-Dimensional Input Spaces Based on an Augmented Growing Neural Gas303-313
Xudong Liu and Mirek TruszczynskiLearning Partial Lexicographic Preference Trees and Forests over Multi-Valued Attributes314-328
Behnam Sabeti, Pedram Hosseini, Gholamreza Ghassem-Sani and Sَeyed Abolghasem MirroshandelLexiPers: An ontology based sentiment lexicon for Persian329-339
Manfred Eppe, Sean Trott, Vivek Raghuram, Jerome Feldman and Adam JaninApplication-Independent and Integration-Friendly Natural Language Understanding340-352

Keyphrases

CountKeyphrase
3theorem proving
2automated reasoning, deep learning, domestic robots, first order logic, harmony search algorithm, machine learning, preference reasoning
1act r, adaptation, ai planning, 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, description logic el, document classification, drat, dynamic systems, emergency department, empirical investigation, ensembles, evolutionary algorithms, feature selection, fool, formal model, game description language, game structures, general game playing, gentzen style proof calculus, gesture recognition, growing neural gas, 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, 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 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, training rules, transfer learning, translation, uniform interpolation, unsatisfiability proofs, vampire, visual attention, z3