Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Finger, Marcelo
University of Sao Paulo
Sao Paulo, Brazil
   Featured Reviewer
   Reader Recommended
   Reviewer Selected
Follow this Reviewer

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.

Date Reviewed  
- 10 of 12 reviews

   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....

Aug 30 2017  
   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 has been cons...

Jun 5 2017  
   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 of its moti...

Oct 6 2016  
   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 presupposes quit...

Nov 6 2015  
   Advances in knowledge discovery in databases
Adhikari A., Adhikari J.,  Springer Publishing Company, Incorporated, New York, NY, 2014. 370 pp. Type: Book (978-3-319132-11-2)

Several advances in techniques for obtaining nonexplicit information that is present in database systems are described in this book. It discusses a good number of problems and techniques from the point of view of what the authors call market baske...

May 27 2015  
   Theory of conditional games
Stirling W.,  Cambridge University Press, New York, NY, 2014. 252 pp. Type: Book (978-1-107428-98-0)

This book has as motivation the limits of standard decision theory, which has as underlying assumptions categorical preferences, the fact that each stakeholder has a predefined preference order over outcomes, and the doctrine of individual rationa...

Jan 28 2015  
  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]. Fragments of bound...

Jan 27 2015  
   Advances in natural deduction: a celebration of Dag Prawitz’s work
Pereira L., Haeusler E., de Paiva V.,  Springer Publishing Company, Incorporated, Dordrecht, the Netherlands, 2014. 310 pp. Type: Book (978-9-400775-47-3)

Natural deduction was proposed as a formalization of classical reasoning that could mirror the use of assumptions as used in mathematical reasoning. Initial formulations toward that goal were made by Lukasiewicz and Jaskowski in the late 1920s, bu...

Aug 1 2014  
  Towards a general theory of classifications
Parrochia D., Neuville P.,  Birkhäuser Basel, Basel, Switzerland, 2013. 327 pp. Type: Book (978-3-034806-08-4)

This books deals with the existing components of a general theory of classifications, which are mathematical in their presentation, and the reasons why they do not form a complete theory yet. The general approach is to provide a logical descriptio...

Apr 8 2014  
   Near rings, fuzzy ideals, and graph theory
Satyanarayana B., Prasad K.,  Chapman & Hall/CRC, Boca Raton, FL, 2013. 480 pp. Type: Book (978-1-439873-10-6)

The title of this book is quite appropriate. The authors present the theory of near rings, and conclude with two chapters on the application to fuzzy ideals and graph theoretical investigations in near rings. The occurrence of near rings that are ...

Oct 16 2013  
Display per column
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2017 ThinkLoud, Inc.
Terms of Use
| Privacy Policy