892 search results - page 9 / 179 » Strategies in sentential reasoning |
ECIS
2001
13 years 8 months ago
2001
The progression of implementation of an information systems strategy in a UK acute hospital is described. The case study describes the IS strategy, the conditions that led to its ...
ENTCS
2010
13 years 7 months ago
2010
The generic modal reasoner CoLoSS covers a wide variety of logics ranging from graded and probabilistic modal logic to coalition logic and conditional logics, being based on a bro...
IEEEVAST
2010
13 years 2 months ago
2010
The final product of an analyst`s investigation using a visualization is often a report of the discovered knowledge, as well as the methods employed and reasoning behind the disco...
VL
2000
IEEE
13 years 11 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 ...
LOPSTR
1995
Springer
13 years 11 months ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...