An implementation of inference in temporal branching time models

DOI10.1134/S1064230716060046zbMath1442.68221MaRDI QIDQ1745750

A. P. Eremeev, I. E. Kurilenko

Publication date: 18 April 2018

Published in: Journal of Computer and Systems Sciences International (Search for Journal in Brave)

zbMATH Keywords

inferencebranching-time modelreal-time intelligent decision support

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Cites Work

• Unnamed Item
• Unnamed Item
• Models of representation of temporal relations in intelligence decision support systems
• Temporal constraints: A survey
• Implementation of the temporal reasoning mechanism in modern intelligent systems
• Some basic principles of design of intelligent systems for supporting real-time decision making

This page was built for publication: An implementation of inference in temporal branching time models