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