Explicit Negation in Linear-Dynamic Equilibrium Logic.

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Gilberto Prez, Concepcin Vidal

Browse the full ECAI paper archive.