scientific article; zbMATH DE number 2086980

MaRDI QIDQ4737597zbMATH OpenFDO

Authors Bruno Zanuttini

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2371/23710242.htm

Mathematics Subject Classification ID

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

Recommendations

• Semantical and computational aspects of Horn approximations
• Knowledge compilation and theory approximation
• On the hardness of approximate reasoning
• Reasoning with models
• scientific article; zbMATH DE number 512816

Cited in

(6)

• The approximation of implicates and explanations
• Horn approximations of empirical data
• Information loss in knowledge compilation: a comparison of Boolean envelopes
• First order LUB approximations: characterization and algorithms
• What makes propositional abduction tractable
• The universe of propositional approximations

This page was built for publication:

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