CoLab: A hybrid knowledge representation and compilation laboratory

DOI10.1007/BF02031716MaRDI QIDQ1897397zbMATH OpenOpenAlexFDO

Authors Harold Boley, Philipp Hanschke, Knut Hinkelmann, Manfred Meyer

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)

Recommendations

• Knowledge compilation and theory approximation
• A framework for method-specific knowledge compilation from databases
• scientific article; zbMATH DE number 549989
• A kind of logical compilation for knowledge bases
• scientific article; zbMATH DE number 1946853

Cites work

• scientific article; zbMATH DE number 3945331 (Why is no real title available?)
• scientific article; zbMATH DE number 67501 (Why is no real title available?)
• scientific article; zbMATH DE number 194542 (Why is no real title available?)
• A generalization of the differential approach to recursive query evaluation
• A mechanical solution of Schubert's steamroller by many-sorted resolution
• Attributive concept descriptions with complements
• Can programming be liberated from the von Neumann style?
• Maintaining knowledge about temporal intervals
• On the power of magic
• Reasoning and revision in hybrid representation systems
• Synthesizing constraint expressions
• The complexity of existential quantification in concept languages.

Cited in

(2)

• Engineering and compiling planning domain models to promote validity and efficiency
• scientific article; zbMATH DE number 4162313 (Why is no real title available?)

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

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