What should a database know?

DOI10.1016/0743-1066(92)90049-9MaRDI QIDQ4015954zbMATH OpenOpenAlexFDO

Authors Raymond Reiter

Publication date 10 November 1992

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(92)90049-9

zbMATH Keywords

queriesintegrity constraintsmodality knows

Mathematics Subject Classification ID

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

Recommendations

• Publication:5203719
• On the semantics of the unknown
• A deontic approach to database integrity
• Publication:2766940
• Knowledgebase transformations

Cited in

(16)

• Disjunctive \(LP+\) integrity constraints = stable model semantics.
• Relating only knowing to minimal belief and negation as failure
• The case for psychologism in default and inheritance reasoning
• Thirty years of Epistemic Specifications
• Proving properties of states in the situation calculus
• The data complexity of ontology-mediated queries with closed predicates
• Unifying default reasoning and belief revision in a modal framework
• Multi-modal nonmonotonic logics of minimal knowledge
• Causes for query answers from databases: datalog abduction, view-updates, and integrity constraints
• Reasoning with an Incomplete Information Exchange Policy
• Local closed world reasoning with description logics under the well-founded semantics
• Minimal belief and negation as failure
• scientific article; zbMATH DE number 1696714 (Why is no real title available?)
• On the decidability and complexity of reasoning about only knowing
• Fuzzy autoepistemic logic and its relation to fuzzy answer set programming
• scientific article; zbMATH DE number 1748582 (Why is no real title available?)

This page was built for publication: What should a database know?

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