150 citations · 619 across the 52 of their papers we have counts for
1 paper · 2 filters
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…