|
|
|
|
| Dr. Jonathan Hodgson is a Professor of Mathematics and Computer Science at Saint Joseph's University in Philadelphia, PA, where he teaches a wide variety of courses at both the undergraduate and master's level. Previously, he was on the faculty at Adelphi University and, prior to that, at the University of Pennsylvania. Dr. Hodgson started his career as a mathematician working in the field of topology. He holds a Ph.D. in Mathematics from the University of Cambridge. Dr. Hodgson became involved with computers, originally with the idea of drawing pictures of knots on a Tektronix machine using Plot-90. In the 1980s, he developed an interest in artificial intelligence, particularly problem solving and logic programming, both of which are his areas of major research interest. Dr. Hodgson has published papers on differential topology, problem solving, and the use of Hypertext Markup Language (HTML) tags for flagging semantic content in Web pages. He is currently the convenor of WG17, the ISO/IEC JTC1 working group on Prolog standardization. |
|
|
|
Date Reviewed |
|
|
1 - 10 of 13
reviews
|
|
|
|
|
|
|
|
A case-based reasoning system based on weighted heterogeneous value distance metric for breast cancer diagnosis Gu D., Liang C., Zhao H. Artificial Intelligence in Medicine 77 31-47, 2017. Type: Article
Case-based methods have previously been used to assist in treating cancers, and this paper introduces a number of significant modifications in the case of breast cancer. Specifically, these modifications relate to the way in which the ...
|
Aug 3 2017 |
|
|
|
|
|
|
Accelerating discovery: mining unstructured information for hypothesis generation Spangler S., Chapman & Hall/CRC, Boca Raton, FL, 2015. 292 pp. Type: Book (978-1-482239-13-3)
The basic idea behind the “accelerated discovery” of this book’s title is that by using the ability of a computer to process large quantities of data, one can find interconnections that lead to new hypothe...
|
Nov 16 2016 |
|
|
|
|
|
|
Directed algebraic topology and concurrency Fajstrup L., Goubault E., Haucourt E., Mimram S., Raussen M., Springer International Publishing, New York, NY, 2016. 167 pp. Type: Book (978-3-319153-97-1)
Introducing the use of ideas from algebraic topology in the study of concurrency is the primary contribution of this book. The basic idea is as follows: suppose that one has a collection of processes that are to run concurrently and th...
|
Jul 19 2016 |
|
|
|
|
|
|
An informational view of classical logic D’Agostino M. Theoretical Computer Science 606(C): 79-97, 2015. Type: Article
Can an agent that possesses specific knowledge about the world be said to know all the consequences of that knowledge? Given that the process of determining whether a given statement is a consequence of the premises can require extensi...
|
Jan 27 2016 |
|
|
|
|
|
|
Machine learning: an algorithmic perspective (2nd ed.) Marsland S., Chapman & Hall/CRC, Boca Raton, FL, 2014. 457 pp. Type: Book (978-1-466583-28-3)
The book’s emphasis on algorithms distinguishes it from other books on machine learning (ML). This is further highlighted by the extensive use of Python code to implement the algorithms. This results in a presentation in whic...
|
Mar 27 2015 |
|
|
|
|
|
|
Compositional probabilistic verification through multi-objective model checking Kwiatkowska M., Norman G., Parker D., Qu H. Information and Computation 23238-65, 2013. Type: Article
Compositional verification techniques for probabilistic and nondeterministic models are discussed in this paper. By emphasizing compositionality, the interacting components can be individually verified and the verification of the compl...
|
Mar 10 2014 |
|
|
|
|
|
|
Rethinking logic: logic in relation to mathematics, evolution, and method Cellucci C., Springer Publishing Company, Incorporated, Dordrecht, the Netherlands, 2013. 397 pp. Type: Book (978-9-400760-90-5)
Gödel’s theorem showing the impossibility of proving the consistency of arithmetic raises serious questions about the role of logic in mathematics and indeed in science in general. One consequence of this is that the...
|
Dec 30 2013 |
|
|
|
|
|
|
Linguistic decision making: theory and methods Xu Z., Springer Publishing Company, Incorporated, 2013. 300 pp. Type: Book (978-3-642294-39-6)
What is “linguistic decision making” exactly?...
|
Jul 1 2013 |
|
|
|
|
|
|
A practical guide to Linux commands, editors, and shell programming (3rd ed.) Sobell M., Prentice Hall Press, Upper Saddle River, NJ, 2012. 1224 pp. Type: Book (978-0-133085-04-4)
Aimed at a wide variety of readers, from students taking a first class with Linux to professionals who use Linux at work, this is a most comprehensive guide to Linux and Mac OS X. It covers a great deal of ground, from getting started ...
|
Apr 8 2013 |
|
|
|
|
|
|
Bayesian reasoning and machine learning Barber D., Cambridge University Press, New York, NY, 2012. 728 pp. Type: Book (978-0-521518-14-7)
Barber’s aim for this book is to introduce Bayesian reasoning and machine learning to students “without a firm background in statistics, calculus, or linear algebra.” To achieve this goal, the author uses ...
|
Jul 16 2012 |
|
|
|
|
|
|
|
|
|
|
|