Pages that link to "Item:Q1127348"
From MaRDI portal
The following pages link to A note on the stable model semantics for logic programs (Q1127348):
Displaying 21 items.
- Contributions to the stable model semantics of logic programs with negation (Q672705) (← links)
- Answer set based design of knowledge systems (Q854966) (← links)
- Default theories over monadic languages (Q860840) (← links)
- Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning (Q1024815) (← links)
- Stable and extension class theory for logic programs and default logics (Q1197387) (← links)
- The relationship between stable, supported, default and autoepistemic semantics for general logic programs (Q1199545) (← links)
- Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
- Extending and implementing the stable model semantics (Q1603743) (← links)
- Logic programs with stable model semantics as a constraint programming paradigm (Q1978008) (← links)
- A Free Logic for Stable Models with Partial Intensional Functions (Q2938505) (← links)
- Characterizations of stable model semantics for logic programs with arbitrary constraint atoms (Q3183130) (← links)
- On the existence of stable models of non-stratified logic programs (Q3426203) (← links)
- (Q3983046) (← links)
- Expressiveness of stable model semantics for disjunctive logic programs with functions (Q4371993) (← links)
- (Q4375823) (← links)
- Stable-unstable semantics: Beyond NP with normal logic programs (Q4593043) (← links)
- (Q4631191) (← links)
- A model of intuitionistic affine logic from stable domain theory (Q4632438) (← links)
- On the expressibility of stable logic programming (Q4815033) (← links)
- Abduction in well-founded semantics and generalized stable models via tabled dual programs (Q4819009) (← links)
- MICAI 2004: Advances in Artificial Intelligence (Q5901927) (← links)
