Recursive definitions of tabular transformations

DOI10.1134/S1064230720040115zbMath1499.68333MaRDI QIDQ1995374

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

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

Uses Software

• PDDL
• ALM

Cites Work

• STRIPS: A new approach to the application of theorem proving to problem solving
• Systems of relational transformations: rules and realizability criterion
• ADL and the State-Transition Model of Action
• Modular action language
• Unnamed Item
• Unnamed Item
• Unnamed Item

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