Concepedia

Marcelo E. Coniglio

ME

27

Publications

545

Citations

15

H-Index

1999

Active since

Affiliations

Universidade Estadual de Campinas (UNICAMP)(Current)

Universidade Federal da Fronteira Sul

Centre National de la Recherche Scientifique

University of Lisbon

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento

Marcelo E. Coniglio is an author at Universidade Estadual de Campinas (UNICAMP) specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsSemanticsLanguageLinguisticsFormal VerificationComputer ScienceSyntaxSemantic Web

Publications per year

1999–2021

27

Publications

27

New Dimensions on Translations Between Logics

Walter Carnielli, Marcelo E. Coniglio, Ítala M. Loffredo D’Ottaviano · Logica Universalis · 2009 · 47 citations

Non-classical Logic, Translations Between Logics, Automated Reasoning +5

An alternative approach for quasi-truth

Marcelo E. Coniglio, Luiz Henrique da Cruz Silvestrini · Logic Journal of IGPL · 2013 · 38 citations

Partial Structures, Non-classical Logic, Syntax +15

Fibring Non-Truth-Functional Logics: Completeness Preservation

Carlos Caleiro, Walter Carnielli, Marcelo E. Coniglio et al. · Journal of Logic Language and Information · 2003 · 37 citations

Combining Valuations with Society Semantics

Víctor Fernández, Marcelo E. Coniglio · Journal of Applied Non-Classical Logics · 2003 · 34 citations

Non-classical Logic, Economics, Engineering +15

Finite non-deterministic semantics for some modal systems

Marcelo E. Coniglio, Luís Fariñas del Cerro, Newton M. Peron · Journal of Applied Non-Classical Logics · 2015 · 31 citations

Rows per page

1–5 of 27