CoLab: A hybrid knowledge representation and compilation laboratory

DOI10.1007/BF02031716zbMATH Open0844.68110OpenAlexW4236256738MaRDI QIDQ1897397FDOQ1897397

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

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

zbMATH Keywords

knowledge basesHorn logic

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cites Work

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

Cited In (2)

• Engineering and compiling planning domain models to promote validity and efficiency
• Title not available (Why is that?)

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)