#### Filter Results:

- Full text PDF available (2)

#### Publication Year

2003

2015

- This year (0)
- Last 5 years (5)
- Last 10 years (6)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Vassili Orlov, Alexander Kleschev
- ICEIS
- 2003

Ontology specification languages, ontologies of different levels of abstraction, knowledge and data are useful in the life cycle of knowledge-based systems. Since methods of processing some of these kinds of information are still in a research stage, new formalisms for representation of this information are proposed. As a result, extra efforts on developing… (More)

- Alexander Kleschev, Sergey Smagin
- Automatic Documentation and Mathematical…
- 2012

Statements of the major tasks of inductive formation of knowledge are suggested. These are classifications and clusterings, which are part of machine learning and are applied for dependence models with parameters that are not flawed in their traditional statement. An algorithm for knowledge base formation is presented for learning samples in almost… (More)

- Valeria Viktorovna Gribova, Alexander Kleschev, Dmitry A. Krylov
- Automatic Documentation and Mathematical…
- 2013

A mathematical apparatus for describing the context-free grammars of artificial languages is presented: the syntax of the language to describe them is defined, as well as logical and generative semantics, and examples are provided to show how the suggested apparatus can be used.

- Alexander Kleschev, Elena Shalfeeva
- ICIC
- 2015

In this report various schemes for checking correctness of mathematical proofs are considered. A project of interactive theorem proving based on cloud computing is presented. The main features of this project are extendable language for representing mathematical propositions, extendable calculus of a higher order, two models for intuitive proofs, and also… (More)

- Valeria Viktorovna Gribova, Alexander Kleschev
- Automatic Documentation and Mathematical…
- 2013

A new programming paradigm, an ontologic one, which is a developed paradigm of declarative programming, is described, as well as the data model the paradigm is based on and major language structures supported by examples.

- Alexander Kleschev, Sergey Smagin
- 2015 IEEE Seventh International Conference on…
- 2015

The paper provides an introduction into the area of inductive formation of knowledge bases. It presents traditional definitions of main problems in this area and highlights the current topical questions including the interpretability of the results. For solving of current problems in defined area the method of inductive formation of easily interpretable… (More)

- ‹
- 1
- ›