875 search results - page 1 / 175 » Reasoning about Knowledge and Continuity |
FLAIRS
2006
13 years 6 months ago
2006
The aim of this paper is to extend the modal logic of knowledge due to Moss and Parikh by state transformers arising, eg, from actions of agents. The peculiarity of Moss and Parik...
AAAI
2008
13 years 5 months ago
2008
Symbolic AI systems typically have difficulty reasoning about motion in continuous environments, such as determining whether a cornering car will clear a close obstacle. Bimodal s...
KR
1994
Springer
13 years 8 months ago
1994
Springer
AUSAI
2004
Springer
13 years 10 months ago
2004
Springer
This paper presents a formal method based on the high-level semantics of processes to reason about continuous change. With a case study we show how the semantics of processes can b...
FM
2009
Springer
13 years 9 months ago
2009
Springer
Abstract. Expectation (average) properties of continuous random variables are widely used to judge performance characteristics in engineering and physical sciences. This paper pres...