Andrea Formisano
- Parallel Logic Programming: A Sequel
2021/11/22 by Agostino Dovier, Dovier, Agostino, Andrea Formisano +9 · 1 voice
Computer Science · #Advanced Database Systems and Queries #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.AI #cs.DC #cs.LO #cs.PL
- Explaining Weather Bulletins via ILP
2026/07/20 by Enrico Santi, Alessandro Dal Palù, Agostino Dovier +2
Computer Science · #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #Bayesian Modeling and Causal Inference