11 citations · 32 across the 14 of their papers we have counts for
1 paper · 1 filter
Mikoláš Janota, Joao Marques-Silva, Radu Grigore
Circumscription is a representative example of a nonmonotonic reasoning inference technique. Circumscription has often been studied for first order theories, but its propositional…