Please use this identifier to cite or link to this item:
https://dspace.iiti.ac.in/handle/123456789/11530
| Title: | Logics for Temporal Information Systems in Rough Set Theory |
| Authors: | Khan, Md. Aquil Panda, Sibsankar |
| Keywords: | Approximation algorithms;Computer circuits;Information systems;Information use;Temporal logic;Approximation operators;Attribute values;Axiomati-sation;Complete axiomatizations;Complete information;Incomplete information systems;Missing information;Modal logic;Sound and complete;Temporal information;Rough set theory |
| Issue Date: | 2023 |
| Publisher: | Association for Computing Machinery |
| Citation: | Khan, M. A., Banerjee, M., & Panda, S. (2023). Logics for temporal information systems in rough set theory. ACM Transactions on Computational Logic, 24(1) doi:10.1145/3549075 |
| Abstract: | The article discusses temporal information systems (TISs) that add the dimension of time to complete or incomplete information systems. Through TISs, one can accommodate the possibility of domains or attribute values for objects changing with time or the availability of currently missing information with time. Different patterns of flow of information give different TISs. The corresponding logics with sound and complete axiomatization are presented. © 2023 Association for Computing Machinery. |
| URI: | https://doi.org/10.1145/3549075 https://dspace.iiti.ac.in/handle/123456789/11530 |
| ISSN: | 1529-3785 |
| Type of Material: | Journal Article |
| Appears in Collections: | Department of Computer Science and Engineering |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
Altmetric Badge: