Search for Topics All Reviews
	Browse All Reviews > Theory Of Computation (F) > Mathematical Logic And Formal Languages (F.4)     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     1-10 of 752 Reviews about "Mathematical Logic And Formal Languages (F.4)": Date Reviewed   Randomness and elements of decision theory applied to signals Borda M., Terebes R., Malutan R., Ilea I., Cislariu M., Miclea A., Barburiceanu S., Springer International Publishing, Cham, Switzerland, 2021. 259 pp.  Type: Book (978-3-030903-13-8) Communication and image processing systems are commonly modeled using random processes and are of immense interest in electronics engineering. This short volume attempts to provide an introduction to various topics related to this subject.... Sep 21 2023   Simple type theory: a practical logic for expressing and reasoning about mathematical ideas Farmer W., BIRKHAUSER, Basel, Switzerland, 2023. 312 pp.  Type: Book (3031211138) The book is an introduction to one of the dialects of type theory. All type theories are grounded in logic. The promise of simple type theory is that it can be understood and handled much easier than other versions of type theory, for example, dep... Sep 19 2023   Proof theory and algebra in logic Ono H., Springer International Publishing, New York, NY, 2019. 168 pp.  Type: Book If you are interested in mathematical logic and its relationship to algebraic structures, this brief introductory book gives an excellent overview for you. The author of the book, Hiroakira Ono, has been a very active researcher in thi... Mar 3 2021   Credulous acceptability, poison games and modal logic Grossi D., Rey S.  AAMAS 2019 (Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, Montreal, QC, Canada, May 13-17, 2019) 1994-1996, 2019.  Type: Proceedings Abstract argumentation theory is based on the notion that argument x attacks argument y. A set of arguments S is “admissible” if no arguments within the set a... Sep 30 2020   Mathematical structures of natural intelligence Neuman Y., Springer International Publishing, New York, NY, 2017. 173 pp.  Type: Book (978-3-319682-45-7) The author of this enthusiastically written book does not promote fashionable buzzwords; furthermore, he clearly distinguishes natural intelligence from artificial intelligence (AI). He emphasizes that “our world should be co... Sep 10 2019   Symbolic checking of fuzzy CTL on fuzzy program graph Ebrahimi M., Sotudeh G., Movaghar A. Acta Informatica 56(1): 1-33, 2019.  Type: Article This paper presents a new temporal logic for fuzzy logic systems, fuzzy computation tree logic (FzCTL), based on previous work on Kripke structures for fuzzy logic systems, that is, fuzzy program graph (FzPG) [1]. The motivation for pr... Mar 20 2019   Neighborhood semantics for modal logic Pacuit E., Springer International Publishing, New York, NY, 2017. 154 pp.  Type: Book (978-3-319671-48-2) Reading and writing a review of this wonderful book has been a pleasure. Knowing the basics of propositional modal logic may explain why I enjoyed reading it. The author has gathered and surveyed many papers in writing this book. This ... Feb 14 2019   Process algebras for Petri nets: the alphabetization of distributed systems Gorrieri R., Springer International Publishing, New York, NY, 2017. 302 pp.  Type: Book (978-3-319555-58-4) This monograph relates process expressions to process models, such as labeled transition systems and Petri nets of various kinds. The models are set up in chapters 2 and 3, together with descriptions of their behavior, such as strong b... Feb 6 2019   Safe autonomy under perception uncertainty using chance-constrained temporal logic Jha S., Raman V., Sadigh D., Seshia S. Journal of Automated Reasoning 60(1): 43-62, 2018.  Type: Article The topic of self-driving cars is receiving a lot of press lately. This paper on safe autonomy is an interesting read for people researching autonomous vehicles or more generally autonomous control systems. While the authors provide re... Jan 17 2019   Generalizing Morley’s and other theorems with automated realization Braude E., Abdyldayev S. Journal of Automated Reasoning 60(4): 503-526, 2018.  Type: Article Progress in the area of automated theorem proving has been traditionally demonstrated by automatically and mechanically proving conjectures and theorems in classical mathematics. Examples include the proof of the four-color theorem and... Oct 10 2018       Display 510152550100 per page
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy