On correctness of normal logic programs
type: Item
instance of: scholarly article
title: On correctness of normal logic programs
zbMATH Open document ID: 1522.68108
DOI: 10.1007/978-3-031-16767-6_8
author: Włodzimierz Drabent
published in: Logic-Based Program Synthesis and Transformation
publication date: 2023-06-02T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 7691345
zbMATH Keywords: logic programming
zbMATH Keywords: negation
zbMATH Keywords: program correctness
zbMATH Keywords: Kunen semantics
MaRDI profile type: MaRDI publication profile
cites work: Logic programming and negation: A survey
cites work: Q4318616
cites work: What is failure? An approach to constructive negation
cites work: Completeness of SLDNF-resolution for nonfloundering queries
cites work: Correctness and Completeness of Logic Programs
cites work: Logic + control: On program construction and verification
cites work: Strict completion of logic programs
cites work: Proving correctness and completeness of normal programs – a declarative approach
cites work: Proof method of partial correctness and weak completeness for normal logic programs
cites work: A kripke-kleene semantics for logic programs*
cites work: Bilattices and the semantics of logic programming
cites work: Negation in logic programming
cites work: Q3992908
cites work: Q3998267
cites work: Q3718124
cites work: Q3837741
Recommended article: Proving correctness and completeness of normal programs – a declarative approach
Recommended article: Proof method of partial correctness and weak completeness for normal logic programs
Recommended article: Q3975936
Recommended article: Q4736519
Recommended article: Q4878771
description: scientific article; zbMATH DE number 7691345