Deduction Algorithms for Some Extensions of Allen’s Interval Logic |
| |
| Authors: | G S Plesniewicz Nguyen Thi Minh Vu |
| |
| Institution: | 1.National Research University Moscow Power Engineering Institute (MPEI),Moscow,Russia |
| |
| Abstract: | This paper considers Allen’s interval logic language and the languages whose statements are Boolean combinations of Allen’s logic statements, possibly, with metric information. Some deduction algorithms for the languages are presented. The algorithms are based on the analytic tableaux method. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
