Resolution for label-based formulas in hierarchical representation

DOI10.1007/BF03040963MaRDI QIDQ1882550zbMATH OpenOpenAlexFDO

Authors Ken Kaneiwa

Publication date 1 October 2004

Published in New Generation Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf03040963

zbMATH Keywords

Knowledge RepresentationLabel-based ExpressionsOrder-sorted LogicResolution SystemTerminological Knowledge

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• An order-sorted logic for knowledge representation systems
• Order-sorted logic programming with predicate hierarchy
• scientific article; zbMATH DE number 1330426
• scientific article; zbMATH DE number 67965
• scientific article; zbMATH DE number 67968

Cites work

• scientific article; zbMATH DE number 4049132 (Why is no real title available?)
• scientific article; zbMATH DE number 976352 (Why is no real title available?)
• scientific article; zbMATH DE number 2085285 (Why is no real title available?)
• A mechanical solution of Schubert's steamroller by many-sorted resolution
• A more expressive formulation of many sorted logic
• An order-sorted logic for knowledge representation systems
• An order-sorted resolution in theory and practice
• Attributive concept descriptions with complements
• Logical foundations of object-oriented and frame-based languages
• Login: a logic programming language with built-in inheritance
• Towards a meaning of life

Cited in

(2)

• An order-sorted logic for knowledge representation systems
• Order-sorted logic programming with predicate hierarchy

This page was built for publication: Resolution for label-based formulas in hierarchical representation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1882550)