Semantics of production systems

DOI10.1016/0890-5401(87)90016-2MaRDI QIDQ1110314zbMATH OpenOpenAlexFDO

Authors Giuliano Pacini, Franco Turini

Publication date 1987

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0890-5401(87)90016-2

zbMATH Keywords

denotational semanticsproduction systemsconflict resolutionsearch trees

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• A semantics for a class of stratified production system programs
• A semantics for a class of non-deterministic and causal production system programs
• Denotational and operational semantics for prolog
• scientific article; zbMATH DE number 3902017
• Rewrite semantics for production rule systems: theory and applications

Cites work

• scientific article; zbMATH DE number 3644469 (Why is no real title available?)
• scientific article; zbMATH DE number 3657150 (Why is no real title available?)
• scientific article; zbMATH DE number 3658971 (Why is no real title available?)
• scientific article; zbMATH DE number 3716749 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 3793435 (Why is no real title available?)
• scientific article; zbMATH DE number 3635472 (Why is no real title available?)
• scientific article; zbMATH DE number 3640837 (Why is no real title available?)
• scientific article; zbMATH DE number 3804893 (Why is no real title available?)
• A Powerdomain Construction
• A calculus of communicating systems
• Communicating sequential processes
• Semantics of nondeterminism, concurrency, and communication

Cited in

(4)

• scientific article; zbMATH DE number 3986651 (Why is no real title available?)
• FUNCTIONAL PRODUCTION SYSTEMS VIEWED AS GRAMMARS
• A semantics for a class of stratified production system programs
• scientific article; zbMATH DE number 1455620 (Why is no real title available?)

This page was built for publication: Semantics of production systems

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