Computing protected circumscription

DOI10.1016/S0743-1066(85)80002-9zbMath0579.68054MaRDI QIDQ3702535

Jack Minker, Donald Perlis

Publication date: 1985

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

zbMATH Keywords

relational algebranonmonotonic reasoningdata basesprotected datapredicate completionHorn dataindefinite data

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Data structures (68P05) Information storage and retrieval of data (68P20)

Related Items

Inferring negative information from disjunctive databases, Dynamic reasoning with qualified syllogisms, Protected completions of first-order general logic programs, Relating minimal models and pre-requisite-free normal defaults, On the complexity of data disjunctions., Completeness results for circumscription