| |
|
|
| |
| | 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 |
|
| |
1 - 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 h...
|
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...
|
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 ...
|
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 ...
|
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 indivi...
|
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]. Fragme...
|
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 la...
|
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 logica...
|
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 rin...
|
Oct 16 2013 |
|
|
|
|
|
| |
|
|
| |
|
|
