Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A generalised program-correspondence framework: Preliminary report
Institut für Informationssysteme 184/3, Technische Universität Wien, Vienna, Austria.ORCID iD: 0000-0002-9902-7662
Institut für Informationssysteme 184/3, Technische Universität Wien, Vienna, Austria.
2008 (English)In: 22nd Workshop on (Constraint) Logic Programming, WLP 2008, Institute of Computer Science , 2008, p. 72-82Conference paper, Published paper (Refereed)
Abstract [en]

The study of various notions of equivalence between logic programs in the area of answer-set programming (ASP) gained increasing interest in recent years. The main reason for this undertaking is the failure of ordinary equivalence between answer-set programs to yield a replacement property similar to the one of classical logic. Although many refined program correspondence notions have been introduced in the ASP literature so far, most of these notions were studied for propositional programs only, which limits their practical usability as concrete programming applications require the use of variables. In this paper, we address this issue and introduce a general framework for specifying parameterised notions of program equivalence for non-ground disjunctive logic programs under the answer-set semantics. Our framework is a generalisation of a similar one defined previously for the propositional case and allows the specification of several equivalence notions extending well-known ones studied for propositional programs. We provide semantic characterisations for instances of our framework generalising uniform equivalence, and we study decidability and complexity aspects.

Place, publisher, year, edition, pages
Institute of Computer Science , 2008. p. 72-82
Keywords [en]
Computability and decidability, Computer programming languages, Computer systems programming, Logic programming, Semantics, Answer-set programming, Classical logic, Disjunctive logic programs, Equivalence notions, Generalisation, Logic programs, Program equivalence, Application programs
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:hj:diva-63588Scopus ID: 2-s2.0-84894036320OAI: oai:DiVA.org:hj-63588DiVA, id: diva2:1838168
Conference
22nd Workshop on (Constraint) Logic Programming, WLP 2008, 30 September-1 October 2008, Dresden, Germany
Available from: 2024-02-15 Created: 2024-02-15 Last updated: 2024-02-15Bibliographically approved

Open Access in DiVA

No full text in DiVA

Scopus

Authority records

Oetsch, Johannes

Search in DiVA

By author/editor
Oetsch, Johannes
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 7 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf