scientific article; zbMATH DE number 2140435

MaRDI QIDQ4654271zbMATH OpenFDO

Authors Paolo Liberatore, Marco Schaerf

Publication date 3 March 2005

zbMATH Keywords

propositional knowledge base

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• The size of a revised knowledge base
• scientific article; zbMATH DE number 1500518
• Belief revision and update: Complexity of model checking
• Compilability and compact representations of revision of Horn knowledge bases
• scientific article; zbMATH DE number 4187148

Cited in

(7)

• The size of a revised knowledge base
• Complexity of model checking for cardinality-based belief revision operators
• scientific article; zbMATH DE number 1301607 (Why is no real title available?)
• scientific article; zbMATH DE number 1500518 (Why is no real title available?)
• scientific article; zbMATH DE number 1509480 (Why is no real title available?)
• Contraction, Revision, Expansion: Representing Belief Change Operations
• Compilability and compact representations of revision of Horn knowledge bases

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