scientific article; zbMATH DE number 1546503

zbMATH Open0965.68095MaRDI QIDQ4522247FDOQ4522247

Authors: Patrick Doherty, Witold Łukaszewicz, Ewa Madalińska-Bugaj 

Publication date: 19 December 2000

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

Recommendations

• Deriving properties of belief update from theories of action
• Representing action and change by logic programs
• Updating action domain descriptions
• Revision and action
• Update by means of inference rules

zbMATH Keywords

nonmonotonic temporal logics

Mathematics Subject Classification ID

Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Temporal logic (03B44)

Cited In (4)

• Propositional belief base update and minimal change
• Knowledge forgetting: properties and applications
• Belief update within propositional fragments
• On quantifying literals in Boolean logic and its applications to explainable AI

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