latest.bib

@article{AzzRigLam19-Info-IJ,
  author = {Damiano Azzolini  and Fabrizio Riguzzi and Evelina Lamma},
  title = {Studying Transaction Fees in the Bitcoin Blockchain with Probabilistic Logic Programming},
  journal = {Information},
  publisher = {MDPI},
  copyright = {CCBY},
  year = {2019},
  url = {https://www.mdpi.com/2078-2489/10/11/335/pdf},
  doi = {10.3390/info10110335},
  abstract = {
In Bitcoin, if a miner is able to solve a computationally hard problem called proof of work, it will receive an amount of bitcoin as a reward which is the sum of the fees for the transactions included in a block plus an amount inversely proportional to the number of blocks discovered so far. At the moment of writing, the block reward is several orders of magnitude greater than the sum of transaction fees. Usually, miners try to collect the largest reward by including transactions associated with high fees. The main purpose of transaction fees is to prevent network spamming. However, they are also used to prioritize transactions. In order to use the minimum amount of fees, users usually have to find a compromise between fees and urgency of a transaction. In this paper, we develop a probabilistic logic model to experimentally analyze how fees affect confirmation time and miner’s revenue and to predict if an increase of average fees will generate a situation when the miner gets more reward by not following the protocol.},
  keywords = { bitcoin, blockchain, probabilistic logic programming
},
  address = {Basel, Switzerland},
  volume = {10},
  number = {11},
  pages = {335}
}
@inproceedings{AzzRigLamMas19-AIXIA-IC,
  title = {A Comparison of {MCMC} Sampling for Probabilistic Logic Programming},
  author = {Damiano Azzolini and Fabrizio Riguzzi and Evelina Lamma and Franco Masotti },
  booktitle = {Proceedings of the 18th Conference of the Italian Association for Artificial Intelligence ({AI*IA2019}),
Rende, Italy 19-22 November 2019},
  year = 2019,
  editor = {Mario Alviano and Gianluigi Greco and
Francesco Scarcello},
  publisher = {Springer},
  address = {Heidelberg, Germany},
  series = {Lecture Notes in Computer Science},
  venue = {Remnde, Italy},
  eventdate = {November 19-22, 2019},
  copyright = {Springer},
  doi = {10.1007/978-3-030-35166-3_2},
  volume = {11946},
  pages = {18-29},
  url = {http://mcs.unife.it/~friguzzi/Papers/NguRigLam-AIXIA18.pdf},
  isbn-print = {978-3-030-35165-6},
  isbn-online = {978-3-030-35166-3},
  note = {The final publication is available at Springer via \url{http://dx.doi.org/10.1007/978-3-030-35166-3_2}}
}
@inproceedings{CotRigZesLam18-CILC-NC,
  author = {Cota, Giuseppe and Riguzzi, Fabrizio and Lamma, Evelina and Zese, Riccardo},
  title = {{KRaider}: a Crawler for Linked Data},
  year = {2019},
  series = {CEUR Workshop Proceedings},
  publisher = {Sun {SITE} Central Europe},
  address = {Aachen, Germany},
  volume = {2396},
  editor = {Alberto Casagrande and Eugenio Omodeo},
  booktitle = {Proceedings of the 34th Italian Conference on Computational Logic},
  url = {http://ceur-ws.org/Vol-2396/paper35.pdf},
  pages = {202-216},
  eventdate = {June 19-21, 2019},
  venue = {Trieste, Italy},
  issn = {1613-0073},
  copyright = {by the authors},
  scopus = {2-s2.0-85071120572}
}
@article{ZesBelCot19-TPLP-IJ,
  title = {Probabilistic {DL} Reasoning with Pinpointing Formulas: A Prolog-based Approach},
  doi = {10.1017/S1471068418000480},
  journal = {Theory and Practice of Logic Programming},
  publisher = {Cambridge University Press},
  copyright = {Cambridge University Press},
  author = {Zese, Riccardo and Cota, Giuseppe and Lamma, Evelina and Bellodi, Elena and Riguzzi, Fabrizio},
  pages = {449--476},
  year = {2019},
  volume = {19},
  number = {3},
  pdf = {https://arxiv.org/pdf/1809.06180.pdf},
  scopus = {2-s2.0-85060024345},
  doi = {10.1017/S1471068418000480}
}
@inproceedings{NguLamRig18-RICERCA-IW,
  title = {Vision Inspection with Neural Networks},
  author = {Nguembang Fadja, Arnaud and Evelina Lamma and Fabrizio Riguzzi   },
  booktitle = {{R.i.C.e.R.c.A}: {RCRA} Incontri E Confronti,
Proceedings of the {RiCeRcA} Workshop
co-located with the 17th International Conference of the 
Italian Association for Artificial Intelligence {(Ai*iA 2018)}},
  year = 2018,
  editor = {Marco Maratea and Mauro Vallati},
  series = {CEUR Workshop Proceedings},
  publisher = {Sun {SITE} Central Europe},
  address = {Aachen, Germany},
  issn = {1613-0073},
  venue = {Trento, Italy},
  eventdate = {November 22, 2018},
  copyright = {by the authors},
  volume = {2272},
  pages = {1-10},
  url = {http://ceur-ws.org/Vol-2272/paper1.pdf},
  scopus = {2-s2.0-85058652909}
}
@inproceedings{NguRigLam18-AIIADC-IW,
  title = {Deep learning for probabilistic logic programming},
  author = {Nguembang Fadja, Arnaud  and Fabrizio Riguzzi and Evelina Lamma  },
  booktitle = {{AI*IA 2018 Doctoral Consortium},
Proceedings of the {AI*IA Doctoral Consortium (DC)}},
  year = 2018,
  editor = {Marco Rospocher and
Luciano Serafini and
Sara Tonelli},
  series = {CEUR Workshop Proceedings},
  publisher = {Sun {SITE} Central Europe},
  address = {Aachen, Germany},
  issn = {1613-0073},
  venue = {Trento, Italy},
  eventdate = {November 20-23, 2018},
  copyright = {by the authors},
  volume = {2249},
  url = {http://ceur-ws.org/Vol-2249/AIIA-DC2018_paper_9.pdf},
  pages = {43-47},
  scopus = {2-s2.0-85057844515}
}
@inproceedings{CheCotLam18-CILC-NC,
  author = {Chesani, Federico and Cota, Giuseppe and Lamma, Evelina and Mello, Paola and Riguzzi, Fabrizio},
  title = {A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning},
  year = {2018},
  series = {CEUR Workshop Proceedings},
  publisher = {Sun {SITE} Central Europe},
  address = {Aachen, Germany},
  volume = {2214},
  editor = {Paolo Felli and Marco Montali},
  booktitle = {Proceedings of the 33rd Italian Conference on Computational Logic },
  url = {http://ceur-ws.org/Vol-2214/paper13.pdf},
  pages = {117-131},
  eventdate = {September 20-22, 2018},
  venue = {Bolzano, Italy},
  issn = {1613-0073},
  copyright = {by the authors},
  scopus = {2-s2.0-85054323247}
}
@inproceedings{NguRigLam18-AIXIA-IC,
  title = {Expectation Maximization in Deep Probabilistic Logic Programming},
  author = {Nguembang Fadja, Arnaud and Fabrizio Riguzzi  and Evelina Lamma },
  booktitle = {Proceedings of the 17th Conference of the Italian Association for Artificial Intelligence ({AI*IA2018}),
Trento, Italy,  20-23 November, 2018},
  year = 2018,
  editor = {Chiara Ghidini and Bernardo Magnini and Andrea Passerini},
  publisher = {Springer},
  address = {Heidelberg, Germany},
  series = {Lecture Notes in Computer Science},
  issn = {1613-0073},
  doi = {10.1007/978-3-030-03840-3_22},
  venue = {Trento, Italy},
  eventdate = {November 20-23, 2018},
  copyright = {Springer},
  url = {http://ml.unife.it/wp-content/uploads/Papers/NguRigLam-AIXIA18.pdf},
  volume = {11298},
  pages = {293-306},
  isbn-print = {978-3-030-03839-7},
  isbn-online = {978-3-030-03840-3},
  scopus = {2-s2.0-85057391654},
  note = {The final publication is available at Springer via \url{http://dx.doi.org/10.1007/978-3-030-03840-3_22}}
}
@inproceedings{CotRigZes18-SUM-IC,
  title = {A Modular Inference System for Probabilistic Description Logics},
  author = {Giuseppe Cota and Fabrizio Riguzzi and Riccardo Zese and Elena Bellodi and Evelina Lamma },
  booktitle = {Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings},
  year = 2018,
  editor = {Davide Ciucci and Gabriella Pasi and Barbara Vantaggi},
  volume = {11142},
  publisher = {Springer},
  address = {Heidelberg, Germany},
  series = {Lecture Notes in Computer Science},
  issn = {1613-0073},
  doi = {10.1007/978-3-030-00461-3_6},
  venue = {Milano, Italy},
  eventdate = {October 3-5, 2018},
  copyright = {Springer},
  pages = {78-92},
  isbn-print = {978-3-030-00460-6},
  isbn-online = {978-3-030-00461-3},
  note = {The final publication is available at Springer via \url{http://dx.doi.org/10.1007/978-3-030-00461-3_6}},
  url = {http://ml.unife.it/wp-content/uploads/Papers/CotRigZes-SUM18.pdf},
  scopus = {2-s2.0-85054858704}
}
@inproceedings{NguRigLam18-PLP-IW,
  title = {Learning the Parameters of Deep Probabilistic Logic Programs },
  booktitle = {Probabilistic Logic Programming (PLP 2018)},
  year = 2018,
  author = {Arnaud Nguembang Fadja and Fabrizio Riguzzi and Evelina Lamma },
  editor = {Elena Bellodi and Tom Schrijvers },
  volume = {2219},
  series = {CEUR Workshop Proceedings},
  publisher = {Sun {SITE} Central Europe},
  address = {Aachen, Germany},
  issn = {1613-0073},
  url = {http://ceur-ws.org/Vol-2219/paper2.pdf},
  venue = {Ferrara, Italy},
  eventdate = {September 1, 2018},
  copyright = {by the authors},
  pages = {9-14},
  scopus = {2-s2.0-85054570623}
}
@inproceedings{AzzRigLam18-PLP-IW,
  title = {Modeling Bitcoin Protocols with Probabilistic Logic Programming },
  booktitle = {Probabilistic Logic Programming (PLP 2018)},
  year = 2018,
  author = {Damiano Azzolini and Fabrizio Riguzzi and Evelina Lamma and Elena Bellodi and Riccardo Zese},
  editor = {Elena Bellodi and Tom Schrijvers },
  volume = {2219},
  series = {CEUR Workshop Proceedings},
  publisher = {Sun {SITE} Central Europe},
  address = {Aachen, Germany},
  issn = {1613-0073},
  url = {http://ceur-ws.org/Vol-2219/paper6.pdf},
  venue = {Ferrara, Italy},
  eventdate = {September 1, 2018},
  copyright = {by the authors},
  pages = {49-61},
  scopus = {2-s2.0-85054569753}
}
@article{ZesBelRig18-AMAI-IJ,
  author = {Riccardo Zese and
        Elena Bellodi  and
        Fabrizio Riguzzi and
        Giuseppe Cota and
        Evelina Lamma },
  title = {Tableau Reasoning for Description Logics and its Extension to Probabilities},
  journal = {Annals of Mathematics and Artificial Intelligence},
  publisher = {Springer},
  copyright = {Springer},
  year = {2018},
  issn-print = {1012-2443},
  issn-online = {1573-7470},
  url = {http://ml.unife.it/wp-content/uploads/Papers/ZesBelRig-AMAI16.pdf},
  pdf = {http://rdcu.be/kONG},
  month = {March},
  day = {01},
  volume = {82},
  number = {1},
  pages = {101--130},
  doi = {10.1007/s10472-016-9529-3},
  abstract = {
The increasing popularity of the Semantic Web drove to a wide-
spread adoption of Description Logics (DLs) for modeling real world domains.
To help the diffusion of DLs, a large number of reasoning algorithms have been
developed. Usually these algorithms are implemented in procedural languages
such as Java or C++. Most of the reasoners exploit the tableau algorithm
which features non-determinism, that is not easily handled by those languages.
Prolog directly manages non-determinism, thus is a good candidate for dealing
with the tableau's non-deterministic expansion rules.
We present TRILL, for "Tableau Reasoner for descrIption Logics in pro-
Log", that implements a tableau algorithm and is able to return explanations
for queries and their corresponding probability, and TRILLP , for "TRILL
powered by Pinpointing formulas", which is able to compute a Boolean for-
mula representing the set of explanations for a query. Reasoning on real world
domains also requires the capability of managing probabilistic and uncertain
information. We show how TRILL and TRILLP can be used to compute the
probability of queries to knowledge bases following DISPONTE semantics.
Experiments comparing these with other systems show the feasibility of the
approach.},
  keywords = { Description Logics, Tableau, Prolog, Semantic Web},
  scopus = {2-s2.0-84990986085}
}
@article{GavLam18-FI-IJ,
  author = {Gavanelli, Marco and Lamma, Evelina and Riguzzi, Fabrizio and Bellodi, Elena and Zese, Riccardo and Cota, Giuseppe},
  title = {Reasoning on Datalog+- Ontologies with Abductive Logic Programming},
  year = {2018},
  journal = {Fundamenta Informaticae},
  copyright = {IOS Press},
  volume = {159},
  doi = {10.3233/FI-2018-1658},
  pages = {65--93},
  pdf = {http://ml.unife.it/wp-content/uploads/Papers/GavLam-FI18.pdf},
  scopus = {2-s2.0-85043572529}
}

This file was generated by bibtex2html 1.98.