The following pages link to Logics in Artificial Intelligence (Q5394122):
Displaying 17 items.
- Strong order equivalence (Q854968) (← links)
- Equilibrium logic (Q854969) (← links)
- LARS: a logic-based framework for analytic reasoning over streams (Q1648076) (← links)
- Equivalence between answer-set programs under (partially) fixed input (Q1783736) (← links)
- Equivalence Between Answer-Set Programs Under (Partially) Fixed Input (Q2807074) (← links)
- Applying Visible Strong Equivalence in Answer-Set Program Transformations (Q2900532) (← links)
- Preserving Strong Equivalence while Forgetting (Q2938510) (← links)
- Well-Founded and Partial Stable Semantics Logical Aspects (Q3392936) (← links)
- Model-based recasting in answer-set programming (Q4583308) (← links)
- Inlining External Sources in Answer Set Programs (Q4957183) (← links)
- Semantical characterizations and complexity of equivalences in answer set programming (Q5277782) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424867) (← links)
- A common view on strong, uniform, and other notions of equivalence in answer-set programming (Q5451973) (← links)
- Logic Programming (Q5475778) (← links)
- Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence (Q5504680) (← links)
- Program Correspondence under the Answer-Set Semantics: The Non-ground Case (Q5504682) (← links)
- Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs (Q6063883) (← links)
