scientific article; zbMATH DE number 92609

MaRDI QIDQ4018075zbMATH OpenFDO

Authors Cecylia Rauszer

Publication date 16 January 1993

zbMATH Keywords

information systemaxiomatizationsdecision logicknowledge representation system

Mathematics Subject Classification ID

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

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

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
• scientific article; zbMATH DE number 5728686 (Why is no real title available?)
• 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)