A semantics for a class of stratified production system programs
From MaRDI portal
Publication:4306398
DOI10.1016/0743-1066(94)90005-1zbMath0811.68094OpenAlexW2251399457WikidataQ126989245 ScholiaQ126989245MaRDI QIDQ4306398
Publication date: 1 May 1995
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0743-1066(94)90005-1
Related Items (4)
Reactive computing as model generation ⋮ A semantics for a class of non-deterministic and causal production system programs ⋮ Programming in logic without logic programming ⋮ Rewrite semantics for production rule systems: Theory and applications
This page was built for publication: A semantics for a class of stratified production system programs