Complementing logic program semantics

Roberto Giacobazzi; Francesco Ranzato

doi:10.1007/3-540-61735-3_16

Complementing logic program semantics

Roberto Giacobazzi
, Francesco Ranzato

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

10 Scopus citations

Abstract

We consider abstract interpretation, and in particular the basic operators of reduced product and complementation of abstract domains, as a tool to systematically derive denotational semantics by composition and decomposition. Reduced product allows to perform the logical conjunction of semantics, while complementation characterizes what is left from a semantics when the information concerning a given observable property is "subtracted" from it. We apply this idea to the case of logic programming, characterizing in a uniform algebraic setting, the interaction between a number of well known declarative semantics for logic programs.

Original language	English (US)
Title of host publication	Algebraic and Logic Programming - 5th International Conference, ALP 1996, Proceedings
Editors	Michael Hanus, Mario Rodriguez-Artalejo
Publisher	Springer-Verlag
Pages	238-253
Number of pages	16
ISBN (Print)	3540617353, 9783540617358
DOIs	https://doi.org/10.1007/3-540-61735-3_16
State	Published - 1996
Externally published	Yes
Event	5th International Conference on Algebraic and Logic Programming, ALP 1996 - Aachen, Germany Duration: Sep 25 1996 → Sep 27 1996

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1139
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	5th International Conference on Algebraic and Logic Programming, ALP 1996
Country/Territory	Germany
City	Aachen
Period	9/25/96 → 9/27/96

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/3-540-61735-3_16

Cite this

Giacobazzi, R., & Ranzato, F. (1996). Complementing logic program semantics. In M. Hanus, & M. Rodriguez-Artalejo (Eds.), Algebraic and Logic Programming - 5th International Conference, ALP 1996, Proceedings (pp. 238-253). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1139). Springer-Verlag. https://doi.org/10.1007/3-540-61735-3_16

Complementing logic program semantics. / Giacobazzi, Roberto; Ranzato, Francesco.
Algebraic and Logic Programming - 5th International Conference, ALP 1996, Proceedings. ed. / Michael Hanus; Mario Rodriguez-Artalejo. Springer-Verlag, 1996. p. 238-253 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1139).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Giacobazzi, R & Ranzato, F 1996, Complementing logic program semantics. in M Hanus & M Rodriguez-Artalejo (eds), Algebraic and Logic Programming - 5th International Conference, ALP 1996, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1139, Springer-Verlag, pp. 238-253, 5th International Conference on Algebraic and Logic Programming, ALP 1996, Aachen, Germany, 9/25/96. https://doi.org/10.1007/3-540-61735-3_16

Giacobazzi R, Ranzato F. Complementing logic program semantics. In Hanus M, Rodriguez-Artalejo M, editors, Algebraic and Logic Programming - 5th International Conference, ALP 1996, Proceedings. Springer-Verlag. 1996. p. 238-253. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-61735-3_16

Giacobazzi, Roberto ; Ranzato, Francesco. / Complementing logic program semantics. Algebraic and Logic Programming - 5th International Conference, ALP 1996, Proceedings. editor / Michael Hanus ; Mario Rodriguez-Artalejo. Springer-Verlag, 1996. pp. 238-253 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{4d9a048af0214ed3946a0d02d67e011d,

title = "Complementing logic program semantics",

abstract = "We consider abstract interpretation, and in particular the basic operators of reduced product and complementation of abstract domains, as a tool to systematically derive denotational semantics by composition and decomposition. Reduced product allows to perform the logical conjunction of semantics, while complementation characterizes what is left from a semantics when the information concerning a given observable property is {"}subtracted{"} from it. We apply this idea to the case of logic programming, characterizing in a uniform algebraic setting, the interaction between a number of well known declarative semantics for logic programs.",

author = "Roberto Giacobazzi and Francesco Ranzato",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1996.; 5th International Conference on Algebraic and Logic Programming, ALP 1996 ; Conference date: 25-09-1996 Through 27-09-1996",

year = "1996",

doi = "10.1007/3-540-61735-3\_16",

language = "English (US)",

isbn = "3540617353",

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

publisher = "Springer-Verlag",

pages = "238--253",

editor = "Michael Hanus and Mario Rodriguez-Artalejo",

booktitle = "Algebraic and Logic Programming - 5th International Conference, ALP 1996, Proceedings",

}

TY - GEN

T1 - Complementing logic program semantics

AU - Giacobazzi, Roberto

AU - Ranzato, Francesco

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1996.

PY - 1996

Y1 - 1996

N2 - We consider abstract interpretation, and in particular the basic operators of reduced product and complementation of abstract domains, as a tool to systematically derive denotational semantics by composition and decomposition. Reduced product allows to perform the logical conjunction of semantics, while complementation characterizes what is left from a semantics when the information concerning a given observable property is "subtracted" from it. We apply this idea to the case of logic programming, characterizing in a uniform algebraic setting, the interaction between a number of well known declarative semantics for logic programs.

AB - We consider abstract interpretation, and in particular the basic operators of reduced product and complementation of abstract domains, as a tool to systematically derive denotational semantics by composition and decomposition. Reduced product allows to perform the logical conjunction of semantics, while complementation characterizes what is left from a semantics when the information concerning a given observable property is "subtracted" from it. We apply this idea to the case of logic programming, characterizing in a uniform algebraic setting, the interaction between a number of well known declarative semantics for logic programs.

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

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

U2 - 10.1007/3-540-61735-3_16

DO - 10.1007/3-540-61735-3_16

M3 - Conference contribution

AN - SCOPUS:84958741687

SN - 3540617353

SN - 9783540617358

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

SP - 238

EP - 253

BT - Algebraic and Logic Programming - 5th International Conference, ALP 1996, Proceedings

A2 - Hanus, Michael

A2 - Rodriguez-Artalejo, Mario

PB - Springer-Verlag

T2 - 5th International Conference on Algebraic and Logic Programming, ALP 1996

Y2 - 25 September 1996 through 27 September 1996

ER -

Complementing logic program semantics

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this