Nguyen Thi Minh Vu

Publications in Math-Net.Ru

1. Deduction algorithms for some extensions of Allen’s interval logic
   
   Artificial Intelligence and Decision Making, 2016, no. 1,  75–88