@inproceedings{DBLP:conf/ecai/AguadoCFPV20, title = {Explicit Negation in Linear-Dynamic Equilibrium Logic}, author = {Aguado, Felicidad and Cabalar, Pedro and Fandinno, Jorge and P{\'{e}}rez, Gilberto and Vidal, Concepci{\'{o}}n}, booktitle = {{ECAI}}, pages = {569--576}, publisher = {{IOS} Press}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {325}, year = {2020} }