3081 search results - page 44 / 617 » A Formal Ontology of Properties |
FM
2009
Springer
15 years 6 months ago
2009
Springer
102
click to vote
ENTCS
2006
14 years 12 months ago
2006
Patterns for property specification enable non-experts to write formal specifications that can be used for automatic model checking. The existing patterns identified in [6] allow ...
FOIS
2010
15 years 28 days ago
2010
We introduce a process-centric ontological approach to relate observed properties to geo-processes that influence those observations. These relations are used to handle semantic he...
122
click to vote
FOIS
2008
15 years 1 months ago
2008
The deployment of learning resources on the web by different experts has resulted in the accessibility of multiple viewpoints about the same topics. In this work we assume that lea...
LFCS
2007
Springer
15 years 6 months ago
2007
Springer
Logic programming with stable logic semantics (SLP) is a logical formalism that assigns to sets of clauses in the language admitting negations in the bodies a special kind of mode...