Volume: Vol-3799 ICLP-WS 2024 | Year: 2024

Paper: « paper11PEG2.0 | paper1PLP24 | paper2PLP24 »

Efficient Compliance Computation in Probabilistic Declarative Specifications

Mario Alviano ORCID dblp Wikidata GND
Antonio Ielo dblp
Francesco Ricca ORCID dblp