scientific article; zbMATH DE number 1066727

MaRDI QIDQ4357748zbMATH OpenFDO

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

Publication date 28 September 1997

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)

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

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)