Enviar artigo por via de e-mail Deduction Algorithms for Some Extensions of Allen’s Interval Logic
- Autores: Plesniewicz G.S.1, Nguyen Thi Minh Vu 1
-
Afiliações:
- National Research University Moscow Power Engineering Institute (MPEI)
- Edição: Volume 44, Nº 5 (2017)
- Páginas: 345-356
- Seção: Article
- URL: https://journals.rcsi.science/0147-6882/article/view/175283
- DOI: https://doi.org/10.3103/S0147688217050100
- ID: 175283
Citar
Acesso aberto
Acesso está concedido
Somente assinantes
Resumo
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.
Palavras-chave
Sobre autores
G. Plesniewicz
National Research University Moscow Power Engineering Institute (MPEI)
Autor responsável pela correspondência
Email: salve777@mail.ru
Rússia, Moscow, 111250
Nguyen Thi Minh Vu
National Research University Moscow Power Engineering Institute (MPEI)
Email: salve777@mail.ru
Rússia, Moscow, 111250
Arquivos suplementares
