Search for Author All Reviews
	Gabbay, Dov M.     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 5 of 7 reviews       A new perspective on nonmonotonic logics Gabbay D., Schlechta K., Springer International Publishing, New York, NY, 2016. 365 pp.  Type: Book (978-3-319468-15-0) Nonmonotonic reasoning derives plausible conclusions from a theory. The theory is sometimes called background knowledge. If new information becomes available showing that some conclusions are wrong, one has to retract them. A common ap...... Feb 7 2018     Reactive Kripke semantics Gabbay D., Springer Publishing Company, Incorporated, Berlin, Germany, 2013. 447 pp.  Type: Book (978-3-642413-88-9) What motivates one to pick up, skim, and perhaps eventually read a technical book? In my case, it starts with a complex and somewhat unpredictable combination of: (a) the profile of the author; (b) the topic as captured in the title; (...... Apr 24 2014     Sequential dynamic logic Bochman A., Gabbay D. Journal of Logic, Language and Information 21(3): 279-298, 2012.  Type: Article Propositional dynamic logic (PDL) is tailored to modeling and reasoning about evolving universes, such as computer programs whose states change during their execution. It is based on modal operators, such as in the formula [P<...... Nov 19 2012     Logical tools for handling change in agent-based systems Gabbay D., Schlechta K., Springer Publishing Company, Incorporated, New York, NY, 2009. 305 pp.  Type: Book (978-3-642044-06-9) This book covers a broad range of ideas related to nonmonotonic reasoning. This review summarizes some of its nice ideas--or, as the authors say, its “logical tools.”...... Feb 11 2011     Neural-symbolic learning system: foundations and applications Garcez A., Gabbay D., Broda K., Springer-Verlag New York, Inc., Secaucus, NJ, 2002. 280 pp.  Type: Book (9781852335120) The topic of neural-symbolic integration was very hot at the beginning of the 1980s, when the first seminal works introduced the possibility of extracting knowledge from trained neural networks (NNs), and reversibly building network s...... Jan 28 2003     Display 510152550100 per column
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy