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

DOI10.1007/BF00885764MaRDI QIDQ1340964zbMATH OpenWikidataFDO

Authors Louiqa Raschid, Jorge Lobo

Publication date 21 December 1994

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

zbMATH Keywords

disjunctive logic programsfixpoint semanticsdeclarative semanticsnon-deterministic production rule systems

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

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

Cites work

• scientific article; zbMATH DE number 4147465 (Why is no real title available?)
• scientific article; zbMATH DE number 4064544 (Why is no real title available?)
• scientific article; zbMATH DE number 3755910 (Why is no real title available?)
• scientific article; zbMATH DE number 25191 (Why is no real title available?)
• A fixpoint semantics for disjunctive logic programs
• A semantics for a class of non-deterministic and causal production system programs
• A semantics for a class of stratified production system programs
• Datalog extensions for database queries and updates
• Generalized disjunctive well-founded semantics for logic programs.
• Procedural languages for database queries and updates
• Syntactical characterization of a subset of domain-independent formulas

Cited in

(3)

• A semantics for a class of stratified production system programs
• Semantics of production systems
• A semantics for a class of non-deterministic and causal 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)