Journal: Annals of Mathematics and Artificial Intelligence

Volume 19, Issue 3-4

261 -- 277Jacques Calmet, John A. Campbell. A Perspective on Symbolic Mathematical Computing and Artificial Intelligence
279 -- 318Jochen Pfalzgraf. On Geometric and Topological Reasoning in Robotics
319 -- 334Hoon Hong. Heuristic Search and Pruning in Polynomial Constraints Satisfaction
335 -- 354Jürgen Sellen. On the Topological Structure of Configuration Spaces
355 -- 381Peter Struss. Model-Based and Qualitative Reasoning: An Introduction
383 -- 411Peter B. Ladkin, Alexander Reinefeld. Fast Algebraic Methods for Interval Constraint Problems

Volume 19, Issue 1-2

1 -- 2Dino Pedreschi, V. S. Subrahmanian. Non-determinism in Deductive Databases - Preface
3 -- 25Domenico Aquilino, Patrizia Asirelli, Chiara Renso, Franco Turini. Applying Restriction Constraints to Deductive Databases
27 -- 58Antonio Brogi, V. S. Subrahmanian, Carlo Zaniolo. The Logic of Totally and Partially Ordered Plans: A Deductive Database Approach
59 -- 96Thomas Eiter, Nicola Leone, Domenico Saccà. On the Partial Semantics for Disjunctive Deductive Databases
97 -- 125Fosca Giannotti, Sergio Greco, Domenico Saccà, Carlo Zaniolo. Programming with Non-Determinism in Deductive Databases
127 -- 146Guozhu Dong, Jianwen Su. Deterministic FOIES are Strictly Weaker
147 -- 168Sergio Greco, Domenico Saccà. Possible is Certain is Desirable and Can Be Expressive
169 -- 213Stéphane Grumbach, Zoé Lacroix. On Non-Determinism in Machines and Languages
215 -- 259Victor Vianu. Rule-Based Languages