Pages that link to "Item:Q813086"
From MaRDI portal
The following pages link to A first order nonmonotonic extension of constructive logic (Q813086):
Displayed 6 items.
- Synonymous theories and knowledge representations in answer set programming (Q414849) (← links)
- Equilibrium logic (Q854969) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Characterising equilibrium logic and nested logic programs: Reductions and complexity, (Q3181745) (← links)
- Expressiveness of Logic Programs under the General Stable Model Semantics (Q5278207) (← links)
- Quantified Equilibrium Logic and Foundations for Answer Set Programs (Q5504679) (← links)