![](https://dblp.uni-trier.de./img/logo.320x120.png)
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
Journal of Artificial Intelligence Research, Volume 56
Volume 56, May 2016
- Franz Baader
, Meghyn Bienvenu
, Carsten Lutz
, Frank Wolter
:
Query and Predicate Emptiness in Ontology-Based Data Access. 1-59 - Nasrin Taghizadeh
, Hesham Faili:
Automatic Wordnet Development for Low-Resource Languages using Cross-Lingual WSD. 61-87 - Daniel Damir Harabor, Alban Grastien, Dindar Öz, Vural Aksakalli:
Optimal Any-Angle Pathfinding In Practice. 89-118 - Javad Azimi, Xiaoli Z. Fern, Alan Fern:
Budgeted Optimization with Constrained Experiments. 119-152 - Kenji Kawaguchi, Yu Maruyama, Xiaoyu Zheng:
Global Continuous Optimization with Error Bound and Fast Convergence. 153-195 - Diana Grooters, Henry Prakken:
Two Aspects of Relevance in Structured Argumentation: Minimality and Paraconsistency. 197-245 - Zenglin Xu, Shandian Zhe, Yuan Qi, Peng Yu:
Association Discovery and Diagnosis of Alzheimer's Disease with Bayesian Multiview Learning. 247-268 - Maximilian Fickert
, Jörg Hoffmann, Marcel Steinmetz:
Combining the Delete Relaxation with Critical-Path Heuristics: A Direct Characterization. 269-327 - Zhiqiang Zhuang
, Zhe Wang
, Kewen Wang
, Guilin Qi:
DL-Lite Contraction and Revision. 329-378 - Petr Savický, Petr Kucera:
Generating Models of a Matched Formula With a Polynomial Delay. 379-402 - Xiaowang Zhang
, Jan Van den Bussche
, François Picalausa:
On the Satisfiability Problem for SPARQL Patterns. 403-428 - Xujin Chen, Xiaodong Hu, Tie-Yan Liu, Weidong Ma, Tao Qin, Pingzhong Tang, Changjun Wang, Bo Zheng:
Efficient Mechanism Design for Online Scheduling. 429-461 - Thomas Eiter, Michael Fink, Daria Stepanova:
Computing Repairs of Inconsistent DL-Programs over EL Ontologies. 463-515 - Matteo Venanzi, John Guiver, Pushmeet Kohli, Nicholas R. Jennings
:
Time-Sensitive Bayesian Information Aggregation for Crowdsourcing Systems. 517-545 - Carlos Hernández
, Jorge A. Baier, Roberto Asín
:
Time-Bounded Best-First Search for Reversible and Non-reversible Search Graphs. 547-571 - Haris Aziz
, Casey Cahan, Charles Gretton
, Philip Kilby
, Nicholas Mattei
, Toby Walsh
:
A Study of Proxies for Shapley Allocations of Transport Costs. 573-611 - Cristhian Ariel David Deagustini, Maria Vanina Martinez, Marcelo A. Falappa
, Guillermo Ricardo Simari:
Datalog+- Ontology Consolidation. 613-656 - Isabel Cenamor, Tomás de la Rosa, Fernando Fernández:
The IBaCoP Planning System: Instance-Based Configured Portfolios. 657-691 - Heshan Du
, Natasha Alechina
:
Qualitative Spatial Logics for Buffered Geometries. 693-745
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.