Ana Teresa C. Martins

dblp:59/1719 · DBLP profile ↗
← Back
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
YearPublicationVenuePosition
2021 Some Aspects of the Database Resilience
Luis Henrique Bustamante, Ana Teresa C. Martins
ICTAC2
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
WoLLIC2
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 logics
abstract
We 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
WoLLIC5
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