Annals of Mathematics and Artificial Intelligence, Volume 14

Volume 14, Number 1, 1995

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

Volume 14, Numbers 2-4, 1995

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