David Lobo

Stratified extended multi-adjoint logic programming

2024 · Fuzzy Sets and Systems

Extended multi-adjoint logic programming is a non-monotonic logic programming framework whose semantics is defined in terms of stable models. This paper will focus on the theoretical development of a syntactical sufficient condition for the existence …