Evaluation of queries under closed-world assumption

DOI10.1023/A:1005723423016zbMATH Open0884.03030OpenAlexW1559192138MaRDI QIDQ1367075

Marek A. Suchenek

Publication date: 1 April 1998

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005723423016

zbMATH Keywords

deductive databasecomputational feasibilityfirst-order consequence operationminimal indefinite Herbrand modelparallel positive resolution

Mathematics Subject Classification ID

Database theory (68P15) Abstract deductive systems (03B22) Other applications of logic (03B80)

Related Items (1)

Finite Open-World Query Answering with Number Restrictions

This page was built for publication: Evaluation of queries under closed-world assumption

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