scientific article; zbMATH DE number 92609

MaRDI QIDQ4018075zbMATH OpenFDO

Authors Cecylia Rauszer

Publication date 16 January 1993

zbMATH Keywords

axiomatizationsdecision logicinformation systemknowledge representation system

Mathematics Subject Classification ID

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

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)

• Introduction to logical information systems
• A decidable first-order logic for knowledge representation
• Logics for information systems and their dynamic extensions
• scientific article; zbMATH DE number 5728686 (Why is no real title available?)
• A Logic for Complete Information Systems
• Logics of Complementarity in Information Systems
• Logic-type decision implication
• Logic Programming
• Informational logic for automated reasoning
• Rough Sets: From Rudiments to Challenges
• Arrow Decision Logic for Relational Information Systems
• A decidable first-order logic for knowledge representation
• Rudiments of rough sets
• 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)