Global Continuous Optimization with Error Bound and Fast Convergence.
Efficient Mechanism Design for Online Scheduling.
On the Satisfiability Problem for SPARQL Patterns.
A Study of Proxies for Shapley Allocations of Transport Costs.
Query and Predicate Emptiness in Ontology-Based Data Access.
Association Discovery and Diagnosis of Alzheimer's Disease with Bayesian Multiview Learning.
Automatic Wordnet Development for Low-Resource Languages using Cross-Lingual WSD.
Time-Bounded Best-First Search for Reversible and Non-reversible Search Graphs.
Computing Repairs of Inconsistent DL-Programs over EL Ontologies.
Time-Sensitive Bayesian Information Aggregation for Crowdsourcing Systems.
Budgeted Optimization with Constrained Experiments.
The IBaCoP Planning System: Instance-Based Configured Portfolios.
Two Aspects of Relevance in Structured Argumentation: Minimality and Paraconsistency.
Datalog+- Ontology Consolidation.
Qualitative Spatial Logics for Buffered Geometries.
Combining the Delete Relaxation with Critical-Path Heuristics: A Direct Characterization.
Optimal Any-Angle Pathfinding In Practice.
Generating Models of a Matched Formula With a Polynomial Delay.
DL-Lite Contraction and Revision.