Listar por tema "Explicit negation"
Mostrando ítems 1-1 de 1
-
Revisiting Explicit Negation in Answer Set Programming
(Cambridge University Press, 2019-09)[Abstract] A common feature in Answer Set Programming is the use of a second negation, stronger than default negation and sometimes called explicit, strong or classical negation. This explicit negation is normally used in ...