default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Mathematics and Artificial Intelligence, Volume 19
Volume 19, Numbers 1-2, 1997
- Dino Pedreschi, V. S. Subrahmanian:
Non-determinism in Deductive Databases - Preface. Ann. Math. Artif. Intell. 19(1-2): 1-2 (1997) - Domenico Aquilino, Patrizia Asirelli, Chiara Renso, Franco Turini:
Applying Restriction Constraints to Deductive Databases. 3-25 - Antonio Brogi
, V. S. Subrahmanian, Carlo Zaniolo:
The Logic of Totally and Partially Ordered Plans: A Deductive Database Approach. 27-58 - Thomas Eiter, Nicola Leone, Domenico Saccà:
On the Partial Semantics for Disjunctive Deductive Databases. 59-96 - Fosca Giannotti, Sergio Greco, Domenico Saccà, Carlo Zaniolo:
Programming with Non-Determinism in Deductive Databases. 97-125 - Guozhu Dong, Jianwen Su:
Deterministic FOIES are Strictly Weaker. 127-146 - Sergio Greco, Domenico Saccà:
"Possible is Certain" is Desirable and Can Be Expressive. 147-168 - Stéphane Grumbach, Zoé Lacroix:
On Non-Determinism in Machines and Languages. 169-213 - Victor Vianu:
Rule-Based Languages. 215-259
Volume 19, Numbers 3-4, 1997
- Jacques Calmet, John A. Campbell:
A Perspective on Symbolic Mathematical Computing and Artificial Intelligence. 261-277 - Jochen Pfalzgraf:
On Geometric and Topological Reasoning in Robotics. 279-318 - Hoon Hong:
Heuristic Search and Pruning in Polynomial Constraints Satisfaction. 319-334 - Jürgen Sellen:
On the Topological Structure of Configuration Spaces. 335-354 - Peter Struss:
Model-Based and Qualitative Reasoning: An Introduction. 355-381 - Peter B. Ladkin, Alexander Reinefeld:
Fast Algebraic Methods for Interval Constraint Problems. 383-411
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-12 22:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
