1,055 research outputs found

    Domains with Complicated Structures and Their Ontologies

    Get PDF
    The article defines the class of domains with complicated structures, gives the definition of multilevel ontologies and determines the method for developing such ontologies

    Crater fields on Venus, Earth and Mars.

    No full text
    Published versio

    The largest meteorites on Earth.

    No full text
    Accepted versio

    Parallelization of Logical Inference for Confluent Rule-based System

    Get PDF
    * This paper was made according to the program № 14 of fundamental scientific research of the Presidium of the Russian Academy of Sciences, the project 06-I-П14-052The article describes the research aimed at working out a program system for multiprocessor computers. The system is based on the confluent declarative production system. The article defines some schemes of parallel logical inference and conditions affecting scheme choice
    corecore