Inferring negative information from disjunctive databases

DOI10.1007/BF00297247zbMath0662.68101OpenAlexW1967701834MaRDI QIDQ1114440

Rodney W. Topor, Kenneth A. Ross

Publication date: 1988

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

Full work available at URL: https://doi.org/10.1007/bf00297247

zbMATH Keywords

inference rulenegationclosed world assumptiondeductive databasesnegative informationdisjunctive databasesindefinite database

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Information storage and retrieval of data (68P20)

Related Items

Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete, An alternative approach to the semantics of disjunctive logic programs and deductive databases, Reasoning under minimal upper bounds in propositional logic, Static semantics for normal and disjunctive logic programs, On the computational cost of disjunctive logic programming: Propositional case, Logic programming and reasoning with incomplete information, Autoepistemic logic of knowledge and beliefs, Stable classes and operator pairs for disjunctive programs, Generalized closed world assumption is \(\Pi ^ 0_ 2\)-complete, Paraconsistent disjunctive deductive databases, Query evaluation in probabilistic relational databases, Parsing as non-Horn deduction, Weak generalized closed world assumption, An abductive framework for negation in disjunctive logic programming, Characterizing D-WFS: Confluence and iterated GCWA, Interpreting disjunctive logic programs based on a strong sense of disjunction

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the relationship between circumscription and negation as failure
• Deduction in non-Horn databases
• Computing protected circumscription
• A basis for deductive database systems
• Horn clause queries and generalizations
• A basis for deductive database systems II
• Deleting Repeated Goals in the Problem Reduction Format
• The Semantics of Predicate Logic as a Programming Language