Published: 2016-05-01

Query and Predicate Emptiness in Ontology-Based Data Access

Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter

1-59

Optimal Any-Angle Pathfinding In Practice

Daniel Damir Harabor, Alban Grastien, Dindar Öz, Vural Aksakalli

89-118

Budgeted Optimization with Constrained Experiments

Javad Azimi, Xiaoli Fern, Alan Fern

119-152

Global Continuous Optimization with Error Bound and Fast Convergence

Kenji Kawaguchi, Yu Maruyama, Xiaoyu Zheng

153-195

DL-Lite Contraction and Revision

Zhiqiang Zhuang, Zhe Wang, Kewen Wang, Guilin Qi

329-378

On the Satisfiability Problem for SPARQL Patterns

Xiaowang Zhang, Jan Van den Bussche, François Picalausa

403-428

Efficient Mechanism Design for Online Scheduling

Xujin Chen, Xiaodong Hu, Tie-Yan Liu, Weidong Ma, Tao Qin, Pingzhong Tang, Changjun Wang, Bo Zheng

429-461

Computing Repairs of Inconsistent DL-Programs over EL Ontologies

Thomas Eiter, Michael Fink, Daria Stepanova

463-515

Time-Sensitive Bayesian Information Aggregation for Crowdsourcing Systems

Matteo Venanzi, John Guiver, Pushmeet Kohli, Nicholas R. Jennings

517-545

A Study of Proxies for Shapley Allocations of Transport Costs

Haris Aziz, Casey Cahan, Charles Gretton, Philip Kilby, Nicholas Mattei, Toby Walsh

573-611

Datalog+- Ontology Consolidation

Cristhian Ariel D. Deagustini, Maria Vanina Martinez, Marcelo A. Falappa, Guillermo R. Simari

613-656

The IBaCoP Planning System: Instance-Based Configured Portfolios

Isabel Cenamor, Tomás de la Rosa, Fernando Fernández

657-691