Updates and subjunctive queries

DOI10.1006/INCO.1995.1017MaRDI QIDQ1891151zbMATH OpenOpenAlexFDO

Authors 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

Mathematics Subject Classification ID

Database theory (68P15) Knowledge representation (68T30)

Cited in

(4)

• 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
• Knowledgebase transformations

This page was built for publication: Updates and subjunctive queries

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1891151)