Runtime Addition of Integrity Constraints in Abductive Logic Programs

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)
Original languageUnknown
Title of host publicationLeibniz International Proceedings in Informatics (LIPIcs)
EditorsM Hermenegildo, T Schaub
Place of PublicationDagstuhl, Germany
PublisherSchloss Dagstuhl-Leibniz-Zentrum fuer Informatik
Pages4-13
Volume7
ISBN (Print)978-3-939897-17-0
DOIs
Publication statusPublished - 1 Jan 2010
EventInternational Conference on Logic Programming -
Duration: 1 Jan 2010 → …

Conference

ConferenceInternational Conference on Logic Programming
Period1/01/10 → …

Cite this

Alberti, M. (2010). Runtime Addition of Integrity Constraints in Abductive Logic Programs. In M. Hermenegildo, & T. Schaub (Eds.), Leibniz International Proceedings in Informatics (LIPIcs) (Vol. 7, pp. 4-13). Dagstuhl, Germany: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.ICLP.2010.4
Alberti, Marco. / Runtime Addition of Integrity Constraints in Abductive Logic Programs. Leibniz International Proceedings in Informatics (LIPIcs). editor / M Hermenegildo ; T Schaub. Vol. 7 Dagstuhl, Germany : Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2010. pp. 4-13
@inproceedings{1e996d2697c14f5188cab47a0aaf5ceb,
title = "Runtime Addition of Integrity Constraints in Abductive Logic Programs",
author = "Marco Alberti",
year = "2010",
month = "1",
day = "1",
doi = "10.4230/LIPIcs.ICLP.2010.4",
language = "Unknown",
isbn = "978-3-939897-17-0",
volume = "7",
pages = "4--13",
editor = "M Hermenegildo and T Schaub",
booktitle = "Leibniz International Proceedings in Informatics (LIPIcs)",
publisher = "Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik",

}

Alberti, M 2010, Runtime Addition of Integrity Constraints in Abductive Logic Programs. in M Hermenegildo & T Schaub (eds), Leibniz International Proceedings in Informatics (LIPIcs). vol. 7, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, pp. 4-13, International Conference on Logic Programming, 1/01/10. https://doi.org/10.4230/LIPIcs.ICLP.2010.4

Runtime Addition of Integrity Constraints in Abductive Logic Programs. / Alberti, Marco.

Leibniz International Proceedings in Informatics (LIPIcs). ed. / M Hermenegildo; T Schaub. Vol. 7 Dagstuhl, Germany : Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2010. p. 4-13.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Runtime Addition of Integrity Constraints in Abductive Logic Programs

AU - Alberti, Marco

PY - 2010/1/1

Y1 - 2010/1/1

U2 - 10.4230/LIPIcs.ICLP.2010.4

DO - 10.4230/LIPIcs.ICLP.2010.4

M3 - Conference contribution

SN - 978-3-939897-17-0

VL - 7

SP - 4

EP - 13

BT - Leibniz International Proceedings in Informatics (LIPIcs)

A2 - Hermenegildo, M

A2 - Schaub, T

PB - Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik

CY - Dagstuhl, Germany

ER -

Alberti M. Runtime Addition of Integrity Constraints in Abductive Logic Programs. In Hermenegildo M, Schaub T, editors, Leibniz International Proceedings in Informatics (LIPIcs). Vol. 7. Dagstuhl, Germany: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. 2010. p. 4-13 https://doi.org/10.4230/LIPIcs.ICLP.2010.4