Skip to content

Efficient Compliance Computation in Probabilistic Declarative Specifications.

Mario Alviano, Antonio Ielo, Francesco Ricca

VenueBICLP
Year2024
ProceedingsICLP Workshops

Browse the full ICLP paper archive.