Systems of relational transformations: rules and realizability criterion

DOI10.20537/VM150113MaRDI QIDQ3466701zbMATH OpenOpenAlexFDO

Authors M. V. Kuchuganov

Publication date 25 January 2016

Published in Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki (Search for Journal in Brave)

Full work available at URL http://mathnet.ru/eng/vuu471

zbMATH Keywords

action description languagesADLsituation calculusSTRIPS

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Recursive definitions of tabular transformations
• Two components of an action language
• scientific article; zbMATH DE number 980422
• ADL and the State-Transition Model of Action
• Representing action: indeterminacy and ramifications

Cited in

(3)

• Recursive definitions of tabular transformations
• Vectorization of raster mechanical drawings on the base of ternary segmentation and soft computing
• scientific article; zbMATH DE number 3883647 (Why is no real title available?)

Describes a project that uses

Uses Software

• PDDL

This page was built for publication: Systems of relational transformations: rules and realizability criterion

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