Updates and subjunctive queries
From MaRDI portal
Publication:1891151
DOI10.1006/inco.1995.1017zbMath0939.68611MaRDI QIDQ1891151
Gösta Grahne, Alberto O. Mendelzon
Publication date: 4 July 2000
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1995.1017
Related Items
Knowledgebase transformations, On the complexity of propositional knowledge base revision, updates, and counterfactuals, Unifying default reasoning and belief revision in a modal framework, An overview of transaction logic