|
|||||
|
|
On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval Relations |
|
| Authors: | LI, RENWEI CARMO, JOSE |
| Affiliation: | Centre for Artificial Intelligence, UNINOVA, and Department of Computer Science, Universidade Nova de Lisboa 2825 Monte da Caparica, Portugal. E-mail: renwei{at}fct.unl.pt INESC, Rua Alves Redol 9, 1017 Lisboa Codex and Department of Mathematics IST, Av. Rovisco Pais, 1096 Lisboa Codex, Portugal. E-mail: jcc{at}inesc.pt |
| Abstract: | |
| Keywords: | temporal data time intervals positional operators absolute and relative temporal references completeness |
| 本文献已被 Oxford 等数据库收录！ | |