scientific article; zbMATH DE number 92609

zbMATH Open0768.68199MaRDI QIDQ4018075FDOQ4018075

Authors: Cecylia Rauszer 

Publication date: 16 January 1993

Title of this publication is not available (Why is that?)

Recommendations

• A Logic for Complete Information Systems
• Logics for information systems and their dynamic extensions
• Arrow Decision Logic for Relational Information Systems
• scientific article; zbMATH DE number 10091
• scientific article; zbMATH DE number 4114591

zbMATH Keywords

information systemaxiomatizationsdecision logicknowledge representation system

Mathematics Subject Classification ID

Knowledge representation (68T30) Database theory (68P15) Applications of computability and recursion theory (03D80)

Cited In (14)

• Rough Sets: From Rudiments to Challenges
• Informational logic for automated reasoning
• Arrow Decision Logic for Relational Information Systems
• A decidable first-order logic for knowledge representation
• Rudiments of rough sets
• A Logic for Complete Information Systems
• Logic Programming
• A decidable first-order logic for knowledge representation
• Logics for information systems and their dynamic extensions
• Introduction to logical information systems
• Logic-type decision implication
• Title not available (Why is that?)
• Logics of Complementarity in Information Systems
• A logical modeling system

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4018075)