3891 search results - page 490 / 779 » A logic for strategic reasoning |
KR
2004
Springer
15 years 6 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 ...
116
click to vote
RSCTC
2000
Springer
15 years 4 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 ...
131
click to vote
CLIMA
2006
15 years 2 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...
87
Voted
CORR
2010
Springer
15 years 27 days 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...
JOLLI
2006
15 years 22 days ago
2006
Abstract. Propositional dynamic logic (PDL) provides a natural setting for semantics of means-end relations involving non-determinism, but such models do not include probabilistic ...