Walter Carnielli

2.8k total citations
76 papers, 948 citations indexed

About

Walter Carnielli is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Discrete Mathematics and Combinatorics. According to data from OpenAlex, Walter Carnielli has authored 76 papers receiving a total of 948 indexed citations (citations by other indexed papers that have themselves been cited), including 58 papers in Artificial Intelligence, 48 papers in Computational Theory and Mathematics and 4 papers in Discrete Mathematics and Combinatorics. Recurrent topics in Walter Carnielli's work include Logic, Reasoning, and Knowledge (50 papers), Advanced Algebra and Logic (41 papers) and Logic, programming, and type systems (28 papers). Walter Carnielli is often cited by papers focused on Logic, Reasoning, and Knowledge (50 papers), Advanced Algebra and Logic (41 papers) and Logic, programming, and type systems (28 papers). Walter Carnielli collaborates with scholars based in Brazil, Portugal and Italy. Walter Carnielli's co-authors include Marcelo E. Coniglio, João Marcos, Claudio Pizzi, Sandra de Amo, Cristina Sernadas, Newton C. A. da Costa, Richard L. Epstein, Carlos Caleiro, Lorenzo Magnani and Rangaraj M. Rangayyan and has published in prestigious journals such as Theoretical Computer Science, European Archives of Psychiatry and Clinical Neuroscience and Discrete Mathematics.

In The Last Decade

Walter Carnielli

72 papers receiving 810 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Walter Carnielli Brazil	17	758	621	101	84	45	76	948
H. B. Enderton United States	6	573 0.8×	440 0.7×	97 1.0×	39 0.5×	60 1.3×	23	913
Jeremy Avigad United States	16	300 0.4×	387 0.6×	56 0.6×	31 0.4×	76 1.7×	75	660
Steven Givant United States	11	414 0.5×	437 0.7×	38 0.4×	18 0.2×	27 0.6×	39	696
Benedikt Löwe Netherlands	13	211 0.3×	283 0.5×	76 0.8×	68 0.8×	86 1.9×	107	581
Jan von Plato Finland	15	673 0.9×	513 0.8×	98 1.0×	40 0.5×	132 2.9×	66	990
Lev D. Beklemishev Russia	11	462 0.6×	505 0.8×	41 0.4×	9 0.1×	28 0.6×	56	762
Warren Goldfarb United States	12	333 0.4×	242 0.4×	218 2.2×	190 2.3×	109 2.4×	34	646
John Myhill United States	16	536 0.7×	849 1.4×	84 0.8×	35 0.4×	46 1.0×	40	1.2k
Lawrence S. Moss United States	16	881 1.2×	492 0.8×	23 0.2×	39 0.5×	7 0.2×	84	1.0k
Aarne Ranta Sweden	13	930 1.2×	299 0.5×	70 0.7×	42 0.5×	14 0.3×	75	1.0k

Countries citing papers authored by Walter Carnielli

Since Specialization

Citations

This map shows the geographic impact of Walter Carnielli's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Walter Carnielli with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Walter Carnielli more than expected).

Fields of papers citing papers by Walter Carnielli

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Walter Carnielli. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Walter Carnielli. The network helps show where Walter Carnielli may publish in the future.

Co-authorship network of co-authors of Walter Carnielli

This figure shows the co-authorship network connecting the top 25 collaborators of Walter Carnielli. A scholar is included among the top collaborators of Walter Carnielli based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Walter Carnielli. Walter Carnielli is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Carnielli, Walter, et al.. (2022). Valuation Semantics for First-Order Logics of Evidence and Truth. Journal of Philosophical Logic. 51(5). 1141–1173. 4 indexed citations

Carnielli, Walter, et al.. (2015). The method of polynomial ring calculus and its potentialities. Theoretical Computer Science. 606. 42–56. 3 indexed citations

Carnielli, Walter. (2010). Formal polynomials, heuristics and proofs in logic. 1 indexed citations

Magnani, Lorenzo, Walter Carnielli, & Claudio Pizzi. (2010). Model-Based Reasoning in Science and Technology: Abduction, Logic, and Computational Discovery. Springer eBooks. 1. 1–564. 17 indexed citations

Carnielli, Walter, et al.. (2005). Quantum Algorithms, Paraconsistent Computation and Deutsch's Problem.. Indian International Conference on Artificial Intelligence. 1609–1628. 1 indexed citations

Carnielli, Walter, et al.. (2004). Anti-intuitionism and paraconsistency. Journal of Applied Logic. 3(1). 161–184. 21 indexed citations

Caleiro, Carlos, Walter Carnielli, Marcelo E. Coniglio, & João Marcos. (2003). Suszko’s Thesis and dyadic semantics. European Archives of Psychiatry and Clinical Neuroscience. 254(3). 187–9. 9 indexed citations

Carnielli, Walter, Marcelo E. Coniglio, & Ítala M. Loffredo D’Ottaviano. (2002). Paraconsistency the Logical Way to the Inconsistent : Proceedings of the World Congress Held in São Paulo. M. Dekker eBooks. 1 indexed citations

Carnielli, Walter. (2000). Logiques classiques et non classiques. Essai sur les fondements de la logique. Manuscrito. 23(1). 235–241. 18 indexed citations

10.

Epstein, Richard L. & Walter Carnielli. (2000). Computability (2nd ed.): computable functions, logic, and the foundations of mathematics. 3 indexed citations

11.

Carnielli, Walter, et al.. (2000). K2,2–K1,n and K2,n–K2,n bipartite Ramsey numbers. Discrete Mathematics. 223(1-3). 83–92. 8 indexed citations

12.

Carnielli, Walter & Marcelo E. Coniglio. (1999). A categorial approach to the combination of logics. Manuscrito. 22(2). 69–94. 11 indexed citations

13.

Carnielli, Walter, et al.. (1999). Advances in Contemporary Logic and Computer Science. Contemporary mathematics - American Mathematical Society. 7 indexed citations

14.

Carnielli, Walter, et al.. (1999). On the Ramsey Problem for Multicolor Bipartite Graphs. Advances in Applied Mathematics. 22(1). 48–59. 6 indexed citations

15.

Carnielli, Walter, et al.. (1997). Translations between logical systems: a manifesto. PhilPapers (PhilPapers Foundation). 14 indexed citations

16.

Carnielli, Walter, et al.. (1992). Reasoning under inconsistent knowledge. Journal of Applied Non-Classical Logics. 2(1). 12 indexed citations

17.

Carnielli, Walter, et al.. (1991). Contextual negations and reasoning with contradictions. International Joint Conference on Artificial Intelligence. 532–537. 8 indexed citations

18.

Carnielli, Walter. (1990). Hyper‐rook Domain Inequalities. Studies in Applied Mathematics. 82(1). 59–69. 10 indexed citations

19.

Carnielli, Walter, et al.. (1988). Methods and Applications of Mathematical Logic. Contemporary mathematics - American Mathematical Society. 1 indexed citations

20.

Carnielli, Walter. (1985). On covering and coloring problems for rook domains. Discrete Mathematics. 57(1-2). 9–16. 15 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact