Document models

MaRDI QIDQ1709112zbMATH OpenFDO

Authors A. A. Malykh, A. V. Mantsivoda

Publication date 27 March 2018

Published in The Bulletin of Irkutsk State University. Series Mathematics (Search for Journal in Brave)

Full work available at URL http://mathizv.isu.ru/journal/downloadArticle?article=_8cf8408a0f40407fbae1b43dbd7d5062&lang=rus

zbMATH Keywords

semantic programmingdocument modellocally simple model

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Locally simple models construction: methodology and practice
• Towards semantic document modelling of business processes
• On termination of transactions over semantic document models
• scientific article; zbMATH DE number 1873255
• scientific article; zbMATH DE number 3843189

Cites work

• scientific article; zbMATH DE number 1809861 (Why is no real title available?)
• scientific article; zbMATH DE number 3980456 (Why is no real title available?)
• scientific article; zbMATH DE number 4047058 (Why is no real title available?)
• scientific article; zbMATH DE number 1405450 (Why is no real title available?)
• scientific article; zbMATH DE number 1453724 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• A query language for logic architectures
• Logical architectures and the object oriented approach
• Object theories over list superstructures

Cited in

(5)

• scientific article; zbMATH DE number 2047304 (Why is no real title available?)
• Towards semantic document modelling of business processes
• On the complexity of formulas in semantic programming
• Locally simple models construction: methodology and practice
• On termination of transactions over semantic document models

Describes a project that uses

Uses Software

• VAMPIRE

This page was built for publication: Document models

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