Pages that link to "Item:Q2644415"
From MaRDI portal
The following pages link to A characterization of answer sets for logic programs (Q2644415):
Displaying 7 items.
- Answer set programming in intuitionistic logic (Q1688962) (← links)
- Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs (Q2900518) (← links)
- (Q3464628) (← links)
- (Q4225123) (← links)
- Characterizing and extending answer set semantics using possibility theory (Q4592973) (← links)
- Semantical characterizations and complexity of equivalences in answer set programming (Q5277782) (← links)
- Witnesses for Answer Sets of Logic Programs (Q5886522) (← links)