scientific article; zbMATH DE number 1163485

MaRDI QIDQ4395036zbMATH OpenFDO

Authors Elisabeth Wette-Roch

Publication date 5 October 1998

zbMATH Keywords

bibliographic retrieval

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Knowledge representation (68T30)

Recommendations

• Logical-mathematical modeling of complex subject areas based on the logics vector semantics
• Logical structures from a model-theoretical viewpoint
• A mechanised abstract formalisation of concept lattices
• DESCRIPTION LOGICS OVER LATTICES
• Structured theory presentations and logic representations
• Model-Theoretic Logics
• Publication:3200598
• scientific article; zbMATH DE number 1670908
• A logical semantics for description logic programs
• The theoretical foundations of LPTP (a logic program theorem prover)

Cited in

(4)

• Systems of logical relations as models of object domains
• Mathematical logic of notions and concepts
• scientific article; zbMATH DE number 1686281 (Why is no real title available?)
• scientific article; zbMATH DE number 912710 (Why is no real title available?)

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