Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Home Topics Titles Quotes Blog Featured Help
Marcelo Finger
University of Sao Paulo
Sao Paulo, Brazil

Marcelo Finger has a BSc in Electronic Engineering from Universidade de São Paulo (EP-USP 1988), an MSc in Foundations of Advanced Information Technology from the Imperial College of Science, Technology and Medicine (1990), and a PhD in Computing from Imperial College of Science and Technology, University of London (1994).

He has held visiting positions in the computer science departments at Universitée Paul Sabatier--Toulouse (2011) and Cornell University (2012-2013). He is currently a professor of computer science at the Institute of Mathematics and Statistics at the University of São Paulo.

He is part of the editorial board of the South American Journal of Logic and São Paulo Journal of Mathematical Sciences, and has been a guest editor for Theoretical Computer Science and Annals of Mathematics in Artificial Intelligence. In addition, he has been a reviewer for Computing Reviews since 2013. He is an expert in logic and deductive-probabilistic reasoning, and his research focuses on logic, artificial intelligence, digital humanities, and computational linguistics.


Quantifiers and cognition: logical and computational perspectives
Szymanik J., Springer International Publishing, New York, NY, 2016. 211 pp.  Type: Book (978-3-319287-47-8)

A formal study of the problem of why some natural language sentences are harder to understand than others is the objective of this book. In that, it claims to be a highly interdisciplinary approach to language complexity. And, in terms...


Probability logics: probability-based formalization of uncertain reasoning
Ognjanović Z., Rašković M., Marković Z., Springer International Publishing, New York, NY, 2016. 215 pp.  Type: Book (978-3-319470-11-5)

Combinations of probability and logic have been a topic of interest since the seminal work of Boole [1], and they have always occupied a place of relevance in foundational studies of probability. However, the direction of development h...


Introduction to logic (3rd ed.)
Genesereth M., Kao E., Morgan & Claypool Publishers, San Rafael, CA, 2016. 178 pp.  Type: Book (978-1-627056-36-6)

This book is an introductory course on formal logic at a college level. Although its authors are computer scientists, it is aimed at a broad audience, only requiring high school set theory and algebra....


Fifty years of fuzzy logic and its applications
Tamir D., Rishe N., Kandel A., Springer Publishing Company, Incorporated, New York, NY, 2015. 684 pp.  Type: Book (978-3-319196-82-4)

This collection of papers celebrates 50 years since the publication of Zadeh’s seminal paper creating the field of fuzzy sets and fuzzy logic [1]. This is certainly not an introductory book on the field of fuzzy logic, as it ...


The ordering principle in a fragment of approximate counting
Atserias A., Thapen N. ACM Transactions on Computational Logic 15(4): 1-11, 2014.  Type: Article

This paper solves an open problem in the field of bounded arithmetic. Bounded arithmetic is an area developed for the logical analysis of the expressive properties of the polynomial hierarchy in theoretical computer science [1]. Fragme...


Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2023 ThinkLoud®
Terms of Use
| Privacy Policy