По вашему запросу найдено документов: 19068
Страница 4 из 1907
Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTKUnification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK
Logical-semantic visual navigators - Aids for teachers. The purpose of this article is working out visual aids for a teacher, based on logical-semantical modeling
Unification in Linear Modal Logic on Non-transitive Time with the Universal ModalityWe investigate the question of unification in the linear modal logic on non-transitive time
Multi-agent automation system for monitoring, forecasting and managing emergency situationsThe paper outlines the general concept of multi-agent approach to develop the automation system
Theory and Practice of Multi-Agent Systems Construction and developing of multi-agent systems. Standards of multiagent systems are considered. Overview of systems
Agent Interaction Protocol of Hybrid Intelligent Multi-Agent System of Heterogeneous Thinking facilitator, namely hybrid intelligent multi-agent systems of heterogeneous thinking. The paper proposes
Multi-agent system for intelligent scheduling of the current scheduling models on the market are centralized. This paper exposes a way to use a multi agent
Logical-semantic visual navigators - Aids for teachers. The purpose of this article is working out visual aids for a teacher, based on logical-semantical modeling
BRANCHING TIME AGENTS’ LOGIC, SATISFIABILITY PROBLEM BY RULES IN REDUCED FORMBRANCHING TIME AGENTS’ LOGIC, SATISFIABILITY PROBLEM BY RULES IN REDUCED FORM
Methodological approaches to structural-logical analysis of interaction for business cycles methodological approaches to the structural-logical analysis of interaction for business cycles via the use
Страница 4 из 1907
Фасеты
Партнеры
Индексация
