5084 search results - page 190 / 1017 » Proving Possibility Properties |
145
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
The ability of logic transformations to enhance safety property checking has been well-established, and many industrial-strength verification solutions accordingly rely ariety of...
123
click to vote
SEMWEB
2009
Springer
16 years 28 days ago
2009
Springer
Abstract The current OWL 2 specification provides mechanisms for importing whole ontologies. This paper discusses the import of only a module of an external ontology, which is spe...
146
click to vote
CRV
2008
IEEE
16 years 26 days ago
2008
IEEE
The human visual system is often able to recognize shading patterns and to discriminate them from surface reflectance patterns. To understand how this ability is possible, we inv...
164
click to vote
TARK
2007
Springer
16 years 15 days ago
2007
Springer
This paper provides a set-theoretic model of knowledge and unawareness, in which reasoning through theorems is employed. A new property called Awareness Leads to Knowledge shows t...
166
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
This paper describes an implemented robotic agent architecture in which the environment, as sensed by the agent, is used to guide the recognition of spoken and gestural directives...