|
Journals in DBLP
- Chitta Baral, Vladik Kreinovich, Vladimir Lifschitz
Introduction: Logic Programming, Non-Monotonic Reasoning and Reasoning about Actions. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1997, v:21, n:2-4, pp:129- [Journal]
- Chitta Baral
Relating Logic Programming Theories of Actions and Partial Order Planning. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1997, v:21, n:2-4, pp:131-151 [Journal]
- Howard A. Blair, Jagan Chidella, Fred Dushin, Audrey Ferry, Paul R. Humenn
A Continuum of Discrete Systems. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1997, v:21, n:2-4, pp:153-186 [Journal]
- Weidong Chen, Julie Yu-Chih Liu
A Procedural Semantics for Stratified Database Updates. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1997, v:21, n:2-4, pp:187-220 [Journal]
- Daniel E. Cooke, Luqi
Logic Programming and Software Maintenance. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1997, v:21, n:2-4, pp:221-229 [Journal]
- Mohamed A. Khamsi, Driss Misane
Fixed Point Theorems in Logic Programming. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1997, v:21, n:2-4, pp:231-243 [Journal]
- Renwei Li, Luís Moniz Pereira
Representing and Reasoning about Concurrent Actions with Abductive Logic Programs. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1997, v:21, n:2-4, pp:245-303 [Journal]
- Vladimir Lifschitz
Two Components of an Action Language. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1997, v:21, n:2-4, pp:305-320 [Journal]
- Fangzhen Lin
An Ordering on Subgoals for Planning. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1997, v:21, n:2-4, pp:321-342 [Journal]
- V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski
Representation Theory for Default Logic. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1997, v:21, n:2-4, pp:343-358 [Journal]
- Enrico Pontelli, Gopal Gupta
Parallel Symbolic Computation in ACE. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1997, v:21, n:2-4, pp:359-395 [Journal]
- Raymond Reiter, Zheng Yuhua
Scheduling in the Situation Calculus: A Case Study. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1997, v:21, n:2-4, pp:397-421 [Journal]
|