Declarative semantics for revision programming and connections to active integrity constraints

Luciano Caroprese; Mirosław Truszczyński

doi:10.1007/978-3-540-87803-2_10

Declarative semantics for revision programming and connections to active integrity constraints

Luciano Caroprese
, Mirosław Truszczyński

Computer Science

Producción científica: Conference contribution › revisión exhaustiva

5 Citas (Scopus)

Resumen

We investigate revision programming, a formalism to describe constraints on belief sets (databases, knowledge bases), and to specify preferred ways to enforce them. We propose several semantics for revision programs combining ideas from logic programming and active integrity constraints, a formalism to model preferred ways to enforce integrity constraints on databases. We present results on the complexity of the semantics we introduce. We also show that all these semantics are invariant under "shifting". Finally, we prove that from the perspective of a broad semantic landscape of revision programming, there is a direct correspondence between revision programs and active integrity constraints.

Idioma original	English
Título de la publicación alojada	Logics in Artificial Intelligence - 11th European Conference, JELIA 2008, Proceedings
Páginas	100-112
Número de páginas	13
DOI	https://doi.org/10.1007/978-3-540-87803-2_10
Estado	Published - 2008
Evento	11th European Conference on Logics in Artificial Intelligence, JELIA 2008 - Dresden, Germany Duración: sept 28 2008 → oct 1 2008

Serie de la publicación

Nombre	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumen	5293 LNAI
ISSN (versión impresa)	0302-9743
ISSN (versión digital)	1611-3349

Conference

Conference	11th European Conference on Logics in Artificial Intelligence, JELIA 2008
País/Territorio	Germany
Ciudad	Dresden
Período	9/28/08 → 10/1/08

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Acceder al documento

10.1007/978-3-540-87803-2_10

Otros archivos y enlaces

Citar esto

Caroprese, L., & Truszczyński, M. (2008). Declarative semantics for revision programming and connections to active integrity constraints. En Logics in Artificial Intelligence - 11th European Conference, JELIA 2008, Proceedings (pp. 100-112). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5293 LNAI). https://doi.org/10.1007/978-3-540-87803-2_10

Caroprese, Luciano ; Truszczyński, Mirosław. / Declarative semantics for revision programming and connections to active integrity constraints. Logics in Artificial Intelligence - 11th European Conference, JELIA 2008, Proceedings. 2008. pp. 100-112 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{c84156d917ed47c2ad1ed9502e1b6152,

title = "Declarative semantics for revision programming and connections to active integrity constraints",

abstract = "We investigate revision programming, a formalism to describe constraints on belief sets (databases, knowledge bases), and to specify preferred ways to enforce them. We propose several semantics for revision programs combining ideas from logic programming and active integrity constraints, a formalism to model preferred ways to enforce integrity constraints on databases. We present results on the complexity of the semantics we introduce. We also show that all these semantics are invariant under {"}shifting{"}. Finally, we prove that from the perspective of a broad semantic landscape of revision programming, there is a direct correspondence between revision programs and active integrity constraints.",

author = "Luciano Caroprese and Miros{\l}aw Truszczy{\'n}ski",

year = "2008",

doi = "10.1007/978-3-540-87803-2\_10",

language = "English",

isbn = "3540878025",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "100--112",

booktitle = "Logics in Artificial Intelligence - 11th European Conference, JELIA 2008, Proceedings",

note = "11th European Conference on Logics in Artificial Intelligence, JELIA 2008 ; Conference date: 28-09-2008 Through 01-10-2008",

}

Caroprese, L & Truszczyński, M 2008, Declarative semantics for revision programming and connections to active integrity constraints. En Logics in Artificial Intelligence - 11th European Conference, JELIA 2008, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5293 LNAI, pp. 100-112, 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, Dresden, Germany, 9/28/08. https://doi.org/10.1007/978-3-540-87803-2_10

Declarative semantics for revision programming and connections to active integrity constraints. / Caroprese, Luciano; Truszczyński, Mirosław.
Logics in Artificial Intelligence - 11th European Conference, JELIA 2008, Proceedings. 2008. p. 100-112 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5293 LNAI).

Producción científica: Conference contribution › revisión exhaustiva

TY - GEN

T1 - Declarative semantics for revision programming and connections to active integrity constraints

AU - Caroprese, Luciano

AU - Truszczyński, Mirosław

PY - 2008

Y1 - 2008

N2 - We investigate revision programming, a formalism to describe constraints on belief sets (databases, knowledge bases), and to specify preferred ways to enforce them. We propose several semantics for revision programs combining ideas from logic programming and active integrity constraints, a formalism to model preferred ways to enforce integrity constraints on databases. We present results on the complexity of the semantics we introduce. We also show that all these semantics are invariant under "shifting". Finally, we prove that from the perspective of a broad semantic landscape of revision programming, there is a direct correspondence between revision programs and active integrity constraints.

AB - We investigate revision programming, a formalism to describe constraints on belief sets (databases, knowledge bases), and to specify preferred ways to enforce them. We propose several semantics for revision programs combining ideas from logic programming and active integrity constraints, a formalism to model preferred ways to enforce integrity constraints on databases. We present results on the complexity of the semantics we introduce. We also show that all these semantics are invariant under "shifting". Finally, we prove that from the perspective of a broad semantic landscape of revision programming, there is a direct correspondence between revision programs and active integrity constraints.

UR - https://www.scopus.com/pages/publications/56849105771

UR - https://www.scopus.com/pages/publications/56849105771#tab=citedBy

U2 - 10.1007/978-3-540-87803-2_10

DO - 10.1007/978-3-540-87803-2_10

M3 - Conference contribution

AN - SCOPUS:56849105771

SN - 3540878025

SN - 9783540878025

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 100

EP - 112

BT - Logics in Artificial Intelligence - 11th European Conference, JELIA 2008, Proceedings

T2 - 11th European Conference on Logics in Artificial Intelligence, JELIA 2008

Y2 - 28 September 2008 through 1 October 2008

ER -

Caroprese L, Truszczyński M. Declarative semantics for revision programming and connections to active integrity constraints. En Logics in Artificial Intelligence - 11th European Conference, JELIA 2008, Proceedings. 2008. p. 100-112. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-87803-2_10

Declarative semantics for revision programming and connections to active integrity constraints

Resumen

Serie de la publicación

Conference

ASJC Scopus subject areas

Acceder al documento

Otros archivos y enlaces

Huella

Citar esto