4266 search results - page 90 / 854 » A Framework for Defining Logics |
193
click to vote
COSIT
2011
Springer
13 years 9 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...
ICAC
2009
IEEE
15 years 1 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...
FLAIRS
1998
14 years 11 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...
TPHOL
2000
IEEE
15 years 2 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...
ECAI
1998
Springer
15 years 2 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...