Sciweavers

Share
911 search results - page 1 / 183
» Reasoning about Knowledge and Continuity
Sort
View
FLAIRS
2006
9 years 2 months ago
Reasoning about Knowledge and Continuity
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...
Bernhard Heinemann
AAAI
2008
9 years 2 months ago
Bimodal Spatial Reasoning with Continuous Motion
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...
Samuel Wintermute, John E. Laird
KR
1994
Springer
9 years 5 months ago
Reasoning in Logic about Continuous Systems
Benjamin Kuipers, Benjamin Shults
AUSAI
2004
Springer
9 years 7 months ago
A Formal Method Toward Reasoning About Continuous Change
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...
Chunping Li
FM
2009
Springer
101views Formal Methods» more  FM 2009»
9 years 6 months ago
Formal Reasoning about Expectation Properties for Continuous Random Variables
Abstract. Expectation (average) properties of continuous random variables are widely used to judge performance characteristics in engineering and physical sciences. This paper pres...
Osman Hasan, Naeem Abbasi, Behzad Akbarpour, Sofi&...
books