Papers
Text Rewriting Improves Semantic Role Labeling (Extended Abstract)
Kristian Woodsend, Mirella Lapata
Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function (Extended Abstract)
Yiyuan Wang, Shaowei Cai, Minghao Yin
Exploiting Causality for Selective Belief Filtering in Dynamic Bayesian Networks (Extended Abstract)
Stefano V. Albrecht, Subramanian Ramamoorthy
Robots in Retirement Homes: Applying Off-the-Shelf Planning and Scheduling to a Team of Assistive Robots (Extended Abstract)
Tony T. Tran, Tiago Vaquero, Goldie Nejat et al.
A generic approach to planning in the presence of incomplete information: Theory and implementation (Extended Abstract)
Son Thanh To, Tran Cao Son, Enrico Pontelli
Some Properties of Batch Value of Information in the Selection Problem (Extended Abstract)
Shahaf S. Shperberg, Solomon Eyal Shimony
Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract)
Yi-Dong Shen, Thomas Eiter
Generating Models of a Matched Formula With a Polynomial Delay (Extended Abstract)
Petr Savický, Petr Kučera
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.