Results 211 to 220 of about 118,069 (266)

On Integral Quadratic Constraints

IEEE Transactions on Automatic Control, 2022
This paper is concerned with robust stability analysis of feedback interconnections of nonlinear systems using integral quadratic constraints (IQCs). Its main purpose involves reconciling hard (a.k.a. unconditional) IQC and soft (a.k.a. conditional) IQC based analysis.
openaire   +1 more source

Merging with Integrity Constraints

1999
We consider, in this paper, the problem of knowledge base merging with integrity constraints. We propose a logical characterization of those operators and give a representation theorem in terms of preorders on interpretations. We show the close connection between belief revision and merging operators and we show that our proposal extends the pure ...
Konieczny, Sébastien, Pino Perez, Ramon
openaire   +2 more sources

Integrity Constraints in OWL

Proceedings of the AAAI Conference on Artificial Intelligence, 2010
In many data-centric semantic web applications, it is desirable to use OWL to encode the Integrity Constraints (IC) that must be satisfied by instance data. However, challenges arise due to the Open World Assumption (OWA) and the lack of a Unique Name Assumption (UNA) in OWL’s standard semantics.
Jiao Tao   +3 more
openaire   +1 more source

Home - About - Disclaimer - Privacy