default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd GCAI 2016: Berlin, Germany
- Christoph Benzmüller, Geoff Sutcliffe, Raúl Rojas:
GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19 - October 2, 2016, Berlin, Germany. EPiC Series in Computing 41, EasyChair 2016 - Alexander Steen, Max Wisniewski, Christoph Benzmüller:
Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL. 1-10 - Giles Reger
, Martin Suda, Andrei Voronkov:
New Techniques in Clausal Form Generation. 11-23 - Tobias Philipp:
Unsatisfiability Proofs for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing. 24-38 - Giles Reger, Nikolaj S. Bjørner, Martin Suda, Andrei Voronkov:
AVATAR Modulo Theories. 39-52 - Evgenii Kotelnikov, Laura Kovács, Martin Suda, Andrei Voronkov:
A Clausal Normal Form Translation for FOOL. 53-71 - Marcus Edel, Joscha Lausch:
Capacity Visual Attention Networks. 72-80 - Ying Zhu, Mirek Truszczynski:
Learning Importance of Preferences. 81-94 - Yin-Fu Huang, Bo-Rong Chen:
Content-Based Image Retrieval System for Real Images. 95-108 - Imen Boudali, Nihel Mokhtar:
Harmony Search Approach for Patient Scheduling in Emergency Laboratories. 109-123 - Thomas Schmitt, Phillipe Caillou, Michèle Sebag:
Matching Jobs and Resumes: a Deep Collaborative Filtering Task. 124-137 - Armin Dietz, Stephan Schröder, Andreas Pösch, Klaus Frank, Eduard Reithmeier:
Contactless Surgery Light Control based on 3D Gesture Recognition. 138-146 - Michel Ludwig, Dirk Walther:
Towards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic Approach. 147-160 - Hara Skouteli, Loizos Michael:
Empirical Investigation of Learning-Based Imputation Policies. 161-173 - Daan Apeldoorn, Gabriele Kern-Isberner:
When Should Learning Agents Switch to Explicit Knowledge? 174-186 - Ivo Chichkov, Alexandra Kirsch:
A Short-Term Memory for Deliberative Agents in Everyday Environments. 187-199 - Alexandra Kirsch:
Heuristic Decision-Making for Human-aware Navigation in Domestic Environments. 200-213 - Teddy Bouziat, Valérie Camps, Stéphanie Combettes:
Cooperation in Adaptive Multi-Agent Systems through System of Systems modeling. 214-226 - Abhijeet Mohapatra, Bertrand Decoster, Sudhir Agarwal, Michael R. Genesereth:
Invariant Projections in Games. 227-239 - Pascal Richter, David Laukamp, Levin Gerdes, Martin Frank, Erika Ábrahám:
Heliostat Field Layout Optimization with Evolutionary Algorithms. 240-252 - Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth, Daniel Gall:
Animating Cognitive Models and Architectures: A Rule-Based Approach. 253-265 - Malumbo Chipofya:
Matching Qualitative Constraint Networks with Online Reinforcement Learning. 266-279 - Steve Prestwich, S. Armagan Tarim, Roberto Rossi:
Constraint Problem Specification as Compression. 280-292 - Alan Mosca, George D. Magoulas:
Deep Incremental Boosting. 293-302 - Jochen Kerdels, Gabriele Peters:
A Sparse Representation of High-Dimensional Input Spaces Based on an Augmented Growing Neural Gas. 303-313 - Xudong Liu, Mirek Truszczynski:
Learning Partial Lexicographic Preference Trees and Forests over Multi-Valued Attributes. 314-328 - Behnam Sabeti, Pedram Hosseini, Gholamreza Ghassem-Sani, Seyed Abolghasem Mirroshandel:
LexiPers: An ontology based sentiment lexicon for Persian. 329-339 - Manfred Eppe, Sean Trott, Vivek Raghuram, Jerome A. Feldman, Adam Janin:
Application-Independent and Integration-Friendly Natural Language Understanding. 340-352
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-03-10 22:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
