liu.seSearch for publications in DiVA
Operational message
There are currently operational disruptions. Troubleshooting is in progress.
EnglishSvenskaNorsk
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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
On Correctness of Normal Logic Programs
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering. Polish Acad Sci, Poland.ORCID iD: 0000-0002-4700-7272
2022 (English)In: LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2022), SPRINGER INTERNATIONAL PUBLISHING AG , 2022, Vol. 13474, p. 142-154Conference paper, Published paper (Refereed)
Abstract [en]

We present sufficient conditions for correctness of logic programs with negation (normal programs). We focus on the Kunen semantics, this declarative semantics is a closest one to what is implemented in Prolog (negation by finite failure) when floundering is avoided. We also recall an existing result for the well-founded semantics.
Place, publisher, year, edition, pages
SPRINGER INTERNATIONAL PUBLISHING AG , 2022. Vol. 13474, p. 142-154
Series
Lecture Notes in Computer Science, ISSN 0302-9743
Keywords [en]
Logic programming; Negation; Program correctness; Kunen semantics
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:liu:diva-189810DOI: 10.1007/978-3-031-16767-6_8ISI: 000867545100008ISBN: 9783031167676 (electronic)ISBN: 9783031167669 (print)OAI: oai:DiVA.org:liu-189810DiVA, id: diva2:1709416
Conference
32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), Tbilisi, GEORGIA, sep 21-23, 2022
Available from: 2022-11-08 Created: 2022-11-08 Last updated: 2022-11-08

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Search in DiVA

By author/editor
Drabent, Wlodzimierz
By organisation
Software and SystemsFaculty of Science & Engineering
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 46 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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
v. 2.47.0
|
Accessibility
|
DiVA portal
|
DiVA Log in
|
Contact us
|
LiU University Library
|
SwePub
|
Uppsök