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}, }