Revision of CTL Models

• Grant number: 10/15392-3
• Support Opportunities: Scholarships in Brazil - Doctorate
• Start date: January 01, 2011
• End date: January 31, 2014
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Theory of Computation
• Principal Investigator: Renata Wassermann
• Grantee: Paulo de Tarso Guerra Oliveira
• Host Institution: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brazil
• Associated research grant: 08/03995-5 - Logprob: probabilistic logic --- foundations and computational applications, AP.TEM

Scientific publications

(4)

(References retrieved automatically from Web of Science and SciELO through information on FAPESP grants and their corresponding numbers as mentioned in the publications by the authors)

GUERRA, PAULO T.; WASSERMANN, RENATA. Two AGM-style characterizations of model repair. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, v. 87, n. 3, SI, p. 233-257, NOV 2019. (10/15392-3)

GUERRA, PAULO T.; WASSERMANN, RENATA; AAAI. Two AGM-Style Characterizations of Model Repair. 2022 25TH INTERNATIONAL CONFERENCE ON INFORMATION FUSION (FUSION 2022), v. N/A, p. 2-pg., 2018-01-01. (10/15392-3)

GUERRA, PAULO T.; WASSERMANN, RENATA. Two AGM-style characterizations of model repair. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, v. 87, n. 3, p. 25-pg., 2019-11-01. (10/15392-3)

GUERRA, PAULO T.; WASSERMANN, RENATA. Revising System Specifications in Temporal Logic. JOURNAL OF LOGIC LANGUAGE AND INFORMATION, v. 31, n. 4, p. 28-pg., 2022-08-06. (10/15392-3)

Academic Publications

(References retrieved automatically from State of São Paulo Research Institutions)

OLIVEIRA, Paulo de Tarso Guerra. Revision of temporal beliefs. 2016. Doctoral Thesis - Universidade de São Paulo (USP). Instituto de Matemática e Estatística (IME/SBI) São Paulo.