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

DOI10.1007/BF00885764zbMath0805.68081WikidataQ109585666 ScholiaQ109585666MaRDI QIDQ1340964

Jorge Lobo, Louiqa Raschid

Publication date: 21 December 1994

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

zbMATH Keywords

fixpoint semanticsdisjunctive logic programsdeclarative semanticsnon-deterministic production rule systems

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (1)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Procedural languages for database queries and updates
• Datalog extensions for database queries and updates
• A semantics for a class of non-deterministic and causal production system programs
• Generalized disjunctive well-founded semantics for logic programs.
• A fixpoint semantics for disjunctive logic programs
• Syntactical characterization of a subset of domain-independent formulas
• 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