Pages that link to "Item:Q5424874"
From MaRDI portal
The following pages link to Logic Programming and Nonmonotonic Reasoning (Q5424874):
Displaying 11 items.
- Synonymous theories and knowledge representations in answer set programming (Q414849) (← links)
- A first order nonmonotonic extension of constructive logic (Q813086) (← links)
- Equilibrium logic (Q854969) (← links)
- Equivalence for the \(G_3^\prime\)-stable models semantics (Q975880) (← links)
- Equivalence between answer-set programs under (partially) fixed input (Q1783736) (← links)
- Partial equilibrium logic (Q2457796) (← links)
- Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach (Q2642629) (← links)
- Equivalence of defeasible normative systems (Q4583306) (← links)
- Model-based recasting in answer-set programming (Q4583308) (← links)
- A denotational semantics for equilibrium logic (Q4593002) (← links)
- Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There (Q5504650) (← links)