@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}
}
@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{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{Rig18-MNa-RE,
author = {Fabrizio Riguzzi},
title = {Review of
{Jirou\v sek, 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{Rig19-MNa-RE,
author = {Fabrizio Riguzzi},
title = {Review of
{Avanzini, Martin; Dal Lago, Ugo. On sharing, memoization, and polynomial time. Inform. and Comput. 261 (2018), part 1, 3--22.}},
journal = {Mathematical Reviews},
publisher = {American Mathematical Society},
copyright = {American Mathematical Society},
year = {2019},
month = {January},
issn = {2167-5163},
mrnumber = {MR3812325},
mrreviewer = {Fabrizio Riguzzi},
url = {http://www.ams.org/mathscinet-getitem?mr=3812325 }
}
@article{Rig20-MNa-RE,
author = {Fabrizio Riguzzi},
title = {Review of
{Kahl, Patrick Thor; Leclerc, Anthony P.; Tran, Son Cao A parallel memory-efficient epistemic logic program solver: harder, better, faster. Ann. Math. Artif. Intell. 86 (2019), no. 1-3, 61–85}},
journal = {Mathematical Reviews},
publisher = {American Mathematical Society},
copyright = {American Mathematical Society},
year = {2020},
month = {January},
issn = {2167-5163},
mrnumber = {MR3977565},
mrreviewer = {Fabrizio Riguzzi},
url = {http://www.ams.org/mathscinet-getitem?mr=3977565 }
}
@article{Rig20-MNb-RE,
author = {Fabrizio Riguzzi},
title = {Review of
{Costantini, Stefania. About epistemic negation and world views in epistemic logic programs.
Theory Pract. Log. Program. 19 (2019), no. 5-6, 790--807.}},
journal = {Mathematical Reviews},
publisher = {American Mathematical Society},
copyright = {American Mathematical Society},
year = {2020},
month = {May},
issn = {2167-5163},
mrnumber = {MR4010537},
mrreviewer = {Fabrizio Riguzzi},
url = {http://www.ams.org/mathscinet-getitem?mr=4010537 }
}
@article{Rig20-MNc-RE,
author = {Fabrizio Riguzzi},
title = {Review of
{Arieli, Ofer; Borg, AnneMarie; Heyninck, Jesse A review of the relations between logical argumentation and reasoning with maximal consistency. Ann. Math. Artif. Intell. 87 (2019), no. 3, 187--226.}},
journal = {Mathematical Reviews},
publisher = {American Mathematical Society},
copyright = {American Mathematical Society},
year = {2020},
issn = {2167-5163},
mrnumber = {MR4038076},
mrreviewer = {Fabrizio Riguzzi},
url = {http://www.ams.org/mathscinet-getitem?mr=4038076 }
}
This file was generated by bibtex2html 1.98.