Papers
News Across Languages - Cross-Lingual Document Similarity and Event Tracking (Extended Abstract)
Jan Rupnik, Andrej Muhič, Gregor Leban et al.
Construction of System of Spheres-based Transitively Relational Partial Meet Multiple Contractions: An Impossibility Result (Extended Abstract)
Maurício D. L. Reis, Eduardo Fermé, Pavlos Peppas
Relations Between Spatial Calculi About Directions and Orientations (Extended Abstract)
Till Mossakowski, Reinhard Moratz
Approximate Value Iteration with Temporally Extended Actions (Extended Abstract)
Timothy A. Mann, Shie Mannor, Doina Precup
CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract)
Chuan Luo, Shaowei Cai, Kaile Su et al.
AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract)
Marius Lindauer, Frank Hutter, Holger H. Hoos et al.
On Redundant Topological Constraints (Extended Abstract)
Sanjiang Li, Zhiguo Long, Weiming Liu et al.
Automated Conjecturing I: Fajtlowicz's Dalmatian Heuristic Revisited (Extended Abstract)
Craig E. Larson, Nico Van Cleemput
New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract)
Yong Lai, Dayou Liu, Minghao Yin
Computer Models Solving Intelligence Test Problems: Progress and Implications (Extended Abstract)
José Hernández-Orallo, Fernando Martínez-Plumed, Ute Schmid et al.
The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract)
Davide Grossi, Emiliano Lorini, François Schwarzentruber
Coherent Predictive Inference under Exchangeability with Imprecise Probabilities (Extended Abstract)
Gert de Cooman, Jasper De Bock, Márcio Alves Diniz
Bayesian Network Structure Learning with Integer Programming: Polytopes, Facets and Complexity (Extended Abstract)
James Cussens, Matti Järvisalo, Janne H. Korhonen et al.
Efficient Mechanism Design for Online Scheduling (Extended Abstract)
Xujin Chen, Xiaodong Hu, Tie-Yan Liu et al.
On Minimum Representations of Matched Formulas (Extended Abstract)
Ondřej Čepek, Štefan Gurský, Petr Kučera
A New Semantics for Overriding in Description Logics (Extended Abstract)
Piero Bonatti, Marco Faella, Iliana M. Petrova et al.
Automatic Description Generation from Images: A Survey of Models, Datasets, and Evaluation Measures (Extended Abstract)
Raffaella Bernardi, Ruket Cakici, Desmond Elliott et al.
Robust Multilingual Named Entity Recognition with Shallow Semi-supervised Features (Extended Abstract)
Rodrigo Agerri, German Rigau
Maximizing Awareness about HIV in Social Networks of Homeless Youth with Limited Information
Amulya Yadav, Hau Chan, Albert Xin Jiang et al.
I-dual: Solving Constrained SSPs via Heuristic Search in the Dual Space
Felipe Trevizan, Sylvie Thiebaux, Pedro Santana et al.
Value Iteration Networks
Aviv Tamar, Yi Wu, Garrett Thomas et al.
Local Topic Discovery via Boosted Ensemble of Nonnegative Matrix Factorization
Sangho Suh, Jaegul Choo, Joonseok Lee et al.
Evaluating Market User Interfaces for Electric Vehicle Charging using Bid2Charge
Sebastian Stein, Enrico H. Gerding, Adrian Nedea et al.
Adapting Deep Network Features to Capture Psychological Representations: An Abridged Report
Joshua C. Peterson, Joshua T. Abbott, Thomas L. Griffiths
Grounding Abstract Spatial Concepts for Language Interaction with Robots
Rohan Paul, Jacob Arkin, Nicholas Roy et al.