Entrenchment-Based Horn Contraction.
A Novel SAT-Based Approach to Model Based Diagnosis.
Cooperative Monitoring to Diagnose Multiagent Plans.
The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases.
Push and Rotate: a Complete Multi-agent Pathfinding Algorithm.
BDD Ordering Heuristics for Classical Planning.
A Hidden Markov Model-Based Acoustic Cicada Detector for Crowdsourced Smartphone Biodiversity Monitoring.
Scoring Functions Based on Second Level Score for k-SAT with Long Clauses.
No Agent Left Behind: Dynamic Fair Division of Multiple Resources.
On Minimum Representations of Matched Formulas.
Optimal Scheduling of Contract Algorithms for Anytime Problem-Solving.
Tutorial on Structured Continuous-Time Markov Processes.
Simple Regret Optimization in Online Planning for Markov Decision Processes.
An Exact Double-Oracle Algorithm for Zero-Sum Extensive-Form Games with Imperfect Information.
Automaton Plans.
Verification of Agent-Based Artifact Systems.
Distributed Heuristic Forward Search for Multi-agent Planning.
Reasoning about Topological and Cardinal Direction Relations Between 2-Dimensional Spatial Objects.
Text Rewriting Improves Semantic Role Labeling.
On the Testability of BDI Agent Systems.
Iterative Plan Construction for the Workflow Satisfiability Problem.
Using Meta-mining to Support Data Mining Workflow Planning and Optimization.
Sensitivity of Diffusion Dynamics to Network Uncertainty.