|
Journals in DBLP
- T. L. McCluskey, J. M. Porteous
Engineering and Compiling Planning Domain Models to Promote Validity and Efficiency. [Citation Graph (0, 0)][DBLP] Artif. Intell., 1997, v:95, n:1, pp:1-65 [Journal]
- Froduald Kabanza, Michel Barbeau, Richard St.-Denis
Planning Control Rules for Reactive Agents. [Citation Graph (0, 0)][DBLP] Artif. Intell., 1997, v:95, n:1, pp:67-11 [Journal]
- Teodor C. Przymusinski
Autoepistemic Logic of Knowledge and Beliefs. [Citation Graph (0, 0)][DBLP] Artif. Intell., 1997, v:95, n:1, pp:115-154 [Journal]
- Shmuel Onn, Moshe Tennenholtz
Determination of Social Laws for Multi-Agent Mobilization. [Citation Graph (0, 0)][DBLP] Artif. Intell., 1997, v:95, n:1, pp:155-167 [Journal]
- Yan Xia, S. Sitharama Iyengar, Nathan E. Brener
An Event Drive Integration Reasoning Scheme for Handling Dynamic Threats in an Unstructured Environment. [Citation Graph (0, 0)][DBLP] Artif. Intell., 1997, v:95, n:1, pp:169-186 [Journal]
- Luc De Raedt
Logical Settings for Concept-Learning. [Citation Graph (0, 0)][DBLP] Artif. Intell., 1997, v:95, n:1, pp:187-201 [Journal]
- Kurt Ammon
An Automatic Proof of Gödel's Incompleteness Theorem. [Citation Graph (0, 0)][DBLP] Artif. Intell., 1997, v:95, n:1, pp:203-207 [Journal]
|