scientific article; zbMATH DE number 4112075

MaRDI QIDQ3835054zbMATH OpenFDO

Authors Antoni Wiweger

Publication date 1988

Mathematics Subject Classification ID

Structure theory of lattices (06B05) Categories of machines, automata (18B20) Information storage and retrieval of data (68P20) Learning and adaptive systems in artificial intelligence (68T05) Artificial intelligence (68T99)

Recommendations

• scientific article; zbMATH DE number 35427
• Modal logics for knowledge representation systems
• scientific article; zbMATH DE number 2200719
• scientific article; zbMATH DE number 1241674
• scientific article; zbMATH DE number 3876644

Cited in

(15)

• A kind of logical compilation for knowledge bases
• A duality between Pawlak's knowledge representation systems and bi-consequence systems
• A logic-algebraic tool for reasoning with knowledge-based systems
• F-K system of knowledge representation
• scientific article; zbMATH DE number 1670886 (Why is no real title available?)
• Expressive power of knowledge representation systems
• scientific article; zbMATH DE number 35427 (Why is no real title available?)
• scientific article; zbMATH DE number 53733 (Why is no real title available?)
• scientific article; zbMATH DE number 68125 (Why is no real title available?)
• scientific article; zbMATH DE number 549989 (Why is no real title available?)
• The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description)
• scientific article; zbMATH DE number 7156220 (Why is no real title available?)
• The DLV system for knowledge representation and reasoning
• Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic
• Invariant characters of information systems under some homomorphisms

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 Q3835054)