Recursive definitions of tabular transformations

DOI10.1134/S1064230720040115zbMATH Open1499.68333MaRDI QIDQ1995374FDOQ1995374

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)

Cites Work

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

Cited In (2)

• Recursive tables and effective definition schemes
• 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)