3793 search results - page 475 / 759 » Expressive Description Logics |
165
click to vote
KSEM
2007
Springer
16 years 24 days ago
2007
Springer
We define an inference system to capture explanations based on causal statements, using an ontology in the form of an IS-A hierarchy. We first introduce a simple logical language...
169
click to vote
DATE
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
152
click to vote
FDL
2005
IEEE
16 years 8 days ago
2005
IEEE
We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarati...
187
click to vote
ICTAC
2004
Springer
16 years 1 days ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
140
Voted
KR
2004
Springer
16 years 15 hour ago
2004
Springer
The situation calculus, as proposed by McCarthy and Hayes, and developed over the last decade by Reiter and co-workers, is reconsidered. A new logical variant is proposed that cap...