A logic LIS for complete information systems is proposed. The language of LIS contains constants corresponding to attribute and attribute-values. A sound and complete deductive system for the logic is presented. Decidability is also proved. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Khan, M. A., & Banerjee, M. (2009). A logic for complete information systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5590 LNAI, pp. 829–840). https://doi.org/10.1007/978-3-642-02906-6_71
Mendeley helps you to discover research relevant for your work.