Horn Clause Contraction Functions.
Defeasible Inheritance-Based Description Logics.
A Smooth Transition from Powerlessness to Absolute Power.
Unsupervised Sub-tree Alignment for Tree-to-Tree Translation.
Beth Definability in Expressive Description Logics.
Exact Query Reformulation over Databases with First-order and Description Logics Ontologies.
An Online Mechanism for Multi-Unit Demand and its Application to Plug-in Hybrid Electric Vehicle Charging.
Optimizing SPARQL Query Answering over OWL Ontologies.
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints.
A Global Model for Concept-to-Text Generation.
A Survey of Multi-Objective Sequential Decision-Making.
Scalable and Efficient Bayes-Adaptive Reinforcement Learning Based on Monte-Carlo Tree Search.
Reasoning about Explanations for Negative Query Answers in DL-Lite.
A Constraint Solver for Flexible Protein Model.
Generating Natural Language Descriptions from OWL Ontologies: the NaturalOWL System.
Optimal Implementation of Watched Literals and More General Techniques.
Single Network Relational Transductive Learning.
A Case of Pathology in Multiobjective Heuristic Search.
Protecting Moving Targets with Multiple Mobile Resources.
The Complexity of Optimal Monotonic Planning: The Bad, The Good, and The Causal Graph.
Natural Language Inference for Arabic Using Extended Tree Edit Distance with Subtrees.
AI Methods in Algorithmic Composition: A Comprehensive Survey.
Learning Optimal Bayesian Networks: A Shortest Path Perspective.