3 citations · 3 across the 4 of their papers we have counts for
4 papers
Quantifiers metamorphoses. Generalizations, variations, algorithmic semantics
Alex Shkotin
This article contains ideas and their elaboration for quantifiers, which appeared after checking in practice the experimental language of the formal knowledge representation YAFOLL…
Towards OWL-based Knowledge Representation in Petrology
Alex Shkotin, Vladimir Ryakhovsky, Dmitry Kudryavtsev
This paper presents our work on development of OWL-driven systems for formal representation and reasoning about terminological knowledge and facts in petrology. The long-term aim o…
Program structure
Alex Shkotin
A program is usually represented as a word chain. It is exactly a word chain that appears as the lexical analyzer output and is parsed. The work shows that a program can be syntact…
Graph representation of context-free grammars
Alex Shkotin
In modern mathematics, graphs figure as one of the better-investigated class of mathematical objects. Various properties of graphs, as well as graph-processing algorithms, can be u…