Ana Teresa C. Martins

Publication Activity (10 Years)

Years Active: 1996-2021
Publications (10 Years): 11

Top Topics

Decision Problems

Quantifier Elimination

Polynomial Hierarchy

Top Venues

Theor. Comput. Sci.

J. Comput. Syst. Sci.

Publications

Bruno Menezes, Ana Teresa C. Martins, Thiago Alves Rocha
A Two-Level Approach Based on Model Checking to Support Architecture Conformance Checking. SBMF (2021)
Luis Henrique Bustamante, Ana Teresa C. Martins
Some Aspects of the Database Resilience. ICTAC (2021)
Thiago Alves Rocha, Ana Teresa C. Martins, Francicleber Martins Ferreira
Synthesis of a DNF formula from a sample of strings using Ehrenfeucht-Fraïssé games. Theor. Comput. Sci. 805 (2020)
Thiago Alves Rocha, Ana Teresa C. Martins, Francicleber Martins Ferreira
Synthesis of quantifier-free DNF sentences from inconsistent samples of strings with EF games and SAT. Theor. Comput. Sci. 843 (2020)
Thiago Alves Rocha, Ana Teresa C. Martins
Synthesis of Quantifier-Free First-Order Sentences from Noisy Samples of Strings. BRACIS (2019)
Luis Henrique Bustamante, Ana Teresa C. Martins, Francicleber Martins Ferreira
Parameterized Complexity of Some Prefix-Vocabulary Fragments of First-Order Logic. WoLLIC (2018)
Thiago Alves Rocha, Ana Teresa C. Martins, Francicleber Martins Ferreira
On Distinguishing Sets of Structures by First-Order Sentences of Minimal Quantifier Rank. LSFA (2018)
Thiago Alves Rocha, Ana Teresa C. Martins, Francicleber Martins Ferreira
Synthesis of a DNF Formula From a Sample of Strings. BRACIS (2018)
Thiago Alves Rocha, Ana Teresa C. Martins, Francicleber Martins Ferreira
On Finding a First-Order Sentence Consistent with a Sample of Strings. GandALF (2018)
Arnaldo Araújo, Ana Teresa C. Martins, Davi Romero
First-Order Logic for Decision Problems with Preference Aggregation. BRACIS (2016)
Márcia Farias, Ana Teresa C. Martins, Francicleber Martins Ferreira
The Descriptive Complexity of Decision Problems through Logics with Relational Fixed-Point and Capturing Results. LSFA (2016)
Henrique Viana, João F. L. Alcântara, Ana Teresa C. Martins
Searching contexts in paraconsistent rough description logic. J. Braz. Comput. Soc. 21 (1) (2015)
Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, Luis Menasché Schechter, Ana Teresa C. Martins
Polynomial hierarchy graph properties in hybrid logic. J. Comput. Syst. Sci. 80 (6) (2014)
Debora Farias Frota, Ana Teresa C. Martins, João F. L. Alcântara, Luis Henrique Bustamante
An ALC Description Default Logic with Exceptions-First. BRACIS (2014)
Henrique Viana, João F. L. Alcântara, Ana Teresa C. Martins
Searching Contexts in Rough Description Logics. BRACIS (2013)
Francicleber Martins Ferreira, Ana Teresa C. Martins
Expressible preferential logics. J. Log. Comput. 22 (5) (2012)
Francicleber Martins Ferreira, Ana Teresa C. Martins
Recursive definitions and fixed-points on well-founded structures. Theor. Comput. Sci. 412 (37) (2011)
Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, Luis Menasché Schechter, Ana Teresa C. Martins
Hybrid Logics and NP Graph Properties. WoLLIC (2011)
Henrique Viana, João F. L. Alcântara, Ana Teresa C. Martins
Paraconsistent Rough Description Logic. Description Logics (2011)
Henrique Viana, Thiago Alves Rocha, João F. L. Alcântara, Ana Teresa C. Martins
A Tractable Paraconsistent Fuzzy Description Logic. URSW (2010)
Cibele Matos Freire, Ana Teresa C. Martins
The Descriptive Complexity of the Deterministic Exponential Time Hierarchy. LSFA (2010)
Alexandre Matos Arruda, Ana Teresa C. Martins
Natural deduction for the finite least fixed point logic with an infinitary rule. Log. J. IGPL 17 (5) (2009)
Ana Teresa C. Martins, Lília Ramalho Martins
Full classical S5 in natural deduction with weak normalization. Ann. Pure Appl. Log. 152 (1-3) (2008)
Francicleber Martins Ferreira, Ana Teresa C. Martins
Recursive Definitions and Fixed-Points. LSFA (2008)
Francicleber Martins Ferreira, Ana Teresa C. Martins
On Minimal Models. Log. J. IGPL 15 (5-6) (2007)
Alexandre Matos Arruda, Ana Teresa C. Martins
An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models. LSFA (2007)
Ana Teresa C. Martins, Lília Ramalho Martins
Natural Deduction for Full S5 Modal Logic with Weak Normalization. Electron. Notes Theor. Comput. Sci. 143 (2006)
Francicleber Martins Ferreira, Ana Teresa C. Martins
The Predicate-Minimizing Logic MIN. IBERAMIA-SBIA (2006)
Lília Ramalho Martins, Ana Teresa C. Martins
Natural Deduction and Weak Normalization for Full Linear Logic. Log. J. IGPL 12 (6) (2004)
Ana Teresa C. Martins, Marcelino Pequeno, Tarcisio H. C. Pequeno
Well-Behaved IDL Theories. SBIA (1996)