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
Works matching IS 10769757 AND DT 2008 AND VI 31
Results: 17
1
2
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
3
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
4
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
5
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
6
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
7
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
8
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
9
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
10
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
11
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
12
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
13
Conjunctive Query Answering for the Description Logic SHIQ.
- Published in:
- 2008
- By:
- Publication type:
- Question & Answer
14
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
15
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
16
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
17
Planning with Durative Actions in Stochastic Domains.
- Published in:
- Journal of Artificial Intelligence Research, 2008, v. 31, p. 33
- By:
- Publication type:
- Article