![](https://dblp.uni-trier.de./img/logo.320x120.png)
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
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
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.