First Order Decision Diagrams for Relational MDPs.
Sound and Complete Inference Rules for SE-Consequence.
Exploiting Subgraph Structure in Multi-Robot Path Planning.
Conjunctive Query Answering for the Description Logic SHIQ.
Gesture Salience as a Hidden Variable for Coreference Resolution and Keyframe Extraction.
CTL Model Update for System Modifications.
On the Expressiveness of Levesque's Normal Form.
Creating Relational Data from Unstructured and Ungrammatical Data Sources.
A Multiagent Approach to Autonomous Intersection Management.
Global Inference for Sentence Compression: An Integer Linear Programming Approach.
MiniMaxSAT: An Efficient Weighted Max-SAT solver.
Modular Reuse of Ontologies: Theory and Practice.
Axiomatic Foundations for Ranking Systems.
The Complexity of Planning Problems With Simple Causal Graphs.
Loosely Coupled Formulations for Automated Planning: An Integer Programming Perspective.
Planning with Durative Actions in Stochastic Domains.
CUI Networks: A Graphical Representation for Conditional Utility Independence.