JAIR Volume 56 Articles

Volume 56 MastHead

Each entry in this table of contents provides links to an individual article and its appendices (if any):

Franz Baader, Meghyn Bienvenu, Carsten Lutz and Frank Wolter (2016) "Query and Predicate Emptiness in Ontology-Based Data Access", Volume 56, pages 1-59

Abstract | PDF | doi:10.1613/jair.4866

Nasrin Taghizadeh and Hesham Faili (2016) "Automatic Wordnet Development for Low-Resource Languages using Cross-Lingual WSD", Volume 56, pages 61-87

Abstract | PDF | doi:10.1613/jair.4968

Daniel Damir Harabor, Alban Grastien, Dindar Öz and Vural Aksakalli (2016) "Optimal Any-Angle Pathfinding In Practice", Volume 56, pages 89-118

Abstract | PDF | doi:10.1613/jair.5007

Javad Azimi, Xiaoli Fern and Alan Fern (2016) "Budgeted Optimization with Constrained Experiments", Volume 56, pages 119-152

Abstract | PDF | doi:10.1613/jair.4896

Kenji Kawaguchi, Yu Maruyama and Xiaoyu Zheng (2016) "Global Continuous Optimization with Error Bound and Fast Convergence", Volume 56, pages 153-195

Abstract | PDF | doi:10.1613/jair.4742

Diana Grooters and Henry Prakken (2016) "Two Aspects of Relevance in Structured Argumentation: Minimality and Paraconsistency", Volume 56, pages 197-245

Abstract | PDF | doi:10.1613/jair.5058

Zenglin Xu, Shandian Zhe, Yuan Qi and Peng Yu (2016) "Association Discovery and Diagnosis of Alzheimer�s Disease with Bayesian Multiview Learning", Volume 56, pages 247-268

Abstract | PDF | doi:10.1613/jair.4956

Maximilian Fickert, Joerg Hoffmann and Marcel Steinmetz (2016) "Combining the Delete Relaxation with Critical-Path Heuristics: A Direct Characterization", Volume 56, pages 269-327

Abstract | PDF | PostScript | doi:10.1613/jair.5057

Zhiqiang Zhuang, Zhe Wang, Kewen Wang and Guilin Qi (2016) "DL-Lite Contraction and Revision", Volume 56, pages 329-378

Abstract | PDF | doi:10.1613/jair.5050

Petr Savický and Petr Kučera (2016) "Generating Models of a Matched Formula With a Polynomial Delay", Volume 56, pages 379-402

Abstract | PDF | PostScript | doi:10.1613/jair.4989

Xiaowang Zhang, Jan Van den Bussche and François Picalausa (2016) "On the Satisfiability Problem for SPARQL Patterns", Volume 56, pages 403-428

Abstract | PDF | doi:10.1613/jair.5028

Xujin Chen, Xiaodong Hu, Tie-Yan Liu, Weidong Ma, Tao Qin, Pingzhong Tang, Changjun Wang and Bo Zheng (2016) "Efficient Mechanism Design for Online Scheduling", Volume 56, pages 429-461

Abstract | PDF | doi:10.1613/jair.5100

Thomas Eiter, Michael Fink and Daria Stepanova (2016) "Computing Repairs of Inconsistent DL-Programs over EL Ontologies", Volume 56, pages 463-515

Abstract | PDF | PostScript | doi:10.1613/jair.5047

Matteo Venanzi, John Guiver, Pushmeet Kohli and Nicholas R. Jennings (2016) "Time-Sensitive Bayesian Information Aggregation for Crowdsourcing Systems", Volume 56, pages 517-545

Abstract | PDF | doi:10.1613/jair.5175

Carlos Hernández, Jorge A. Baier and Roberto Asín (2016) "Time-Bounded Best-First Search for Reversible and Non-reversible Search Graphs", Volume 56, pages 547-571

Abstract | PDF | doi:10.1613/jair.5073

Haris Aziz, Casey Cahan, Charles Gretton, Philip Kilby, Nicholas Mattei and Toby Walsh (2016) "A Study of Proxies for Shapley Allocations of Transport Costs", Volume 56, pages 573-611

Abstract | PDF | doi:10.1613/jair.5021

Cristhian Ariel D. Deagustini, Maria Vanina Martinez, Marcelo A. Falappa and Guillermo R. Simari (2016) "Datalog+- Ontology Consolidation", Volume 56, pages 613-656

Abstract | PDF | doi:10.1613/jair.5131

Isabel Cenamor, Tomás de la Rosa and Fernando Fernández (2016) "The IBaCoP Planning System: Instance-Based Configured Portfolios", Volume 56, pages 657-691

Abstract | PDF | PostScript | doi:10.1613/jair.5080

Heshan Du and Natasha Alechina (2016) "Qualitative Spatial Logics for Buffered Geometries", Volume 56, pages 693-745

Abstract | PDF | doi:10.1613/jair.5140