Ana Teresa C. Martins

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