Constructing roadmaps of semi-algebraic sets I: Completeness

Artificial Intelligence 37 (1-3):203-222 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(88)90055-0

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,880

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the ritt-wu principle.Hai-Ping Ko - 1988 - Artificial Intelligence 37 (1-3):95-122.
Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulation.Alan Bundy & Bob Welham - 1981 - Artificial Intelligence 16 (2):189-211.
Topological elementary equivalence of regular semi‐algebraic sets in three‐dimensional space.Floris Geerts & Bart Kuijpers - 2018 - Mathematical Logic Quarterly 64 (6):435-463.
Linear extension operators for continuous functions on definable sets in the p‐adic context.Athipat Thamrongthanyalak - 2017 - Mathematical Logic Quarterly 63 (1-2):104-108.
Collaboratively built semi-structured content and Artificial Intelligence: The story so far.Eduard Hovy, Roberto Navigli & Simone Paolo Ponzetto - 2013 - Artificial Intelligence 194 (C):2-27.
IMAGINE: An integrated environment for constructing distributed artificial intelligence systems.Donald D. Steiner - 1996 - In N. Jennings & G. O'Hare (eds.), Foundations of Distributed Artificial Intelligence. Wiley. pp. 345--364.
Model completion of scaled lattices and co‐Heyting algebras of p‐adic semi‐algebraic sets.Luck Darnière - 2019 - Mathematical Logic Quarterly 65 (3):305-331.
Topological elementary equivalence of closed semi-algebraic sets in the real plane.Bart Kuijpers, Jan Paredaens & Jan Van den Bussche - 2000 - Journal of Symbolic Logic 65 (4):1530-1555.
Completeness results for circumscription.Donald Perlis & Jack Minker - 1986 - Artificial Intelligence 28 (1):29-42.
Completeness results for inequality provers.W. W. Bledsoe, K. Kunen & R. Shostak - 1985 - Artificial Intelligence 27 (3):255-288.

Analytics

Added to PP
2020-12-22

Downloads
8 (#1,589,825)

6 months
4 (#1,279,871)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references