CoLab: A hybrid knowledge representation and compilation laboratory

DOI10.1007/BF02031716zbMath0844.68110OpenAlexW4236256738MaRDI QIDQ1897397

Knut Hinkelmann, Manfred Meyer, Philipp Hanschke, Harold Boley

Publication date: 5 September 1996

Published in: Annals of Operations Research (Search for Journal in Brave)

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

zbMATH Keywords

knowledge basesHorn logic

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (1)

Engineering and compiling planning domain models to promote validity and efficiency

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Maintaining knowledge about temporal intervals
• Attributive concept descriptions with complements
• The complexity of existential quantification in concept languages.
• A mechanical solution of Schubert's steamroller by many-sorted resolution
• Reasoning and revision in hybrid representation systems
• On the power of magic
• A generalization of the differential approach to recursive query evaluation
• Can programming be liberated from the von Neumann style?
• Synthesizing constraint expressions

This page was built for publication: CoLab: A hybrid knowledge representation and compilation laboratory