4266 search results - page 90 / 854 » A Framework for Defining Logics |
292
click to vote
COSIT
2011
Springer
14 years 4 months 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...
161
click to vote
ICAC
2009
IEEE
15 years 8 months ago
2009
IEEE
In large-scale, distributed software systems, an important management undertaking concerns the creation and runtime modification of application instances. This short paper propose...
116
click to vote
FLAIRS
1998
15 years 6 months ago
1998
This paper discusses some preliminary results of the author's on-going research into the representation of product function information for integrated knowledge-based environ...
163
click to vote
TPHOL
2000
IEEE
15 years 9 months ago
2000
IEEE
Abstract. This paper presents proof terms for simply typed, intuitionistic higher order logic, a popular logical framework. Unification-based algorithms for the compression and re...
145
click to vote
ECAI
1998
Springer
15 years 9 months ago
1998
Springer
This paper proposes a logic for causal based on event trees. Event trees provide a natural and familiar framework for probability and decision theory, but they lack the modularity...