Rewrite semantics for production rule systems: theory and applications

DOI10.1007/3-540-61511-3_110MaRDI QIDQ4647544zbMATH OpenOpenAlexFDO

Authors Wayne Snyder, James G. Schmolze

Publication date 15 January 2019

Published in Automated Deduction — Cade-13 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61511-3_110

zbMATH Keywords

critical pairproduction ruleground instancenegative conditionwork memory

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Logic in artificial intelligence (68T27)

Recommendations

• Rewriting semantics of production rule sets
• scientific article; zbMATH DE number 4049117
• Computing with rewrite systems
• Modeling production rules by means of predicate transition networks
• Modeling rule-based systems by stochastic programmed production systems

Cites work

• scientific article; zbMATH DE number 50648 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• A semantics for a class of stratified production system programs
• Equational problems and disunification
• Redundancy criteria for constrained completion
• Rewrite semantics for production rule systems: theory and applications

Cited in

(8)

• Rewrite semantics for production rule systems: theory and applications
• Simulating production rules using ACTHEX
• scientific article; zbMATH DE number 6744203 (Why is no real title available?)
• Syntax-guided rewrite rule enumeration for SMT solvers
• scientific article; zbMATH DE number 67434 (Why is no real title available?)
• A class of rewriting rules and reverse transformation for rule-based equivalent transformation
• Rewriting semantics of production rule sets
• Semantics of production systems

This page was built for publication: Rewrite semantics for production rule systems: theory and applications

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