Travelled to:1 × Ireland
1 × Italy
1 × United Kingdom
Collaborated with:T.Swift ∅ M.Gavanelli E.Lamma E.Bellodi R.Zese M.Milano P.Cagnoli V.S.Costa G.Cota
Talks about:logic (4) program (3) subsumpt (2) disjunct (2) reason (2) answer (2) under (2) annot (2) tabl (2) uncertainti (1)
Person: Fabrizio Riguzzi
DBLP: Riguzzi:Fabrizio
Contributed to:
201520142011201020102008Wrote 6 papers:
- ICLP-2015-GavanelliLRBZC #abduction #datalog #framework #ontology
- An Abductive Framework for Datalog± Ontologies (MG, EL, FR, EB, RZ, GC), pp. 274–286.
- ICLP-J-2014-BellodiLRCZ #logic programming #probability
- Lifted Variable Elimination for Probabilistic Logic Programming (EB, EL, FR, VSC, RZ), pp. 681–695.
- ICLP-J-2011-RiguzziS #nondeterminism #reasoning
- The PITA system: Tabling and answer subsumption for reasoning under uncertainty (FR, TS), pp. 433–449.
- ICLP-2010-RiguzziS10 #logic programming #reasoning #source code
- Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions (FR, TS), pp. 162–171.
- ICLP-J-2010-GavanelliRMC #assessment
- Logic-based decision support for strategic environmental assessment (MG, FR, MM, PC), pp. 643–658.
- ICLP-2008-Riguzzi #logic programming #semantics #source code
- Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics (FR), pp. 667–671.