2414 search results - page 118 / 483 » Reasoning Support for OWL-E |
153
click to vote
LICS
2009
IEEE
16 years 15 days ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
141
click to vote
TPHOL
2009
IEEE
16 years 15 days ago
2009
IEEE
Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...
150
click to vote
LFCS
2007
Springer
16 years 6 hour ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
153
click to vote
SEMWEB
2007
Springer
15 years 12 months ago
2007
Springer
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. Fuzzy Description Logics were born to represent the former type of knowledge, but ...
162
click to vote
CSFW
2005
IEEE
15 years 11 months ago
2005
IEEE
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...