Pages that link to "Item:Q3546042"
From MaRDI portal
The following pages link to Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs (Q3546042):
Displaying 17 items.
- A framework for modular ERDF ontologies (Q360258) (← links)
- Characterizing strong equivalence for argumentation frameworks (Q420788) (← links)
- Stable models and circumscription (Q543596) (← links)
- Weight constraint programs with evaluable functions (Q645084) (← links)
- Extending and implementing the stable model semantics (Q1603743) (← links)
- On syntactic forgetting under uniform equivalence (Q2055801) (← links)
- Graph-based construction of minimal models (Q2093381) (← links)
- An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms (Q2124445) (← links)
- Applying Visible Strong Equivalence in Answer-Set Program Transformations (Q2900532) (← links)
- Connecting First-Order ASP and the Logic FO(ID) through Reducts (Q2900547) (← links)
- Solving Disjunctive Fuzzy Answer Set Programs (Q3449229) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)
- A model building framework for answer set programming with external computations (Q4593036) (← links)
- First-order modular logic programs and their conservative extensions (Q4593056) (← links)
- Stable models for infinitary formulas with extensional atoms (Q4593057) (← links)
- Modular Nonmonotonic Logic Programming Revisited (Q4649729) (← links)
- How to split a logic program (Q6647305) (← links)