Follow
Paulo T. Guerra
Paulo T. Guerra
Verified email at ufc.br
Title
Cited by
Cited by
Year
Revision of CTL models
PT Guerra, R Wassermann
Ibero-American Conference on Artificial Intelligence, 153-162, 2010
212010
Two AGM-style characterizations of model repair
PT Guerra, R Wassermann
Annals of Mathematics and Artificial Intelligence 87, 233-257, 2019
82019
Toward the revision of CTL models through Kripke modal transition systems
PT Guerra, A Andrade, R Wassermann
Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF …, 2013
62013
Revisao de modelos CTL
PT Guerra
Master's thesis, Universidade de São Paulo, 2010
52010
Belief revision on computation tree logic
PT Guerra, R Wassermann
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
42011
On the uncomputability of partial meet contraction for linear-time temporal logic
PT Guerra, R Wassermann
South American Journal of Logic 4 (2), 385-406, 2018
32018
Revising System Specifications in Temporal Logic
PT Guerra, R Wassermann
Journal of Logic, Language and Information 31 (4), 591-618, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–7