Graph-based construction of minimal models.

Fabrizio Angiulli Rachel Ben-Eliyahu-Zohary Fabio Fassetti Luigi Palopoli

Published in: Artif. Intell. (2022)

Keyphrases

minimal models
propositional logic
logic programs
semi supervised
nonmonotonic reasoning
stable models
autoepistemic logic
expert systems
logic programming