collaborators

1 paper

cs.LO2025

Graphical Conditions for the Existence, Unicity and Number of Regular Models

Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman +1

The regular models of a normal logic program are a particular type of partial (i.e. 3-valued) models which correspond to stable partial models with minimal undefinedness. In this p…