Pages that link to "Item:Q4223455"
From MaRDI portal
The following pages link to Stable inference as intuitionistic validity (Q4223455):
Displaying 17 items.
- Equilibrium logic (Q854969) (← links)
- Equivalence for the \(G_3^\prime\)-stable models semantics (Q975880) (← links)
- Answer set programming in intuitionistic logic (Q1688962) (← links)
- Safe beliefs for propositional theories (Q1779312) (← links)
- An extension of the stable semantics via Lukasiewicz logic (Q2133458) (← links)
- On the limits of forgetting in answer set programming (Q2211850) (← links)
- A tableaux calculus for default intuitionistic logic (Q2305412) (← links)
- Possibilistic nested logic programs and strong equivalence (Q2344722) (← links)
- Semantics for possibilistic disjunctive programs (Q2845121) (← links)
- Modality Argumentation Programming (Q3619462) (← links)
- Brief study of G'<sub>3</sub> logic (Q3643367) (← links)
- First-order Answer Set Programming as Constructive Proof Search (Q4559822) (← links)
- Model-based recasting in answer-set programming (Q4583308) (← links)
- Stable reasoning (Q4586232) (← links)
- A logical approach to A-Prolog (Q4916215) (← links)
- Inconsistency Proofs for ASP: The ASP - DRUPE Format (Q5108508) (← links)
- Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 (Q6107287) (← links)