Ana Teresa C. Martins

Proceedings of the Formal Methods: Foundations and Applications - 24th Brazilian Symposium, 2021

Some Aspects of the Database Resilience.

[BibT_eX]

[DOI]

Luis Henrique Bustamante

Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021

2020

Synthesis of quantifier-free DNF sentences from inconsistent samples of strings with EF games and SAT.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

Synthesis of a DNF formula from a sample of strings using Ehrenfeucht-Fraïssé games.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

2019

Synthesis of Quantifier-Free First-Order Sentences from Noisy Samples of Strings.

[BibT_eX]

[DOI]

Proceedings of the 8th Brazilian Conference on Intelligent Systems, 2019

2018

On Distinguishing Sets of Structures by First-Order Sentences of Minimal Quantifier Rank.

[BibT_eX]

[DOI]

Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, 2018

On Finding a First-Order Sentence Consistent with a Sample of Strings.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Ninth International Symposium on Games, 2018

Parameterized Complexity of Some Prefix-Vocabulary Fragments of First-Order Logic.

[BibT_eX]

[DOI]

Luis Henrique Bustamante

Proceedings of the Logic, Language, Information, and Computation, 2018

Synthesis of a DNF Formula From a Sample of Strings.

[BibT_eX]

[DOI]

Proceedings of the 7th Brazilian Conference on Intelligent Systems, 2018

2016

The Descriptive Complexity of Decision Problems through Logics with Relational Fixed-Point and Capturing Results.

[BibT_eX]

[DOI]

Márcia Farias

Proceedings of the 11th Workshop on Logical and Semantic Frameworks with Applications, 2016

First-Order Logic for Decision Problems with Preference Aggregation.

[BibT_eX]

[DOI]

Arnaldo Araújo

Davi Romero

Proceedings of the 5th Brazilian Conference on Intelligent Systems, 2016

2015

Searching contexts in paraconsistent rough description logic.

[BibT_eX]

[DOI]

J. Braz. Comput. Soc., 2015

2014

Polynomial hierarchy graph properties in hybrid logic.

[BibT_eX]

[DOI]

Cibele Matos Freire

Mario R. F. Benevides

Luis Menasché Schechter

J. Comput. Syst. Sci., 2014

An ALC Description Default Logic with Exceptions-First.

[BibT_eX]

[DOI]

Debora Farias Frota

Luis Henrique Bustamante

Proceedings of the 2014 Brazilian Conference on Intelligent Systems, 2014

2013

Searching Contexts in Rough Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Brazilian Conference on Intelligent Systems, 2013

2012

Expressible preferential logics.

[BibT_eX]

[DOI]

J. Log. Comput., 2012

2011

Recursive definitions and fixed-points on well-founded structures.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Hybrid Logics and NP Graph Properties.

[BibT_eX]

[DOI]

Cibele Matos Freire

Mario R. F. Benevides

Luis Menasché Schechter

Proceedings of the Logic, Language, Information and Computation, 2011

Paraconsistent Rough Description Logic.

[BibT_eX]

[DOI]

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010

The Descriptive Complexity of the Deterministic Exponential Time Hierarchy.

[BibT_eX]

[DOI]

Cibele Matos Freire

Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, 2010

A Tractable Paraconsistent Fuzzy Description Logic.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2010), 2010

2009

Natural deduction for the finite least fixed point logic with an infinitary rule.

[BibT_eX]

[DOI]

Alexandre Matos Arruda

Log. J. IGPL, 2009

2008

Recursive Definitions and Fixed-Points.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, 2008

Full classical S5 in natural deduction with weak normalization.

[BibT_eX]

[DOI]

Lília Ramalho Martins

Ann. Pure Appl. Log., 2008

2007

On Minimal Models.

[BibT_eX]

[DOI]

Log. J. IGPL, 2007

An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models.

[BibT_eX]

[DOI]

Alexandre Matos Arruda

Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, 2007

2006

The Predicate-Minimizing Logic MIN.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2006

2005

Natural Deduction for Full S5 Modal Logic with Weak Normalization.

[BibT_eX]

[DOI]

Lília Ramalho Martins

Proceedings of the 12th Workshop on Logic, Language, Information and Computation, 2005

2004

Natural Deduction and Weak Normalization for Full Linear Logic.

[BibT_eX]

[DOI]

Lília Ramalho Martins

Log. J. IGPL, 2004

1996

Well-Behaved IDL Theories.

[BibT_eX]

[DOI]