scientific article; zbMATH DE number 2086980

zbMATH Open1077.68851MaRDI QIDQ4737597FDOQ4737597

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

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)