Resolution for label-based formulas in hierarchical representation

DOI10.1007/BF03040963zbMath1088.68164OpenAlexW2001458234MaRDI QIDQ1882550

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

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Attributive concept descriptions with complements
• 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
• Login: a logic programming language with built-in inheritance
• Logical foundations of object-oriented and frame-based languages
• Towards a meaning of life

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