Annals of Mathematics and Artificial Intelligence

151	--	176	Jorge Lobo, Qi Yang, Clement T. Yu. Dynamic Maintenance of the Transitive Closure in Disjunctive Graphs
177	--	186	Arthur L. Delcher, Simon Kasif. Term Matching on a Mesh-Connected Array of Processors
187	--	223	Guozhu Dong, Jianwen Su, Rodney W. Topor. Nonrecursive Incremental Evaluation of Datalog Queries
225	--	249	David W. Reed, Donald W. Loveland. Near-Horn Prolog and the Ancestry Family of Procedures
251	--	268	Javier Pinto, Raymond Reiter. Reasoning About Time in the Situation Calculus
269	--	274	Vladimir Lifschitz. ECWA Made Easy
275	--	308	Arcot Rajasekar, H. Yusuf. DWAM - A WAM Model Extension for Disjunctive Logic Programming
309	--	321	Donald Perlis. Consciousness and Complexity: The Cognitive Quest
323	--	357	Teodor C. Przymusinski. Static Semantics for Normal and Disjunctive Logic Programs

1	--	16	P. A. Bensch, Walter J. Savitch. An occurrence-based model of word categorization
17	--	36	Stefania Costantini, Gaetano Aurelio Lanzarone, L. Sbarbaro. A formal definition and a sound implementation of analogical reasoning in logic programming
37	--	73	Alberto Torres. A nondeterministic well-founded semantics
75	--	98	Yan Zhang, Norman Y. Foo. Applying the persistent set approach in temporal reasoning
99	--	133	Steffen Hölldobler, Michael Thielscher. Computing change and specificity with equational logic programs

External Links