Set based logic programming
type: Item
instance of: scholarly article
title: Set based logic programming
zbMATH Open document ID: 1175.68099
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2009-07-13T00:00:00Z
full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2005/266/
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 5577692
zbMATH Keywords: one-step consequence operator
zbMATH Keywords: monotonic idempotent operator
zbMATH Keywords: miop-spatially augmented language
author: Howard A. Blair
author: Wiktor Marek
author: Jeffrey Remmel
MaRDI profile type: Publication
OpenAlex ID: W2067946622
cites work: Knowledge Representation, Reasoning and Declarative Problem Solving
cites work: Q3934450
cites work: Q4204135
cites work: Q2767097
cites work: Q5622162
cites work: Logic programming and knowledge representation---The A-Prolog perspective
cites work: Minimal belief and negation as failure
cites work: Q4702577
cites work: Logic programs with stable model semantics as a constraint programming paradigm
cites work: Constructivism in mathematics. An introduction. Volume II
cites work: The well-founded semantics for general logic programs
cites work: Stability of beamlike lattice trusses
DOI: 10.1007/S10472-008-9098-1
description: scientific article; zbMATH DE number 5577692