Paulo T. Guerra

According to our database, Paulo T. Guerra authored at least 7 papers between 2010 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Revising System Specifications in Temporal Logic.

Paulo T. Guerra, Renata Wassermann

J. Log. Lang. Inf., 2022

2019

Time Series Forecasting to Support Irrigation Management.

Dieinison Jack Freire Braga, Ticiana L. Coelho da Silva, Atslands Rego da Rocha, Gustavo Coutinho, Regis Pires Magalhães, Paulo T. Guerra, José A. F. de Macêdo, Simone D. J. Barbosa

J. Inf. Data Manag., 2019

Two AGM-style characterizations of model repair.

Paulo T. Guerra, Renata Wassermann

Ann. Math. Artif. Intell., 2019

2018

Time Series Forecasting for Purposes of Irrigation Management Process.

Dieinison Jack Freire Braga, Ticiana L. Coelho da Silva, Atslands Rego da Rocha, Gustavo Coutinho, Regis Pires Magalhães, Paulo T. Guerra, José A. F. de Macêdo

Proceedings of the XXXIII Simpósio Brasileiro de Banco de Dados, 2018

2013

Toward the Revision of CTL Models through Kripke Modal Transition Systems.

Paulo T. Guerra, Aline Andrade, Renata Wassermann

Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

2011

Belief Revision on Computation Tree Logic.

Paulo T. Guerra, Renata Wassermann

Proceedings of the IJCAI 2011, 2011

2010

Revision of CTL Models.

Paulo T. Guerra, Renata Wassermann

Proceedings of the Advances in Artificial Intelligence, 2010