Works matching IS 10769757 AND DT 2008 AND VI 31
Results: 17
CTL Model Update for System Modifications.
- Published in:
- Journal of Artificial Intelligence Research, 2008, v. 31, p. 113, doi. 10.1613/jair.2420
- By:
- Publication type:
- Article
A Multiagent Approach to Autonomous Intersection Management.
- Published in:
- Journal of Artificial Intelligence Research, 2008, v. 31, p. 591, doi. 10.1613/jair.2502
- By:
- Publication type:
- Article
First Order Decision Diagrams for Relational MDPs.
- Published in:
- Journal of Artificial Intelligence Research, 2008, v. 31, p. 431, doi. 10.1613/jair.2489
- By:
- Publication type:
- Article
Sound and Complete Inference Rules for SE-Consequence.
- Published in:
- Journal of Artificial Intelligence Research, 2008, v. 31, p. 205, doi. 10.1613/jair.2472
- By:
- Publication type:
- Article
Exploiting Subgraph Structure in Multi-Robot Path Planning.
- Published in:
- Journal of Artificial Intelligence Research, 2008, v. 31, p. 497, doi. 10.1613/jair.2408
- By:
- Publication type:
- Article
Global Inference for Sentence Compression An Integer Linear Programming Approach.
- Published in:
- Journal of Artificial Intelligence Research, 2008, v. 31, p. 399, doi. 10.1613/jair.2433
- By:
- Publication type:
- Article
Gesture Salience as a Hidden Variable for Coreference Resolution and Keyframe Extraction.
- Published in:
- Journal of Artificial Intelligence Research, 2008, v. 31, p. 353, doi. 10.1613/jair.2450
- By:
- Publication type:
- Article
Loosely Coupled Formulations for Automated Planning: An Integer Programming Perspective.
- Published in:
- Journal of Artificial Intelligence Research, 2008, v. 31, p. 217, doi. 10.1613/jair.2443
- By:
- Publication type:
- Article
Modular Reuse of Ontologies: Theory and Practice.
- Published in:
- Journal of Artificial Intelligence Research, 2008, v. 31, p. 273, doi. 10.1613/jair.2375
- By:
- Publication type:
- Article
The Complexity of Planning Problems With Simple Causal Graphs.
- Published in:
- Journal of Artificial Intelligence Research, 2008, v. 31, p. 319, doi. 10.1613/jair.2432
- By:
- Publication type:
- Article
On the Expressiveness of Levesque's Normal Form.
- Published in:
- Journal of Artificial Intelligence Research, 2008, v. 31, p. 259, doi. 10.1613/jair.2428
- By:
- Publication type:
- Article
CUI Networks: A Graphical Representation for Conditional Utility Independence.
- Published in:
- Journal of Artificial Intelligence Research, 2008, v. 31, p. 83, doi. 10.1613/jair.2360
- By:
- Publication type:
- Article
Creating Relational Data from Unstructured and Ungrammatical Data Sources.
- Published in:
- Journal of Artificial Intelligence Research, 2008, v. 31, p. 543, doi. 10.1613/jair.2409
- By:
- Publication type:
- Article
Conjunctive Query Answering for the Description Logic SHIQ.
- Published in:
- 2008
- By:
- Publication type:
- Question & Answer
MINIMAXSAT: An Efficient Weighted Max-SAT Solver.
- Published in:
- Journal of Artificial Intelligence Research, 2008, v. 31, p. 1, doi. 10.1613/jair.2347
- By:
- Publication type:
- Article
Axiomatic Foundations for Ranking Systems.
- Published in:
- Journal of Artificial Intelligence Research, 2008, v. 31, p. 473, doi. 10.1613/jair.2306
- By:
- Publication type:
- Article
Planning with Durative Actions in Stochastic Domains.
- Published in:
- Journal of Artificial Intelligence Research, 2008, v. 31, p. 33
- By:
- Publication type:
- Article