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

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. 225-249
  
• 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. 275-308
  
• Donald Perlis:
  Consciousness and Complexity: The Cognitive Quest. 309-321
  
• Teodor C. Przymusinski:
  Static Semantics for Normal and Disjunctive Logic Programs. 323-357
  

Last update Fri May 24 19:59:43 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page