12 citations · 31 across the 17 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.PL2022★ 1 cited
Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives
Germán Vidal
Message-passing concurrency is a popular computation model that underlies several programming languages like, e.g., Erlang, Akka, and (to some extent) Go and Rust. In particular, w…
cs.AI2022★ 2 cited
Explanations as Programs in Probabilistic Logic Programming
Germán Vidal
The generation of comprehensible explanations is an essential feature of modern artificial intelligence systems. In this work, we consider probabilistic logic programming, an exten…