Document models

zbMath1390.68613MaRDI QIDQ1709112

Anton Aleksandrovich Malykh, Andreĭ Valer'evich Mantsivoda

Publication date: 27 March 2018

Published in: Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika (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)

Related Items (3)

On the complexity of formulas in semantic programming ⋮ Towards semantic document modelling of business processes ⋮ On termination of transactions over semantic document models

Uses Software

• VAMPIRE

Cites Work

• Object theories over list superstructures
• A Query Language for Logic Architectures
• A Machine-Oriented Logic Based on the Resolution Principle
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Document models