Pages that link to "Item:Q1776197"
From MaRDI portal
The following pages link to Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics (Q1776197):
Displaying 6 items.
- Skeptical reasoning in FC-normal logic programs is \(\Pi_1^1\)-complete (Q2711328) (← links)
- A sequent calculus for skeptical Default Logic (Q4610318) (← links)
- Skeptical query-answering in Constrained Default Logic (Q4632323) (← links)
- (Q4707769) (← links)
- On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP (Q5504658) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5900658) (← links)