1027 search results - page 36 / 206 » Representing and Reasoning with Operational Semantics |
122
click to vote
ECAI
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Representing and reasoning about orientation information is an important aspect of qualitative spatial reasoning. We present a novel approach for dealing with intrinsic o...
222
Voted
COSIT
2011
Springer
14 years 11 days ago
2011
Springer
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...
126
click to vote
VL
2000
IEEE
15 years 5 months ago
2000
IEEE
SD2 is a system of Venn-type diagrams that can be used to reason diagrammatically about sets, their cardinalities and their relationships. They augment the systems of Venn-Peirce ...
113
click to vote
DOLAP
2005
ACM
15 years 2 months ago
2005
ACM
We propose a new functional framework for modeling, querying and reasoning about OLAP databases. The framework represents data (data cubes and dimensional hierarchies) and queryin...
106
click to vote
NIPS
2003
15 years 1 months ago
2003
We show that temporal logic and combinations of temporal logics and modal logics of knowledge can be effectively represented in artificial neural networks. We present a Translat...