scientific article; zbMATH DE number 140405

MaRDI QIDQ4028814zbMATH OpenFDO

Authors Karen L. Myers

Publication date 28 March 1993

zbMATH Keywords

knowledge representationreasoning frameworks

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• Hybrid reasoning using universal attachment
• The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
• A hybrid reasoning system for terminologies and first-order clauses in knowledge bases
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• Combining semantical and syntactical theory reasoning

Cited in

(2)

• The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
• Hybrid reasoning using universal attachment

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