3776 search results - page 473 / 756 » Partition-Based Logical Reasoning |
123
click to vote
FLOPS
2004
Springer
15 years 8 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...
103
click to vote
KR
2004
Springer
15 years 8 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 ...
127
click to vote
RSCTC
2000
Springer
15 years 6 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 ...
145
Voted
CLIMA
2006
15 years 3 months ago
2006
FLUX is a declarative, CLP-based programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledg...
102
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The standard reasoning problem, concept satisfiability, in the basic description logic ALC is PSPACE-complete, and it is EXPTIMEcomplete in the presence of unrestricted axioms. Sev...