On logical constraints in logic programming
type: Item
instance of: scholarly article
title: On logical constraints in logic programming
zbMATH Open document ID: 1497.68460
DOI: 10.1007/3-540-59487-6_4
author: Wiktor Marek
author: Jeffrey Remmel
author: Anil Nerode
published in: Logic Programming and Nonmonotonic Reasoning
publication date: 2022-08-30T00:00:00Z
full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 7577918
describes a project that uses: CHIP
MaRDI profile type: Publication
OpenAlex ID: W1499277620
cites work: Q4385536
cites work: Stable and extension class theory for logic programs and default logics
cites work: The recursion-theoretic complexity of the semantics of predicate logic as a programming language
cites work: A logic for default reasoning
cites work: The Semantics of Predicate Logic as a Programming Language
description: scientific article; zbMATH DE number 7577918