A semantics for a class of non-deterministic and causal production system programs

DOI10.1007/BF00885764zbMATH Open0805.68081WikidataQ109585666 ScholiaQ109585666MaRDI QIDQ1340964FDOQ1340964

Authors: Louiqa Raschid, Jorge Lobo 

Publication date: 21 December 1994

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Recommendations

• A semantics for a class of stratified production system programs
• scientific article; zbMATH DE number 3924117
• A nondeterministic well-founded semantics
• scientific article; zbMATH DE number 3876560
• Fundamental properties of deterministic and nondeterministic extensions of Datalog

zbMATH Keywords

disjunctive logic programsfixpoint semanticsdeclarative semanticsnon-deterministic production rule systems

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Title not available (Why is that?)
• Syntactical characterization of a subset of domain-independent formulas
• A semantics for a class of stratified production system programs
• Datalog extensions for database queries and updates
• Title not available (Why is that?)
• A fixpoint semantics for disjunctive logic programs
• Procedural languages for database queries and updates
• Title not available (Why is that?)
• Generalized disjunctive well-founded semantics for logic programs.
• Title not available (Why is that?)
• A semantics for a class of non-deterministic and causal production system programs

Cited In (3)

• Semantics of production systems
• A semantics for a class of non-deterministic and causal production system programs
• A semantics for a class of stratified production system programs

This page was built for publication: A semantics for a class of non-deterministic and causal production system programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1340964)