393 search results - page 29 / 79 » synthese 2008 |
102
click to vote
SYNTHESE
2010
15 years 10 days ago
2010
: The discussion presents a framework of concepts that is intended to account for the rationality of semantic change and variation, suggesting that each scientific concept consists...
101
click to vote
SYNTHESE
2010
15 years 10 days ago
2010
I develop a strategy for representing epistemic states and epistemic changes that seeks to be sensitive to the difference between voluntary and involuntary aspects of our epistemi...
111
click to vote
SYNTHESE
2010
15 years 10 days ago
2010
We discuss several features of coherent choice functions – where the admissible options in a decision problem are exactly those which maximize expected utility for some probabil...
SYNTHESE
2008
15 years 1 months ago
2008
Abstract. Consciousness supervenes on activity; computation supervenes on structure. Because of this, some argue, conscious states cannot supervene on computational ones. If true, ...
101
click to vote
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, a uniform approach for synthesizing monitors checking correctness properties specified in linear-time logics at runtime is provided. Therefore, a generic three-value...