@inproceedings{AzzBelRig2023-summary-statements-IC,
author = {Azzolini, Damiano and Bellodi, Elena and Riguzzi, Fabrizio},
title = {Summary of Statistical Statements in Probabilistic Logic Programming},
year = {2023},
journal = {Electronic Proceedings in Theoretical Computer Science, EPTCS},
volume = {385},
pages = {384 -- 385},
doi = {10.4204/EPTCS.385.41},
url = {https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?ICLP2023#EPTCS385.41}
}
@inproceedings{AzzBelRig2023-towardsdt-IC,
author = {Azzolini, Damiano and Bellodi, Elena and Riguzzi, Fabrizio},
title = {Towards a Representation of Decision Theory Problems with Probabilistic Answer Set Programs},
year = {2023},
journal = {Electronic Proceedings in Theoretical Computer Science, EPTCS},
volume = {385},
pages = {190 -- 191},
doi = {10.4204/EPTCS.385.19},
url = {https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?ICLP2023#EPTCS385.19}
}
@inproceedings{AzzBelRigMAP-AIXIA-IC,
author = {Azzolini, Damiano and Bellodi, Elena and Riguzzi, Fabrizio},
editor = {Dovier, Agostino and Montanari, Angelo and Orlandini, Andrea},
title = {{MAP} Inference in Probabilistic Answer Set Programs},
booktitle = {AIxIA 2022 -- Advances in Artificial Intelligence},
year = {2023},
publisher = {Springer International Publishing},
address = {Cham},
pages = {413--426},
abstract = {Reasoning with uncertain data is a central task in artificial intelligence. In some cases, the goal is to find the most likely assignment to a subset of random variables, named query variables, while some other variables are observed. This task is called Maximum a Posteriori (MAP). When the set of query variables is the complement of the observed variables, the task goes under the name of Most Probable Explanation (MPE). In this paper, we introduce the definitions of cautious and brave MAP and MPE tasks in the context of Probabilistic Answer Set Programming under the credal semantics and provide an algorithm to solve them. Empirical results show that the brave version of both tasks is usually faster to compute. On the brave MPE task, the adoption of a state-of-the-art ASP solver makes the computation much faster than a naive approach based on the enumeration of all the worlds.},
isbn = {978-3-031-27181-6},
url = {https://link.springer.com/chapter/10.1007/978-3-031-27181-6_29},
doi = {10.1007/978-3-031-27181-6_29}
}
@inproceedings{AzzBelRigApprox-AIXIA-IC,
author = {Azzolini, Damiano and Bellodi, Elena and Riguzzi, Fabrizio},
editor = {Dovier, Agostino and Montanari, Angelo and Orlandini, Andrea},
title = {Approximate Inference in Probabilistic Answer Set Programming for Statistical Probabilities},
booktitle = {AIxIA 2022 -- Advances in Artificial Intelligence},
year = {2023},
publisher = {Springer International Publishing},
address = {Cham},
pages = {33--46},
abstract = {``Type 1'' statements were introduced by Halpern in 1990 with the goal to represent statistical information about a domain of interest. These are of the form ``x{\%} of the elements share the same property''. The recently proposed language PASTA (Probabilistic Answer set programming for STAtistical probabilities) extends Probabilistic Logic Programs under the Distribution Semantics and allows the definition of this type of statements. To perform exact inference, PASTA programs are converted into probabilistic answer set programs under the Credal Semantics. However, this algorithm is infeasible for scenarios when more than a few random variables are involved. Here, we propose several algorithms to perform both conditional and unconditional approximate inference in PASTA programs and test them on different benchmarks. The results show that approximate algorithms scale to hundreds of variables and thus can manage real world domains.},
isbn = {978-3-031-27181-6},
url = {https://link.springer.com/chapter/10.1007/978-3-031-27181-6_3},
doi = {10.1007/978-3-031-27181-6_3}
}
@article{ZesBell-SPE-IJ,
author = {Zese, Riccardo and Bellodi, Elena},
title = {A web application for reasoning on probabilistic description logics knowledge bases},
journal = {Software: Practice and Experience},
pages = {1--22},
volume = {In Press},
keywords = {description logics, inference, probabilistic description logics, semantic web, web applications},
doi = {https://doi.org/10.1002/spe.3212},
url = {https://onlinelibrary.wiley.com/doi/abs/10.1002/spe.3212},
year = {2023}
}
@article{BelBerBizFavFraZes23-MCSoC-IC,
author = {Bellodi, Elena and Bertozzi, Davide and Bizzarri, Alice and Favalli, Michele and Fraccaroli, Michele and Zese, Riccardo},
booktitle = {2023 IEEE 16th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC)},
title = {Efficient Resource-Aware Neural Architecture Search with a Neuro-Symbolic Approach},
year = {2023},
volume = {},
number = {},
pages = {171-178},
keywords = {Deep learning;Performance evaluation;Costs;Terminology;Computational modeling;Search problems;Probabilistic logic;neural networks;neural network hardware accelerators;architecture search;probabilistic logic programming},
doi = {10.1109/MCSoC60832.2023.00034}
}
This file was generated by bibtex2html 1.98.