The following pages link to Logics in Artificial Intelligence (Q5394123):
Displaying 18 items.
- Inductive equivalence in clausal logic and nonmonotonic logic programming (Q413854) (← links)
- Equivalence issues in abduction and induction (Q833733) (← links)
- Strong order equivalence (Q854968) (← links)
- Hyperequivalence of logic programs with respect to supported models (Q1028652) (← links)
- Weak updates and separation logic (Q1758657) (← links)
- Equivalence between answer-set programs under (partially) fixed input (Q1783736) (← links)
- Solving logic program conflict through strong and weak forgettings (Q2457621) (← links)
- Updating Epistemic Logic Programs (Q3623225) (← links)
- Partial deduction of updateable definite logic programs (Q4289930) (← links)
- Model-based recasting in answer-set programming (Q4583308) (← links)
- (Q4955335) (← links)
- (Q4955336) (← links)
- (Q5020550) (← links)
- A Syntactic Operator for Forgetting that Satisfies Strong Persistence (Q5108521) (← links)
- Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There (Q5504650) (← links)
- Relativized Hyperequivalence of Logic Programs for Modular Programming (Q5504681) (← links)
- Program Correspondence under the Answer-Set Semantics: The Non-ground Case (Q5504682) (← links)
- (Q5856406) (← links)
