Pages that link to "Item:Q3426203"
From MaRDI portal
The following pages link to On the existence of stable models of non-stratified logic programs (Q3426203):
Displaying 11 items.
- FC-normal and extended stratified logic program (Q865986) (← links)
- A note on the stable model semantics for logic programs (Q1127348) (← links)
- Epistemic logic programs: a study of some properties (Q2694560) (← links)
- On the existence and unicity of stable models in normal residuated logic programs (Q2887039) (← links)
- A Selective Semantics for Logic Programs with Preferences (Q2915073) (← links)
- Characterizations of stable model semantics for logic programs with arbitrary constraint atoms (Q3183130) (← links)
- RASP and ASP as a fragment of linear logic (Q4583307) (← links)
- Stable-unstable semantics: Beyond NP with normal logic programs (Q4593043) (← links)
- (Q5020984) (← links)
- Answering the “why” in answer set programming – A survey of explanation approaches (Q5197747) (← links)
- Epistemic logic programs: a study of some properties (Q6656459) (← links)