๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A theory and a computational model of spatial reasoning with preferred mental models.

โœ Scribed by Ragni, Marco; Knauff, Markus

Book ID
121208206
Publisher
American Psychological Association
Year
2013
Tongue
English
Weight
629 KB
Volume
120
Category
Article
ISSN
0033-295X

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Computing intersections of Horn theories
Computing intersections of Horn theories for reasoning with models
โœ Thomas Eiter; Toshihide Ibaraki; Kazuhisa Makino ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 362 KB

Model-based reasoning has been proposed as an alternative form of representing and accessing logical knowledge bases. In this approach, a knowledge base is represented by a set of characteristic models. In this paper, we consider computational issues when combining logical knowledge bases, which are