Updates and subjunctive queries

DOI10.1006/inco.1995.1017zbMath0939.68611OpenAlexW1997519872MaRDI 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

Mathematics Subject Classification ID

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

Related Items (4)

Unifying default reasoning and belief revision in a modal framework ⋮ An overview of transaction logic ⋮ Knowledgebase transformations ⋮ On the complexity of propositional knowledge base revision, updates, and counterfactuals

This page was built for publication: Updates and subjunctive queries