637 search results - page 94 / 128 » Inconsistency-Tolerant Integrity Checking |
156
click to vote
ESWS
2009
Springer
16 years 15 days ago
2009
Springer
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. Although several decidable fragments of OASP have been identified, few reasonin...
161
click to vote
REFSQ
2009
Springer
16 years 14 days ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...
142
click to vote
SAFECOMP
2009
Springer
16 years 14 days ago
2009
Springer
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification ...
143
click to vote
KCAP
2009
ACM
16 years 13 days ago
2009
ACM
Ontologies are conceptual models of particular domains, and domains can be modeled differently, representing different opinions, beliefs or perspectives. In other terms, ontolog...
162
click to vote
HYBRID
2010
Springer
16 years 12 days ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...