Pages that link to "Item:Q5424881"
From MaRDI portal
The following pages link to Logic Programming and Nonmonotonic Reasoning (Q5424881):
Displayed 9 items.
- Synonymous theories and knowledge representations in answer set programming (Q414849) (← links)
- Characterizing strong equivalence for argumentation frameworks (Q420788) (← links)
- Updating action domain descriptions (Q622109) (← links)
- Equilibrium logic (Q854969) (← links)
- Default logic generalized and simplified (Q1028638) (← links)
- An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms (Q2124445) (← links)
- Shedding new light on the foundations of abstract argumentation: modularization and weak admissibility (Q2163881) (← links)
- Open Problems in Abstract Argumentation (Q5172624) (← links)
- Static and dynamic orderings on Dungean argumentation frameworks -- an overview (Q6064253) (← links)