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. BibTeX
Stefania Costantini, Gaetano Aurelio Lanzarone, L. Sbarbaro: A formal definition and a sound implementation of analogical reasoning in logic programming. BibTeX
Alberto Torres: A nondeterministic well-founded semantics. BibTeX
Yan Zhang, Norman Y. Foo: Applying the persistent set approach in temporal reasoning. BibTeX
Steffen Hölldobler, Michael Thielscher: Computing change and specificity with equational logic programs. BibTeX

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