[1] Fabrizio Riguzzi. Review of Jiroušek, 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. Mathematical Reviews, © American Mathematical Society, May 2018. [ bib | http ]
[2] Fabrizio Riguzzi. Review of Kötzing, Timo; Palenta, Raphaela A map of update constraints in inductive inference. Theoret. Comput. Sci. 650 (2016), 4-24. . Mathematical Reviews, © American Mathematical Society, March 2017. [ bib | http ]
[3] Fabrizio Riguzzi. Review of Echenim, M.; Peltier, N. A superposition calculus for abductive reasoning. J. Automat. Reason. 57, no. 2, 97-134, 2016. . Mathematical Reviews, © American Mathematical Society, December 2016. [ bib | http ]
[4] Fabrizio Riguzzi. 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. Mathematical Reviews, © American Mathematical Society, October 2016. [ bib | http ]
[5] Fabrizio Riguzzi. Review of Drabent, Wlodzimierz On definite program answers and least Herbrand models. Theory Pract. Log. Program. 16 (2016), no. 4, 498-508. Mathematical Reviews, © American Mathematical Society, October 2016. [ bib | http ]
[6] Fabrizio Riguzzi. 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. . Mathematical Reviews, © American Mathematical Society, July 2016. [ bib | http ]
[7] Fabrizio Riguzzi. 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. . Mathematical Reviews, © American Mathematical Society, April 2016. [ bib | http ]
[8] Fabrizio Riguzzi. 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. Mathematical Reviews, © American Mathematical Society, January 2016. [ bib | http ]
[9] Fabrizio Riguzzi. Review of Janhunen, Tomi; Niemelä, 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. . Mathematical Reviews, © American Mathematical Society, January 2016. [ bib | http ]
[10] Fabrizio Riguzzi. Review of De Raedt, Luc; Kimmig, Angelika Probabilistic (logic) programming concepts. Mach. Learn. 100 (2015), no. 1, 5-47. Mathematical Reviews, © American Mathematical Society, November 2015. [ bib | http ]
[11] Fabrizio Riguzzi. Review of Wakaki, Toshiko Preference-based argumentation built from prioritized logic programming. J. Logic Comput. 25 (2015), no. 2, 251-301. . Mathematical Reviews, © American Mathematical Society, September 2015. [ bib | http ]
[12] Fabrizio Riguzzi. 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. Mathematical Reviews, © American Mathematical Society, August 2015. [ bib | http ]

This file was generated by bibtex2html 1.96.