Equality and Domain Closure in First-Order Databases
From MaRDI portal
Publication:3883571
DOI10.1145/322186.322189zbMATH Open0441.68117OpenAlexW2059572526MaRDI QIDQ3883571FDOQ3883571
Authors: Raymond Reiter 
Publication date: 1980
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/322186.322189
relational databasesfirst-order logicequalityprojection operatordivision operatorindefinite answersclosed databasesdeductive question-answeringdefinite answers
Cited In (25)
- Parsing as non-Horn deduction
- Nonmonotonicity and the scope of reasoning
- Nested abnormality theories
- Value minimization in circumscription
- The open logic and its relation to circumscription
- A logical framework for depiction and image interpretation
- On the expressive power of database queries with intermediate types
- Type data bases with incomplete information
- Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning
- Inductive logic programming in databases: from Datalog to \(\mathcal {DL} + \text{LOG}^{\neg \vee}\)
- Completeness results for circumscription
- Only persistence makes nonmonotonicity monotonous (extended abstract)
- Formal considerations of rule-based messaging for business process integration
- Analysing inconsistent first-order knowledgebases
- Applying the persistent set approach in temporal reasoning
- Foundations of Onto-Relational Learning
- Saturation, nonmonotonic reasoning and the closed-world assumption
- Closed-world databases and circumscription
- Probabilistic Horn abduction and Bayesian networks
- Proving semantic properties as first-order satisfiability
- Certain answers as objects and knowledge
- Closed world assumptions having precedence in predicates
- Actors, actions, and initiative in normative system specification
- Hybrid reasoning using universal attachment
- Minimalism, justification and non-monotonicity in deductive databases
This page was built for publication: Equality and Domain Closure in First-Order Databases
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3883571)
