|
Journals in DBLP
- Donald Perlis
Consciousness and Complexity: The Cognitive Quest. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1995, v:14, n:2-4, pp:- [Journal]
- Arcot Rajasekar, H. Yusuf
DWAM - A WAM Model Extension for Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1995, v:14, n:2-4, pp:- [Journal]
- David W. Reed, Donald W. Loveland
Near-Horn Prolog and the Ancestry Family of Procedures. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1995, v:14, n:2-4, pp:- [Journal]
- Jorge Lobo, Qi Yang, Clement T. Yu
Dynamic Maintenance of the Transitive Closure in Disjunctive Graphs. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1995, v:14, n:2-4, pp:151-176 [Journal]
- Arthur L. Delcher, Simon Kasif
Term Matching on a Mesh-Connected Array of Processors. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1995, v:14, n:2-4, pp:177-186 [Journal]
- Guozhu Dong, Jianwen Su, Rodney W. Topor
Nonrecursive Incremental Evaluation of Datalog Queries. [Citation Graph (1, 0)][DBLP] Ann. Math. Artif. Intell., 1995, v:14, n:2-4, pp:187-223 [Journal]
- Javier Pinto, Raymond Reiter
Reasoning About Time in the Situation Calculus. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1995, v:14, n:2-4, pp:251-268 [Journal]
- Vladimir Lifschitz
ECWA Made Easy. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1995, v:14, n:2-4, pp:269-274 [Journal]
- Teodor C. Przymusinski
Static Semantics for Normal and Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1995, v:14, n:2-4, pp:323-357 [Journal]
|