Volume 28,
Numbers 1-4,
2000
Artificial Intelligence and Mathematics X:
Tenth Anniversary Volume
- Martin Charles Golumbic:
Editor's remarks.
1-2 BibTeX
- Nachum Dershowitz:
Artificial intelligence: Retrospective/prospective.
3-5 BibTeX
- John V. Franco:
Some interesting research directions in satisfiability.
7-15 BibTeX
- Harvey J. Greenberg:
A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving.
17-20 BibTeX
- Hélène Kirchner:
Combining assisted and automated deduction.
21-26 BibTeX
- Monty Newborn:
Deep Blue's contribution to AI.
27-30 BibTeX
- Michael M. Richter:
Some perspectives on mathematical aspects of artificial intelligence: Logic versus approximation.
31-33 BibTeX
- Bart Selman:
Compute-intensive methods in artificial intelligence.
35-38 BibTeX
- Oliviero Stock:
Natural language processing and intelligent interfaces.
39-41 BibTeX
- György Turán:
Remarks on computational learning theory.
43-45 BibTeX
- Luca Chittaro, Angelo Montanari:
Temporal representation and reasoning in artificial intelligence: Issues and approaches.
47-106 BibTeX
- Jianguo Lu, John Mylopoulos, Masateru Harao, Masami Hagiya:
Higher order generalization and its application in program verification.
107-126 BibTeX
- Marat Fayzullin, Mirco Nanni, Dino Pedreschi, V. S. Subrahmanian:
Foundations of distributed interaction systems.
127-168 BibTeX
- Amnon Meisels, Solomon Eyal Shimony, Gadi Solotorevsky:
Bayes networks for estimating the number of solutions of constraint networks.
169-186 BibTeX
- Sarit Kraus, Jeffrey S. Rosenschein, Maier Fenster:
Exploiting focal points among alternative solutions: Two approaches.
187-258 BibTeX
- Samir Chopra, Rohit Parikh:
Relevance sensitive belief structures.
259-285 BibTeX
- Jin Tian, Judea Pearl:
Probabilities of causation: Bounds and identification.
287-313 BibTeX
- Glenn Shafer, Peter R. Gillett, Richard B. Scherl:
The logic of events.
315-389 BibTeX
Copyright © Sat May 16 23:50:15 2009
by Michael Ley (ley@uni-trier.de)
