Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Mathematics and Artificial Intelligence, Volume 14

> Home > Journals > Annals of Mathematics and Artificial Intelligence

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 14, Number 1, 1995

- view
  authority control:
- export record
  dblp key:
  - journals/amai/BenschS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BenschS95
P. A. Bensch, Walter J. Savitch:
An occurrence-based model of word categorization. 1-16
- view
  authority control:
- export record
  dblp key:
  - journals/amai/CostantiniLS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/CostantiniLS95
Stefania Costantini, Gaetano Aurelio Lanzarone, L. Sbarbaro:
A formal definition and a sound implementation of analogical reasoning in logic programming. 17-36
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Torres95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Torres95
Alberto Torres:
A nondeterministic well-founded semantics. 37-73
- view
  authority control:
- export record
  dblp key:
  - journals/amai/ZhangF95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/ZhangF95
Yan Zhang, Norman Y. Foo:
Applying the persistent set approach in temporal reasoning. 75-98
- view
  authority control:
- export record
  dblp key:
  - journals/amai/HolldoblerT95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/HolldoblerT95
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

- view
  authority control:
- export record
  dblp key:
  - journals/amai/LoboYY95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/LoboYY95
Jorge Lobo, Qi Yang, Clement T. Yu:
Dynamic Maintenance of the Transitive Closure in Disjunctive Graphs. 151-176
- view
  authority control:
- export record
  dblp key:
  - journals/amai/DelcherK95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/DelcherK95
Arthur L. Delcher, Simon Kasif:
Term Matching on a Mesh-Connected Array of Processors. 177-186
- view
  authority control:
- export record
  dblp key:
  - journals/amai/DongST95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/DongST95
Guozhu Dong, Jianwen Su, Rodney W. Topor:
Nonrecursive Incremental Evaluation of Datalog Queries. 187-223
- view
  authority control:
- export record
  dblp key:
  - journals/amai/ReedL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/ReedL95
David W. Reed, Donald W. Loveland:
Near-Horn Prolog and the Ancestry Family of Procedures. 225-249
- view
  authority control:
- export record
  dblp key:
  - journals/amai/PintoR95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/PintoR95
Javier Pinto, Raymond Reiter:
Reasoning About Time in the Situation Calculus. 251-268
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Lifschitz95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Lifschitz95
Vladimir Lifschitz:
ECWA Made Easy. 269-274
- view
  authority control:
- export record
  dblp key:
  - journals/amai/RajasekarY95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/RajasekarY95
Arcot Rajasekar, H. Yusuf:
DWAM - A WAM Model Extension for Disjunctive Logic Programming. 275-308
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Perlis95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Perlis95
Donald Perlis:
Consciousness and Complexity: The Cognitive Quest. 309-321
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Przymusinski95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Przymusinski95
Teodor C. Przymusinski:
Static Semantics for Normal and Disjunctive Logic Programs. 323-357

a service of

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.