Journal of Artificial Intelligence Research（JAIR ）的ISSUE 53论文列表

卷期号： Issue 53

发布时间：

卷期年份： 2014

卷期官网：

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.