scientific article; zbMATH DE number 1066727

zbMATH Open0878.03018MaRDI QIDQ4357748FDOQ4357748

Authors: András A. Benczúr, Á. B. Novák, P. Z. Revesz 

Publication date: 28 September 1997

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

Recommendations

• scientific article; zbMATH DE number 1453071
• Weighted model counting beyond two-variable logic
• scientific article; zbMATH DE number 1500518
• Weighted models for higher-order computation
• Modelling belief-revision functions at extended languages
• Description of the belief revisions based on the propositional model sets
• Quantitative refinement for weighted modal transition systems
• Weighted semiparameter model and its application
• Consistency-based revision of structured belief bases

zbMATH Keywords

revisionupdatefinite modelsminimal model changelogical theoryweighted knowledge basesweighted model-fitting

Mathematics Subject Classification ID

Knowledge representation (68T30) Model theory of finite structures (03C13) Logic in artificial intelligence (68T27) Other applications of logic (03B80)

Cited In (1)

• Hybrid possibilistic conditioning for revision under weighted inputs

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