Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, Javier Gomez. Consistency checking of attention aware systems. In Mauricio Javier Osorio Galindo, José Raymundo Marcial-Romero, Claudia Zepeda Cortés, Pilar Pozos Parra, editors, Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019. Volume 2585 of CEUR Workshop Proceedings, pages 13-23, CEUR-WS.org, 2019. [doi]
@inproceedings{LimonBBG19,
title = {Consistency checking of attention aware systems},
author = {Yensen Limón and Everardo Bárcenas and Edgard Benítez-Guerrero and Javier Gomez},
year = {2019},
url = {http://ceur-ws.org/Vol-2585/paper2.pdf},
researchr = {https://researchr.org/publication/LimonBBG19},
cites = {0},
citedby = {0},
pages = {13-23},
booktitle = {Proceedings of the Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2019},
editor = {Mauricio Javier Osorio Galindo and José Raymundo Marcial-Romero and Claudia Zepeda Cortés and Pilar Pozos Parra},
volume = {2585},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}