Advanced search
Start date
Betweenand

Revision of CTL Models

Grant number: 10/15392-3
Support Opportunities:Scholarships in Brazil - Doctorate
Effective date (Start): January 01, 2011
Effective date (End): 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
News published in Agência FAPESP Newsletter about the scholarship:
Articles published in other media outlets (0 total):
More itemsLess items
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)

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, p. 25-pg., . (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., . (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, SI, p. 233-257, . (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., . (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.

Please report errors in scientific publications list using this form.