scientific article; zbMATH DE number 1546503
From MaRDI portal
Publication:4522247
zbMath0965.68095MaRDI QIDQ4522247
Patrick Doherty, Witold Łukaszewicz, Ewa Madalińska-Bugaj
Publication date: 19 December 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Temporal logic (03B44)
Related Items (4)
Belief Update Within Propositional Fragments ⋮ Propositional belief base update and minimal change ⋮ Knowledge forgetting: properties and applications ⋮ On Quantifying Literals in Boolean Logic and its Applications to Explainable AI
This page was built for publication: