Recursive definitions of tabular transformations

DOI10.1134/S1064230720040115MaRDI QIDQ1995374zbMATH OpenFDO

Authors M. V. Kuchuganov

Publication date 23 February 2021

Published in Journal of Computer and Systems Sciences International (Search for Journal in Brave)

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• Systems of relational transformations: rules and realizability criterion
• Two components of an action language
• Recursive tables and effective definition schemes
• ADL and the State-Transition Model of Action
• Transformations of logic programs

Cites work

• scientific article; zbMATH DE number 5297230 (Why is no real title available?)
• scientific article; zbMATH DE number 2201583 (Why is no real title available?)
• ADL and the State-Transition Model of Action
• Handbook of knowledge representation.
• Modular action language \(\mathcal{ALM}\)
• STRIPS: A new approach to the application of theorem proving to problem solving
• Systems of relational transformations: rules and realizability criterion

Cited in

(3)

• Systems of relational transformations: rules and realizability criterion
• Recursive tables and effective definition schemes
• Table-based Recursive Method for Function Evaluation

Describes a project that uses

Uses Software

• PDDL
• ALM

This page was built for publication: Recursive definitions of tabular transformations

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