Structural and temporal inference search (STIS)

2012 ◽  
Author(s):  
Chreston Miller ◽  
Louis-Philippe Morency ◽  
Francis Quek
Keyword(s):  
Inference Search ◽  
Temporal Inference

scholarly journals SciNetS Search : Inference Search over an Integrated Life-sciences Database Based on the Semantic Web

2010 ◽  
Author(s):  
Tetsuro Toyoda ◽  
Norio Kobayashi ◽  
Manabu Ishii ◽  
Yuko Yoshida ◽  
Yuko Makita ◽  
...  
Keyword(s):  
Semantic Web ◽  
Life Sciences ◽  
Inference Search

scholarly journals The construction of controllable sublanguage of specification for DES via PCFs based inference

2020 ◽  
Author(s):  
A. Davydov ◽  
A. Larionov ◽  
N. Nagul
Keyword(s):  
Discrete Event Systems ◽  
Discrete Event ◽  
Logical Inference ◽  
System A ◽  
Event Systems ◽  
Inference Search ◽  
The Given

The paper considers how methods of a logical inference search in the calculus of positively constructed formulas may be applied to represent and study discrete event systems. The formalisms of discrete event systems and positively constructed formulas are briefly described. A method for constructing a product of automata using constructive inference in the positively constructed formulas calculus is proposed. Based on the given specication on the behaviour of the system, a method for constructing a supremal controllable sublanguage of the specication is presented.

Sign in / Sign up

Export Citation Format

Share Document