По вашему запросу найдено документов: 10242
Страница 1 из 1025
TEMPORAL LOGIC WITH OVERLAP TEMPORAL RELATIONS GENERATED BY TIME STATES THEMSELVESAbstract.
We study a temporal logic with non–standard temporal
accessibility relations. This logic
Multi-Agent Logics with Multi-Valuations and Intensional Logical OperationsWe consider a multi-agent logic based on linear temporal logic. This logic uses
as the semantics
Temporal multi-valued logic with lost worlds in the pastWe study many–valued temporal multi–agent logics based on non-transitive models. The semantical
The Algorithm to Retrieve Temporal Cases for Temporal Case-Based ReasoningIn this paper the problem of the application of
temporal reasoning and case-based reasoning (CBR
Satisfiability in a Temporal Multi-valueted Logic Based on Z-agent system. We prove that the satisfiability problem is decidable in a temporal
multi-valueted logic based
Multi-Agents’ Temporal Logic using Operations of Static Agents’ KnowledgeWe study an agents’ temporal logic with non-standard none-transitive temporal accessibility
Interval Multi-agent Logic with Reliability OperatorWe study intransitive temporal multi-agent logic with agents’ multi-valuations for formulas
letters
Modeling of Reasoning a Cognitive Agent with Significant Time Restrictions of active logic has been introduced. The method of representing agent’s temporal non-monotonous reasoning
«EVENT CALCULUS» AS A TOOL TO BUILD RULES OF INTERPRETATION OF TEMPORAL SEMANTICS OF CONTEMPORARY RUSSIAN LANGUAGE CONSTRUCTIONSIn this article a project aimed to build an ontology comprising computable rules of temporal
Разработка методов рассуждений на основе темпоральных прецедентов для интеллектуальных систем the temporal reasoning extension
of the case-based reasoning. This work was financially
supported by RFBR.
Страница 1 из 1025
Фасеты
Партнеры
Индексация
