scientific article; zbMATH DE number 2140435

zbMATH Open1097.68125MaRDI QIDQ4654271FDOQ4654271

Authors: Paolo Liberatore, Marco Schaerf 

Publication date: 3 March 2005

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

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

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)

Cited In (5)

• Compilability and compact representations of revision of Horn knowledge bases
• The size of a revised knowledge base
• Contraction, Revision, Expansion: Representing Belief Change Operations
• Title not available (Why is that?)
• Complexity of model checking for cardinality-based belief revision operators

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)