reviews.bib

@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{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.