𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Spatial reasoning in a fuzzy region connection calculus

✍ Scribed by Steven Schockaert; Martine De Cock; Etienne E. Kerre

Book ID
103821387
Publisher
Elsevier Science
Year
2009
Tongue
English
Weight
793 KB
Volume
173
Category
Article
ISSN
0004-3702

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Sequent Calculus for Automated Reasoni
A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems
✍ Gianna Cioni; Attilio Colagrossi; Alfonso Miola πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 680 KB

In this paper the problem of reasoning on properties of mathematical objects is considered in the context of symbolic computation. Automated reasoning mechanisms are proposed as a new basic computing tool in a symbolic computation system. These mechanisms are aimed to support the semantical correctn