|
Journals in DBLP
- Lynn Andrea Stein, Leora Morgenstern
Motivated Action Theory: a Formal Theory of Causal Reasoning. [Citation Graph (0, 0)][DBLP] Artif. Intell., 1994, v:71, n:1, pp:1-42 [Journal]
- Fahiem Bacchus, Qiang Yang
Downward Refinement and the Efficiency of Hierarchical Problem Solving. [Citation Graph (0, 0)][DBLP] Artif. Intell., 1994, v:71, n:1, pp:43-100 [Journal]
- Christoph Walther
On Proving the Termination of Algorithms by Machine. [Citation Graph (0, 0)][DBLP] Artif. Intell., 1994, v:71, n:1, pp:101-157 [Journal]
- Roberto J. Bayardo Jr., Daniel P. Miranker
An Optimal Backtrack Algorithm for Tree-Structured Constraint Satisfaction problems. [Citation Graph (0, 0)][DBLP] Artif. Intell., 1994, v:71, n:1, pp:159-181 [Journal]
- Geneviève Simonet, Roland Ducournau
On Stein's Paper: Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies. [Citation Graph (0, 0)][DBLP] Artif. Intell., 1994, v:71, n:1, pp:183-193 [Journal]
- Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar
Agent Searching in a Tree and the Optimality of Iterative Deepening. [Citation Graph (0, 0)][DBLP] Artif. Intell., 1994, v:71, n:1, pp:195-208 [Journal]
|