ask others

Annals of Mathematics and Artificial Intelligence, Volume 28

> Home > Journals > Annals of Mathematics and Artificial Intelligence

Volume 28, Numbers 1-4, 2000

Artificial Intelligence and Mathematics X: Tenth Anniversary Volume

- no documents available
- export record
  dblp key:
  - journals/amai/Golumbic00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/amai/Golumbic00
Martin Charles Golumbic:
Editor's remarks. Ann. Math. Artif. Intell. 28(1-4): 1-2 (2000)
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/Dershowitz00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/amai/Dershowitz00
Nachum Dershowitz:
Artificial intelligence: Retrospective/prospective. 3-5
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/Franco00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/amai/Franco00
John V. Franco:
Some interesting research directions in satisfiability. 7-15
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/Greenberg00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/amai/Greenberg00
Harvey J. Greenberg:
A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving. 17-20
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/Kirchner00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/amai/Kirchner00
Hélène Kirchner:
Combining assisted and automated deduction. 21-26
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/Newborn00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/amai/Newborn00
Monty Newborn:
Deep Blue's contribution to AI. 27-30
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/Richter00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/amai/Richter00
Michael M. Richter:
Some perspectives on mathematical aspects of artificial intelligence: Logic versus approximation. 31-33
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/Selman00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/amai/Selman00
Bart Selman:
Compute-intensive methods in artificial intelligence. 35-38
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/Stock00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/amai/Stock00
Oliviero Stock:
Natural language processing and intelligent interfaces. 39-41
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/Turan00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/amai/Turan00
György Turán:
Remarks on computational learning theory. 43-45
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/ChittaroM00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/amai/ChittaroM00
Luca Chittaro, Angelo Montanari:
Temporal representation and reasoning in artificial intelligence: Issues and approaches. 47-106
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/LuMHH00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/amai/LuMHH00
Jianguo Lu, John Mylopoulos, Masateru Harao, Masami Hagiya:
Higher order generalization and its application in program verification. 107-126
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/FayzullinNPS00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/amai/FayzullinNPS00
Marat Fayzullin, Mirco Nanni, Dino Pedreschi, V. S. Subrahmanian:
Foundations of distributed interaction systems. 127-168
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/MeiselsSS00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/amai/MeiselsSS00
Amnon Meisels, Solomon Eyal Shimony, Gadi Solotorevsky:
Bayes networks for estimating the number of solutions of constraint networks. 169-186
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/KrausRF00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/amai/KrausRF00
Sarit Kraus, Jeffrey S. Rosenschein, Maier Fenster:
Exploiting focal points among alternative solutions: Two approaches. 187-258
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/ChopraP00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/amai/ChopraP00
Samir Chopra, Rohit Parikh:
Relevance sensitive belief structures. 259-285
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/TianP00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/amai/TianP00
Jin Tian, Judea Pearl:
Probabilities of causation: Bounds and identification. 287-313
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/ShaferGS00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/amai/ShaferGS00
Glenn Shafer, Peter R. Gillett, Richard B. Scherl:
The logic of events. 315-389

maintained by

at