activity
20022026
most citedAn Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence

2 citations · 6 across the 13 of their papers we have counts for

collaborators
Showing 2025Show all

1 paper · 1 filter

cs.AI2025

Inductive Learning for Possibilistic Logic Programs Under Stable Models

Hongbo Hu, Yisong Wang, Yi Huang +1

Possibilistic logic programs (poss-programs) under stable models are a major variant of answer set programming (ASP). While its semantics (possibilistic stable models) and properti…