


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

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














