Annals of Mathematics and Artificial Intelligence

Editor's remarks

Artificial intelligence: Retrospective/prospective

Nachum Dershowitz

Some interesting research directions in satisfiability

John Franco

A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving

Harvey J. Greenberg

Combining assisted and automated deduction

Hélène Kirchner

Deep Blue's contribution to AI

Monty Newborn

Some perspectives on mathematical aspects of artificial intelligence: Logic versus approximation

Michael M. Richter

Compute‐intensive methods in artificial intelligence

Bart Selman

Natural language processing and intelligent interfaces

Oliviero Stock

Remarks on computational learning theory

György Turán

Temporal representation and reasoning in artificial intelligence: Issues and approaches

Luca Chittaro, Angelo Montanari

Higher order generalization and its application in program verification

Jianguo Lu, John Mylopoulos, Masateru Harao, Masami Hagiya

Foundations of distributed interaction systems

Marat Fayzullin, Mirco Nanni, Dino Pedreschi, V.S. Subrahmanian

Bayes networks for estimating the number of solutions of constraint networks

Amnon Meisels, Solomon Eyal Shimony, Gadi Solotorevsky

Exploiting focal points among alternative solutions: Two approaches

Sarit Kraus, Jeffrey S. Rosenschein, Maier Fenster

Relevance sensitive belief structures

Samir Chopra, Rohit Parikh

Probabilities of causation: Bounds and identification

Jin Tian, Judea Pearl

The logic of events

Glenn Shafer, Peter R. Gillett, Richard Scherl