Æȷοì
Paulo T. Guerra
Paulo T. Guerra
ufc.brÀÇ À̸ÞÀÏ È®ÀεÊ
Á¦¸ñ
Àοë
Àοë
¿¬µµ
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
92019
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
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–7