scientific article; zbMATH DE number 67965

MaRDI QIDQ4013974zbMATH OpenFDO

Authors Ulrich Hedtstück, Peter H. Schmitt

Publication date 27 September 1992

zbMATH Keywords

order-sorted predicate logicresolution-based deduction systemsort literals

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Logic in artificial intelligence (68T27)

Recommendations

• Computational aspects of an order-sorted logic with term declarations
• Order-sorted logic programming with predicate hierarchy
• scientific article; zbMATH DE number 67964
• A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation
• Ordering protoalgebraic logics
• A Fixpoint Semantics for Ordered Logic
• scientific article; zbMATH DE number 1324435
• An order-sorted logic for knowledge representation systems
• scientific article; zbMATH DE number 1795986
• scientific article; zbMATH DE number 4164128

Cited in

(12)

• An order-sorted logic for knowledge representation systems
• Completing sort hierarchies
• An order-sorted resolution in theory and practice
• Computational aspects of an order-sorted logic with term declarations
• Resolution for label-based formulas in hierarchical representation
• scientific article; zbMATH DE number 3887106 (Why is no real title available?)
• scientific article; zbMATH DE number 4168655 (Why is no real title available?)
• scientific article; zbMATH DE number 67962 (Why is no real title available?)
• scientific article; zbMATH DE number 1330426 (Why is no real title available?)
• scientific article; zbMATH DE number 1348474 (Why is no real title available?)
• scientific article; zbMATH DE number 549956 (Why is no real title available?)
• Order-sorted logic programming with predicate hierarchy

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