Avoiding and Escaping Depressions in Real-Time Heuristic Search.
- Published in:
- Journal of Artificial Intelligence Research, 2012, v. 43, p. 523, doi. 10.1613/jair.3590
- By:
- Publication type:
- Article
Works matching IS 10769757 AND DT 2012 AND VI 43
Results: 17
1
2
A Market-Inspired Approach for Intersection Management in Urban Road Traffic Networks.
- Published in:
- Journal of Artificial Intelligence Research, 2012, v. 43, p. 621, doi. 10.1613/jair.3560
- By:
- Publication type:
- Article
3
Local Consistency and SAT-Solvers.
- Published in:
- Journal of Artificial Intelligence Research, 2012, v. 43, p. 329, doi. 10.1613/jair.3531
- By:
- Publication type:
- Article
4
Computing All-Pairs Shortest Paths by Leveraging Low Treewidth.
- Published in:
- Journal of Artificial Intelligence Research, 2012, v. 43, p. 353, doi. 10.1613/jair.3509
- By:
- Publication type:
- Article
5
Generalized Biwords for Bitext Compression and Translation Spotting.
- Published in:
- Journal of Artificial Intelligence Research, 2012, v. 43, p. 389
- By:
- Publication type:
- Article
6
Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming.
- Published in:
- Journal of Artificial Intelligence Research, 2012, v. 43, p. 571, doi. 10.1613/jair.3489
- By:
- Publication type:
- Article
7
Learning to Win by Reading Manuals in a Monte-Carlo Framework.
- Published in:
- Journal of Artificial Intelligence Research, 2012, v. 43, p. 661, doi. 10.1613/jair.3484
- By:
- Publication type:
- Article
8
Consistency Techniques for Flow-Based Projection-Safe Global Cost Functions in Weighted Constraint Satisfaction.
- Published in:
- Journal of Artificial Intelligence Research, 2012, v. 43, p. 257, doi. 10.1613/jair.3476
- By:
- Publication type:
- Article
9
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice.
- Published in:
- Journal of Artificial Intelligence Research, 2012, v. 43, p. 419, doi. 10.1613/jair.3470
- By:
- Publication type:
- Article
10
Counting-Based Search: Branching Heuristics for Constraint Satisfaction Problems.
- Published in:
- Journal of Artificial Intelligence Research, 2012, v. 43, p. 173, doi. 10.1613/jair.3463
- By:
- Publication type:
- Article
11
Exploiting Model Equivalences for Solving Interactive Dynamic Influence Diagrams.
- Published in:
- Journal of Artificial Intelligence Research, 2012, v. 43, p. 211, doi. 10.1613/jair.3461
- By:
- Publication type:
- Article
12
The CQC Algorithm: Cycling in Graphs to Semantically Enrich and Enhance a Bilingual Dictionary.
- Published in:
- Journal of Artificial Intelligence Research, 2012, v. 43, p. 135, doi. 10.1613/jair.3456
- By:
- Publication type:
- Article
13
Learning and Reasoning with Action-Related Places for Robust Mobile Manipulation.
- Published in:
- Journal of Artificial Intelligence Research, 2012, v. 43, p. 1, doi. 10.1613/jair.3451
- By:
- Publication type:
- Article
14
SAS+ Planning as Satisfiability.
- Published in:
- Journal of Artificial Intelligence Research, 2012, v. 43, p. 293, doi. 10.1613/jair.3442
- By:
- Publication type:
- Article
15
Robust Local Search for Solving RCPSP/max with Durational Uncertainty.
- Published in:
- Journal of Artificial Intelligence Research, 2012, v. 43, p. 43, doi. 10.1613/jair.3424
- By:
- Publication type:
- Article
16
Location-Based Reasoning about Complex Multi-Agent Behavior.
- Published in:
- Journal of Artificial Intelligence Research, 2012, v. 43, p. 87, doi. 10.1613/jair.3421
- By:
- Publication type:
- Article
17
Proximity-Based Non-uniform Abstractions for Approximate Planning.
- Published in:
- Journal of Artificial Intelligence Research, 2012, v. 43, p. 477, doi. 10.1613/jair.3414
- By:
- Publication type:
- Article