637 search results - page 94 / 128 » Inconsistency-Tolerant Integrity Checking |
123
Voted
ESWS
2009
Springer
15 years 10 months 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...
125
Voted
REFSQ
2009
Springer
15 years 10 months 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...
117
click to vote
SAFECOMP
2009
Springer
15 years 10 months 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 ...
115
Voted
KCAP
2009
ACM
15 years 10 months 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...
134
Voted
HYBRID
2010
Springer
15 years 10 months 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...