Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Dominik Lücke"'
Publikováno v:
Logica Universalis. 4:255-333
This paper addresses questions of universality related to ontological engineering, namely aims at substantiating (negative) answers to the following three basic questions: (i) Is there a ‘universal ontology’?, (ii) Is there a ‘universal formal
Publikováno v:
RAIRO - Theoretical Informatics and Applications. 41:447-462
For finitary set functors preserving inverse images, recursive coalgebras A of Paul Taylor are proved to be precisely those for which the system described by A always halts in finitely many steps.
Publikováno v:
Spatial Cognition VI. Learning, Reasoning, and Talking about Space ISBN: 9783540876007
Spatial Cognition
Spatial Cognition
Various calculi have been designed for qualitative constraint-based representation and reasoning. Especially for orientation calculi, it happens that the well-known method of algebraic closure cannot decide consistency of constraint networks, even wh
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5a0609f4d47050c845bf02bbf464fabb
https://doi.org/10.1007/978-3-540-87601-4_30
https://doi.org/10.1007/978-3-540-87601-4_30
Publikováno v:
Artificial Intelligence. (16-17):2099-2127
More than 15 years ago, a set of qualitative spatial relations between oriented straight line segments (dipoles) was suggested by Schlieder. However, it turned out to be difficult to establish a sound constraint calculus based on these relations. In