@comment{{This file has been generated by bib2bib 1.96}}
@comment{{Command line: bib2bib -oc reviews.cit -ob reviews.bib -c $key:"RE$" 2018.bib 2017.bib 2016.bib 2015.bib 2014.bib 2013.bib 2012.bib 2011.bib 2010.bib 2009.bib 2008.bib 2007.bib 2006.bib 2005.bib 2004.bib 2003.bib 2002.bib 2001.bib 2000.bib 1999.bib 1998.bib 1997.bib 1996.bib}}
@article{Rig18-MNa-RE, author = {Fabrizio Riguzzi}, title = {Review of {Jirou\v sek, Radim\ , Radim; Shenoy, Prakash P. A new definition of entropy of belief functions in the Dempster-Shafer theory. Internat. J. Approx. Reason. 92 (2018), 49--65.}}, journal = {Mathematical Reviews}, publisher = {American Mathematical Society}, copyright = {American Mathematical Society}, year = {2018}, month = {May}, issn = {2167-5163}, mrnumber = {MR3723293}, mrreviewer = {Fabrizio Riguzzi}, url = {http://www.ams.org/mathscinet-getitem?mr=3723293 } }
@article{Rig17-MNa-RE, author = {Fabrizio Riguzzi}, title = {Review of {K\"otzing, Timo; Palenta, Raphaela A map of update constraints in inductive inference. Theoret. Comput. Sci. 650 (2016), 4--24. }}, journal = {Mathematical Reviews}, publisher = {American Mathematical Society}, copyright = {American Mathematical Society}, year = {2017}, month = {March}, issn = {2167-5163}, mrnumber = {MR3553781}, mrreviewer = {Fabrizio Riguzzi}, url = {http://www.ams.org/mathscinet-getitem?mr=3553781 } }
@article{Rig16-MNg-RE, author = {Fabrizio Riguzzi}, title = {Review of {Echenim, M.; Peltier, N. A superposition calculus for abductive reasoning. J. Automat. Reason. 57, no. 2, 97--134, 2016. }}, journal = {Mathematical Reviews}, publisher = {American Mathematical Society}, copyright = {American Mathematical Society}, year = {2016}, month = {December}, issn = {2167-5163}, mrnumber = {MR3518670}, mrreviewer = {Fabrizio Riguzzi}, url = {http://www.ams.org/mathscinet-getitem?mr=3518670 } }
@article{Rig16-MNf-RE, author = {Fabrizio Riguzzi}, title = {Review of {Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Olmedo, Federico Weakest precondition reasoning for expected run-times of probabilistic programs. Programming languages and systems, 364--389, Lecture Notes in Comput. Sci., 9632, Springer, Berlin, 2016.}}, journal = {Mathematical Reviews}, publisher = {American Mathematical Society}, copyright = {American Mathematical Society}, year = {2016}, month = {October}, issn = {2167-5163}, mrnumber = {MR3516285}, mrreviewer = {Fabrizio Riguzzi}, url = {http://www.ams.org/mathscinet-getitem?mr=3516285 } }
@article{Rig16-MNe-RE, author = {Fabrizio Riguzzi}, title = {Review of {Drabent, W\l{}odzimierz On definite program answers and least Herbrand models. Theory Pract. Log. Program. 16 (2016), no. 4, 498--508.}}, journal = {Mathematical Reviews}, publisher = {American Mathematical Society}, copyright = {American Mathematical Society}, year = {2016}, month = {October}, issn = {2167-5163}, mrnumber = {MR3506921}, mrreviewer = {Fabrizio Riguzzi}, url = {http://www.ams.org/mathscinet-getitem?mr=3506921 } }
@article{Rig16-MNd-RE, author = {Fabrizio Riguzzi}, title = {Review of {Jansen, Nils; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Olmedo, Federico; Gretz, Friedrich; McIver, Annabelle Conditioning in probabilistic programming. The 31st Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXI), 199--216, Electron. Notes Theor. Comput. Sci., 319, Elsevier Sci. B. V., Amsterdam, 2015. }}, journal = {Mathematical Reviews}, publisher = {American Mathematical Society}, copyright = {American Mathematical Society}, year = {2016}, month = {July}, issn = {2167-5163}, mrnumber = {3472405}, mrreviewer = {Fabrizio Riguzzi}, url = {http://www.ams.org/mathscinet-getitem?mr=3472405 } }
@article{Rig16-MNc-RE, author = {Fabrizio Riguzzi}, title = {Review of {Alviano, Mario; Faber, Wolfgang Supportedly stable answer sets for logic programs with generalized atoms. (English summary) Web reasoning and rule systems, 30-44, Lecture Notes in Comput. Sci., 9209, Springer, 2015. }}, journal = {Mathematical Reviews}, publisher = {American Mathematical Society}, copyright = {American Mathematical Society}, year = {2016}, month = {April}, issn = {2167-5163}, mrnumber = {3441721}, mrreviewer = {Fabrizio Riguzzi}, url = {http://www.ams.org/mathscinet-getitem?mr=3441721} }
@article{Rig16-MNb-RE, author = {Fabrizio Riguzzi}, title = {Review of {Chowdhury, Md. Solimul; Liu, Fangfang; Chen, Wu; Karimi, Arash; You, Jia-Huai Polynomial approximation to well-founded semantics for logic programs with generalized atoms: case studies. Logic-based program synthesis and transformation, 279-296, Lecture Notes in Comput. Sci., 8981, Springer, 2015.}}, journal = {Mathematical Reviews}, publisher = {American Mathematical Society}, copyright = {American Mathematical Society}, year = {2016}, month = {January}, issn = {2167-5163}, mrnumber = {3368319}, mrreviewer = {Fabrizio Riguzzi}, url = {http://www.ams.org/mathscinet-getitem?mr=3368319} }
@article{Rig16-MNa-RE, author = {Fabrizio Riguzzi}, title = {Review of {Janhunen, Tomi; Niemel\"a, Ilkka Cumulativity tailored for nonmonotonic reasoning. Advances in knowledge representation, logic programming, and abstract argumentation, 96--111, Lecture Notes in Comput. Sci., 9060, Springer, 2015. }}, journal = {Mathematical Reviews}, publisher = {American Mathematical Society}, copyright = {American Mathematical Society}, year = {2016}, month = {January}, issn = {2167-5163}, mrnumber = {3368675}, mrreviewer = {Fabrizio Riguzzi}, url = {http://www.ams.org/mathscinet-getitem?mr=3368675} }
@article{Rig15-MNc-RE, author = {Fabrizio Riguzzi}, title = {Review of {De Raedt, Luc; Kimmig, Angelika Probabilistic (logic) programming concepts. Mach. Learn. 100 (2015), no. 1, 5--47}}, journal = {Mathematical Reviews}, publisher = {American Mathematical Society}, copyright = {American Mathematical Society}, year = {2015}, month = {November}, issn = {2167-5163}, mrnumber = {3372146}, mrreviewer = {Fabrizio Riguzzi}, url = {http://www.ams.org/mathscinet-getitem?mr=3372146}, keywords = {Distribution Semantics, Probabilistic Logic Programming, Probabilistic Programming, Machine Learning} }
@article{Rig15-MNb-RE, author = {Fabrizio Riguzzi}, title = {Review of {Wakaki, Toshiko Preference-based argumentation built from prioritized logic programming. J. Logic Comput. 25 (2015), no. 2, 251-301. }}, journal = {Mathematical Reviews}, publisher = {American Mathematical Society}, copyright = {American Mathematical Society}, year = {2015}, month = {September}, issn = {2167-5163}, mrnumber = {3365502}, mrreviewer = {Fabrizio Riguzzi}, url = {http://www.ams.org/mathscinet-getitem?mr=3365502}, keywords = {Argumentation, Logic Programming} }
@article{Rig15-MNa-RE, author = {Fabrizio Riguzzi}, title = {Review of {Cinicioglu, Esma Nur Decision making with consonant belief functions: discrepancy resulting with the probability transformation method used. Yugosl. J. Oper. Res. 24 (2014), no. 3, 359-370}}, journal = {Mathematical Reviews}, publisher = {American Mathematical Society}, copyright = {American Mathematical Society}, year = {2015}, month = {August}, issn = {2167-5163}, mrnumber = {3278420}, mrreviewer = {Fabrizio Riguzzi}, url = {http://www.ams.org/mathscinet-getitem?mr=3278420}, keywords = {Belief functions, Dempster/Shaffer Theory of Evidence} }
This file was generated by bibtex2html 1.96.