A semantics for a class of non-deterministic and causal production system programs
type: Item
instance of: scholarly article
title: A semantics for a class of non-deterministic and causal production system programs
zbMATH Open document ID: 0805.68081
DOI: 10.1007/BF00885764
author: Louiqa Raschid
author: Jorge Lobo
published in: Journal of Automated Reasoning
publication date: 1994-12-21T00:00:00Z
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 704958
zbMATH Keywords: non-deterministic production rule systems
zbMATH Keywords: fixpoint semantics
zbMATH Keywords: declarative semantics
zbMATH Keywords: disjunctive logic programs
Wikidata QID: Q109585666
MaRDI profile type: Publication
cites work: Procedural languages for database queries and updates
cites work: Datalog extensions for database queries and updates
cites work: Generalized disjunctive well-founded semantics for logic programs.
cites work: Syntactical characterization of a subset of domain-independent formulas
cites work: Q3983044
cites work: Q3939270
cites work: Q3477931
cites work: A fixpoint semantics for disjunctive logic programs
cites work: A semantics for a class of stratified production system programs
cites work: Q3798300
description: scientific article; zbMATH DE number 704958