3773 search results - page 490 / 755 » Logical Reasoning |
158
click to vote
DEON
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we investigate the specification and verification of information systems with an organizational structure. Such systems are modelled as a normative multia...
137
click to vote
FLOPS
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a backward sharing analysis for logic programs. The analysis computes pre-conditions for a query that guarantee a given post-condition is satisfied after the q...
173
click to vote
FLOPS
2004
Springer
15 years 12 months ago
2004
Springer
Sharing among program variables is vital information when analyzing logic programs. This information is often expressed either as sets or as pairs of program variables that (may) s...
145
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
There are many examples in the literature that suggest that indistinguishability is intransitive, despite the fact that the indistinguishability relation is typically taken to be ...
184
click to vote
RSCTC
2000
Springer
15 years 10 months ago
2000
Springer
This paper introduces a neural network architecture based on rough sets and rough membership functions. The neurons of such networks instantiate approximate reasoning in assessing ...