The F-logic approach for description languages

DOI10.1007/BF01535840zbMath0861.68094MaRDI QIDQ1924824

Mira Balaban

Publication date: 19 May 1997

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

F-logicdescription languagesframe-logic

Mathematics Subject Classification ID

Knowledge representation (68T30)

Uses Software

• HiLog

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Attributive concept descriptions with complements
• Computational complexity of terminological reasoning in BACK
• The KL-ONE family
• Terminological reasoning is inherently intractable
• HiLog: A foundation for higher-order logic programming
• Logical foundations of object-oriented and frame-based languages

This page was built for publication: The F-logic approach for description languages