Advanced search
Start date
Betweenand

Revision of CTL Models

Grant number: 10/15392-3
Support type: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 researcher:Renata Wassermann
Grantee:Paulo de Tarso Guerra Oliveira
Home 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
(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. Web of Science Citations: 0.

Please report errors in scientific publications list by writing to: cdi@fapesp.br.