Consistency checking of attention aware systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Yensen Limón' in GoogleThis author has not been identified. Look up 'Everardo Bárcenas' in GoogleThis author has not been identified. Look up 'Edgard Benítez-Guerrero' in GoogleThis author has not been identified. Look up 'Javier Gomez' in Google

runs on WebDSL