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
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.
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