scientific article; zbMATH DE number 4166928

MaRDI QIDQ3493314zbMATH OpenFDO

Authors Arcot Rajasekar, Jorge Lobo, Jack Minker

Publication date 1989

zbMATH Keywords

disjunctive programsHorn clausesnon-monotonic reasoningskeptical reasoning

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• Skeptical rational extensions
• Resolution for skeptical stable model semantics
• An abductive approach to disjunctive logic programming
• Non-monotonic extensions of logic programming. ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected papers
• Skeptical, weakly skeptical, and credulous inference based on preferred ranking functions

Cited in

(6)

• Jack Minker --- A profile
• Negation as failure for disjunctive logic programming
• Skeptical query-answering in Constrained Default Logic
• scientific article; zbMATH DE number 1844500 (Why is no real title available?)
• Resolution for skeptical stable model semantics
• Skepticism and floating conclusions

This page was built for publication:

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