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.

Festschrift on Honor of Professor Jack Minker

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