Recursive definitions of tabular transformations

DOI10.1134/S1064230720040115zbMATH Open1499.68333MaRDI QIDQ1995374FDOQ1995374

Authors: M. V. Kuchuganov 

Publication date: 23 February 2021

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

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

Mathematics Subject Classification ID

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

Cites Work

• Modular action language \(\mathcal{ALM}\)
• STRIPS: A new approach to the application of theorem proving to problem solving
• Handbook of knowledge representation.
• Title not available (Why is that?)
• Title not available (Why is that?)
• ADL and the State-Transition Model of Action
• Systems of relational transformations: rules and realizability criterion

Cited In (3)

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

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)