1076-9757

Journal of Artificial Intelligence Research (JAIR) - Issue 53 论文列表

点击这里查看 Journal of Artificial Intelligence Research 的JCR分区、影响因子等信息
卷期号: 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.