scientific article; zbMATH DE number 820416
From MaRDI portal
Publication:4857159
zbMath0831.03013MaRDI QIDQ4857159
Publication date: 20 February 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
theory changeknowledge basebimodal logicbelief-revisionsubjunctive conditionalsemantic characterization of integrity constraintssubjunctive logicssubjunctive queriessubjunctive reasoning
Database theory (68P15) Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)
This page was built for publication: