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
172010
Toward the revision of CTL models through Kripke modal transition systems
PT Guerra, A Andrade, R Wassermann
Brazilian Symposium on Formal Methods, 115-130, 2013
52013
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 (to appear), 0
1
Two AGM-style characterizations of model repair
PT Guerra, R Wassermann
Annals of Mathematics and Artificial Intelligence 87 (3), 233-257, 2019
2019
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–5