GCAI 2015. Global Conference on Artificial Intelligence

22 articles319 pagesPublished: December 18, 2015

Papers

Pages 1-13
Pages 14-26
Pages 27-41
Pages 42-50
Pages 51-65
Pages 66-78
Pages 79-92
Pages 93-112
Pages 113-126
Pages 127-136
Pages 137-150
Pages 151-162
Pages 163-175
Pages 176-195
Pages 196-214
Pages 215-228
Pages 229-251
Pages 252-262
Pages 263-274
Pages 275-295
Pages 296-311
Pages 312-319

Keyphrases

abstraction refinement, adaptive neural networks, Answer Set Programming, Artificial Intelligence, automated theorem proving2, Automaton constraint, Bilattices, bioprosthetic hand, bitopology, Bounded Model Checking, competence measure, computational complexity, computer games, conditionals, conjunctive normal form, constraint decomposition, Constraint Modelling, Constraint Programming, constraint propagator, constraint satisfaction, countdown game, countdown game variants, coverage control, coverage preserving protocols, data complexity, Description Logic, Description Logics, DL-Lite, doxastic logic, energy management problem, energy optimization, EPR fragment, extended interval numbers, feedback information, Feferman-Vaught Reduction Sequences, first-order logic, fixpoint reasoning, fuzzy sampling, generalized animation, Genetic Algorithms2, Global Constraints, hesitant fuzzy set, heuristic search, HOL, hybrid electric vehicle, implied constraints, Incremental Automated Reasoning, information entropy, k-induction, knowledge representation, Knowledge Representation and Reasoning, large-theory automated reasoning, Linear Integer Arithmetic, logic programming, logical difference between ontologies, mathematical foundations, mathematical programming problem, maximum lifetime coverage problem, MESON, METIS, modal logic, modal logic S5, modular systems, multi-attribute decision making, multi-language constraint solving, Multiclassifier system, negative probability, neural networks, non-monotonic reasoning, organic chemistry synthesis problem, paramodulation, probabilistic programming, Proof tactics, ranking of investment projects, reasoning about action, resolution method, SAT solving, simulations between hypergraphs, sortedness constraints, Spam, Spam Detection, spam filtration system, stable sort, strategy development, Strongly distributed systems, Syntactically Defined Translation Schemes, tableaux, Temporal Queries, TOPSIS method, Trust, Wireless Sensor Networks