Search Results - "semantic programming"

Solution of the Problem P = L by Goncharov, Sergey, Nechesov, Andrey

“…The problems associated with the construction of polynomial complexity computer programs require new techniques and approaches from mathematicians. One of such…”
Get full text

Polynomial-Computable Representation of Neural Networks in Semantic Programming by Goncharov, Sergey, Nechesov, Andrey

“…A lot of libraries for neural networks are written for Turing-complete programming languages such as Python, C++, PHP, and Java. However, at the moment, there…”
Get full text

Polynomial Analogue of Gandy’s Fixed Point Theorem by Goncharov, Sergey, Nechesov, Andrey

“…The paper suggests a general method for proving the fact whether a certain set is p-computable or not. The method is based on a polynomial analogue of the…”
Get full text

Semantic Programming and Polynomially Computable Representations by Nechesov, A. V.

“…In the present article, we consider the question on existence of polynomially computable representations for basic syntactic constructions of the first-order…”
Get full text

Conditional terms in semantic programming by Goncharov, S. S.

“…For constructing an enrichment of the language with restricted quantifiers, we extend the construction of conditional terms. We show that the so-obtained…”
Get full text

Polynomial Sequences and Their Applications

“…The present reprint contains the articles accepted and published in the Special Issue “Polynomial Sequences and Their Applications” of the MDPI journal…”
Get full text

Recursive Terms in Semantic Programming by Goncharov, S. S., Sviridenko, D. I.

“…For constructing an enrichment of a language with restricted quantifiers, we extend the notion of term by the construction of the terms conditional and…”
Get full text

Locally Simple Models Construction: Methodology and Practice by Kazakov, I. A., Kustova, I. A., Lazebnikova, E. N., Mantsivoda, A. V.

“…One of the most notable trends associated with the Fourth industrial revolution is a significant strengthening of the role played by semantic methods. They are…”
Get full text

Document Models by Malykh, A.A., Mantsivoda, A.V.

“…In this paper, the concept of locally simple models is considered. Locally simple models are arbitrarily complex models built from relatively simple…”
Get full text

Programming Methodology in Turing-Complete Languages by Goncharov, Sergey, Nechesov, Andrey, Sviridenko, Dmitriy

“…The paper delves into the intricacies of designing programs with polynomial computational complexity within Turing-complete languages. It proposes a novel…”
Get full text

Semantic programming for AI and Robotics by Goncharov, Sergey, Nechesov, Andrey

“…The paper presents a new high-level object-oriented programming language L ∗ which is a conservative extension of the p-complete logical programming language…”
Get full text

Achieving business process and business rules integration using SPL by Kai Zhao, Shi Ying, Linlin Zhang, Luokai Hu

“…A factor limiting the take up of Web services based business processes is that the mutability of business rules embedded in the business logic cannot be…”
Get full text

A flexible exception handling framework for Semantic Programming Language by Zhao, Kai, Zhang, Linlin, Ying, Shi

“…Semantic Web services (SWS) and business process management (BPM) technologies are gradually applied in many domains like electronic commerce and enterprise…”
Get full text

Design and implementation of semantic programming language graphical edit tool by Ye Weijun, Ying Shi, Zhao Kai, Ni Youcong

“…SPL is a Semantic Web services oriented programming language which is based on ontology and XML. At present, it is still devoid of a platform to edit SPL…”
Get full text

A Semantic Programming Language SPL+ - A Preliminary Report by Zhang Guigang, Shu Wang, Xu ChengZhi, Zhiyuan Gong, Sheu, P.C.-Y.

“…This paper is a preliminary report on the development of a "declarative" programming language SPL+. It assists non-technical people to write programs. The key…”
Get full text

Orchestrating Semantic Web Services with Semantic Programming Language by Hong-Hua, Cao, Shi, Ying, De-Hui, Du, Yang, Xiao

“…In this paper we present a Semantic Programming Language (SPL)-a language that facilitates the integration and orchestration of semantic Web services using a…”
Get full text

A Mealy machine based modeling approach for semantic programming language by Luokai Hu, Shi Ying, Kai Zhao

“…Semantic Programming language is an essential study aspect of semantic software engineering. Semantic programming language is not only need for syntax modeling…”
Get full text

Ontology-based semantic data processing in Semantic Programming Language by Zhao Kai, Shi Ying, Hu Luo-Kai, Zhang Lin-Lin, Zeng Zhi-Hao, Chen Rui

“…The Semantic Programming Language (SPL) employs concepts and its relationships in ontology to specify the data used within a process and implements data flow…”
Get full text