Explicit Negation in Linear-Dynamic Equilibrium Logic

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Gilberto Pérez, Concepción Vidal. Explicit Negation in Linear-Dynamic Equilibrium Logic. In Giuseppe De Giacomo, Alejandro Catalá, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugarín, Jérôme Lang, editors, ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020). Volume 325 of Frontiers in Artificial Intelligence and Applications, pages 569-576, IOS Press, 2020. [doi]

@inproceedings{AguadoCFPV20,
  title = {Explicit Negation in Linear-Dynamic Equilibrium Logic},
  author = {Felicidad Aguado and Pedro Cabalar and Jorge Fandinno and Gilberto Pérez and Concepción Vidal},
  year = {2020},
  doi = {10.3233/FAIA200140},
  url = {https://doi.org/10.3233/FAIA200140},
  researchr = {https://researchr.org/publication/AguadoCFPV20},
  cites = {0},
  citedby = {0},
  pages = {569-576},
  booktitle = {ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020)},
  editor = {Giuseppe De Giacomo and Alejandro Catalá and Bistra Dilkina and Michela Milano and Senén Barro and Alberto Bugarín and Jérôme Lang},
  volume = {325},
  series = {Frontiers in Artificial Intelligence and Applications},
  publisher = {IOS Press},
  isbn = {978-1-64368-101-6},
}