VLDB 2026 Research / reviewers in the wild / expert
Ana Teresa C. Martins
dblp:59/1719
· DBLP profile ↗
9ranked-venue papers
1as first author
1since 2021 · last 2021
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 9 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | Some Aspects of the Database Resilience
Luis Henrique Bustamante, Ana Teresa C. Martins |
ICTAC | 2 |
| 2020 | Synthesis of a DNF formula from a sample of strings using Ehrenfeucht-Fraïssé games
Thiago Alves Rocha, Ana Teresa C. Martins, Francicleber Martins Ferreira |
Theor. Comput. Sci. | 2 |
| 2020 | Synthesis of quantifier-free DNF sentences from inconsistent samples of strings with EF games and SAT
Thiago Alves Rocha, Ana Teresa C. Martins, Francicleber Martins Ferreira |
Theor. Comput. Sci. | 2 |
| 2018 | Parameterized Complexity of Some Prefix-Vocabulary Fragments of First-Order Logic
Luis Henrique Bustamante, Ana Teresa C. Martins, Francicleber Martins Ferreira |
WoLLIC | 2 |
| 2014 | Polynomial hierarchy graph properties in hybrid logic
Francicleber Martins Ferreira, Cibele Freire, Mario R. F. Benevides, Luis Menasché Schechter, Ana Teresa C. Martins |
J. Comput. Syst. Sci. | 5 |
| 2012 | Expressible preferential logicsabstractWe introduce expressible preferential logics, whose preference relations can be defined by some abstract logic. Abstract logics not only allow one to describe preference relations, but also classes of abstract preferential logics and give general proofs for properties common to all logics in these classes. Our approach follows that of Abstract Model Theory. We show that some well-known non-monotonic logics are preferential. We prove that they are elementary, which means that their preference relation can be defined in first-order logic. We study expressiveness and definability results for wide classes of abstract preferential logics in the spirit of Universal Logic. We present a collapse result for expressible preferential logics. We prove that, for a class of expressible preferential logics, if the class of minimal models of a finite set of sentences is Δ-L-expressible, then it is L-expressible, i.e. such class of models can be finitely axiomatized in L. Using this result, we show that under certain conditions one can axiomatize the class ℂ of minimal models of a finite set of sentences where some symbol P is defined using that set and an explicit definition for this symbol. Francicleber Martins Ferreira, Ana Teresa C. Martins |
J. Log. Comput. | 2 |
| 2011 | Hybrid Logics and NP Graph Properties
Francicleber Martins Ferreira, Cibele Freire, Mario R. F. Benevides, Luis Menasché Schechter, Ana Teresa C. Martins |
WoLLIC | 5 |
| 2011 | Recursive definitions and fixed-points on well-founded structures
Francicleber Martins Ferreira, Ana Teresa C. Martins |
Theor. Comput. Sci. | 2 |
| 2008 | Full classical S5 in natural deduction with weak normalization
Ana Teresa C. Martins, Lília Ramalho Martins |
Ann. Pure Appl. Log. | 1 |