BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Riguzzi:Fabrizio

Contributed to:

ICLP TC 20152015
ICLP 20142014
ICLP 20112011
ICLP 20102010
ICLP 20102010
ICLP 20082008

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.