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

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

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
• Publication:5751985

Cited in

(5)

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

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)