3776 search results - page 195 / 756 » Partition-Based Logical Reasoning |
214
click to vote
WILF
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. This paper is a first step in the direction of extending possibilistic planning to take advantage of the expressive power and reasoning capabilities of fuzzy description...
189
click to vote
CSL
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. We show how to automatically generate analytic hypersequent calculi for a large class of logics containing the linearity axiom (lin) (A ⊃ B) ∨ (B ⊃ A) starting from...
160
click to vote
LOPSTR
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. This paper aims at offering an insightful synthesis of different compositional semantics for logic program composition which have been developed in the literature. In p...
165
click to vote
MPC
2000
Springer
15 years 10 months ago
2000
Springer
It is possible, but difficult, to reason in Hoare logic about programs which address and modify data structures defined by pointers. The challenge is to approach the simplicity of ...
192
click to vote
ECSQARU
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Classical Description Logics (DLs) are not suitable to represent vague pieces of information. The attempts to achieve a solution have lead to the birth of fuzzy DLs and r...