Abstract is missing.
- Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOLAlexander Steen, Max Wisniewski, Christoph Benzmüller. 1-10 [doi]
- New Techniques in Clausal Form GenerationGiles Reger, Martin Suda 0001, Andrei Voronkov. 11-23 [doi]
- Unsatisfiability Proofs for Parallel SAT Solver Portfolios with Clause Sharing and InprocessingTobias Philipp. 24-38 [doi]
- AVATAR Modulo TheoriesGiles Reger, Nikolaj Bjørner, Martin Suda 0001, Andrei Voronkov. 39-52 [doi]
- A Clausal Normal Form Translation for FOOLEvgenii Kotelnikov, Laura Kovács, Martin Suda 0001, Andrei Voronkov. 53-71 [doi]
- Capacity Visual Attention NetworksMarcus Edel, Joscha Lausch. 72-80 [doi]
- Learning Importance of PreferencesYing Zhu, Mirek Truszczynski. 81-94 [doi]
- Content-Based Image Retrieval System for Real ImagesYin-Fu Huang, Bo-Rong Chen. 95-108 [doi]
- Harmony Search Approach for Patient Scheduling in Emergency LaboratoriesImen Boudali, Nihel Mokhtar. 109-123 [doi]
- Matching Jobs and Resumes: a Deep Collaborative Filtering TaskThomas Schmitt, Phillipe Caillou, Michèle Sebag. 124-137 [doi]
- Contactless Surgery Light Control based on 3D Gesture RecognitionArmin Dietz, Stephan Schröder, Andreas Pösch, Klaus Frank, Eduard Reithmeier. 138-146 [doi]
- Towards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic ApproachMichel Ludwig, Dirk Walther 0002. 147-160 [doi]
- Empirical Investigation of Learning-Based Imputation PoliciesHara Skouteli, Loizos Michael. 161-173 [doi]
- When Should Learning Agents Switch to Explicit Knowledge?Daan Apeldoorn, Gabriele Kern-Isberner. 174-186 [doi]
- A Short-Term Memory for Deliberative Agents in Everyday EnvironmentsIvo Chichkov, Alexandra Kirsch. 187-199 [doi]
- Heuristic Decision-Making for Human-aware Navigation in Domestic EnvironmentsAlexandra Kirsch. 200-213 [doi]
- Cooperation in Adaptive Multi-Agent Systems through System of Systems modelingTeddy Bouziat, Valérie Camps, Stéphanie Combettes. 214-226 [doi]
- Invariant Projections in GamesAbhijeet Mohapatra, Bertrand Decoster, Sudhir Agarwal, Michael R. Genesereth. 227-239 [doi]
- Heliostat Field Layout Optimization with Evolutionary AlgorithmsPascal Richter, David Laukamp, Levin Gerdes, Martin Frank, Erika Ábrahám. 240-252 [doi]
- Animating Cognitive Models and Architectures: A Rule-Based ApproachNada Sharaf, Slim Abdennadher, Thom W. Frühwirth, Daniel Gall. 253-265 [doi]
- Matching Qualitative Constraint Networks with Online Reinforcement LearningMalumbo Chipofya. 266-279 [doi]
- Constraint Problem Specification as CompressionSteve Prestwich, S. Armagan Tarim, Roberto Rossi. 280-292 [doi]
- Deep Incremental BoostingAlan Mosca, George D. Magoulas. 293-302 [doi]
- A Sparse Representation of High-Dimensional Input Spaces Based on an Augmented Growing Neural GasJochen Kerdels, Gabriele Peters. 303-313 [doi]
- Learning Partial Lexicographic Preference Trees and Forests over Multi-Valued AttributesXudong Liu, Mirek Truszczynski. 314-328 [doi]
- LexiPers: An ontology based sentiment lexicon for PersianBehnam Sabeti, Pedram Hosseini, Gholamreza Ghassem-Sani, Seyed Abolghasem Mirroshandel. 329-339 [doi]
- Application-Independent and Integration-Friendly Natural Language UnderstandingManfred Eppe, Sean Trott, Vivek Raghuram, Jerome A. Feldman, Adam Janin. 340-352 [doi]