A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving Harvey J. Greenberg OriginalPaper Pages: 17 - 20
Some perspectives on mathematical aspects of artificial intelligence: Logic versus approximation Michael M. Richter OriginalPaper Pages: 31 - 33
Temporal representation and reasoning in artificial intelligence: Issues and approaches Luca ChittaroAngelo Montanari OriginalPaper Pages: 47 - 106
Higher order generalization and its application in program verification Jianguo LuJohn MylopoulosMasami Hagiya OriginalPaper Pages: 107 - 126
Foundations of distributed interaction systems Marat FayzullinMirco NanniV.S. Subrahmanian OriginalPaper Pages: 127 - 168
Bayes networks for estimating the number of solutions of constraint networks Amnon MeiselsSolomon Eyal ShimonyGadi Solotorevsky OriginalPaper Pages: 169 - 186
Exploiting focal points among alternative solutions: Two approaches Sarit KrausJeffrey S. RosenscheinMaier Fenster OriginalPaper Pages: 187 - 258
Probabilities of causation: Bounds and identification Jin TianJudea Pearl OriginalPaper Pages: 287 - 313