scientific article; zbMATH DE number 1301762

zbMATH Open0928.03034MaRDI QIDQ4246977FDOQ4246977

Authors: Frédéric Koriche 

Publication date: 12 January 2000

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

Recommendations

• scientific article; zbMATH DE number 1844497
• scientific article; zbMATH DE number 1841825
• Knowledge compilation and theory approximation
• Anytime Approximations of Classical Logic from Above
• Resource bounded and anytime approximation of belief function computations.

zbMATH Keywords

anytime deductionanytime compilationreasoning in knowledge-based systems

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Cited In (3)

• Title not available (Why is that?)
• Optimal composition of real-time systems
• Title not available (Why is that?)

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 Q4246977)