2308 search results - page 177 / 462 » Representing Symbolic Reasoning |
184
click to vote
CISIS
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper describes a new logic-based approach for representing and reasoning about metabolic networks. First it shows how biological pathways can be elegantly represented in a...
178
click to vote
ICLP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logi...
156
click to vote
FLOPS
2001
Springer
15 years 11 months ago
2001
Springer
We introduce a simply typed λ-calculus λκε which has both contexts and environments as first-class values. In λκε, holes in contexts are represented by ordinary variables ...
139
click to vote
LICS
1997
IEEE
15 years 10 months ago
1997
IEEE
The partial real line is the continuous domain of compact real intervals ordered by reverse inclusion. The idea is that singleton intervals represent total real numbers, and that ...
151
click to vote
TIME
1994
IEEE
15 years 10 months ago
1994
IEEE
The frame problem was originally de ned in the context of the situation calculus. The problem also manifests itself in more sophisticated temporal logics that can represent interv...