BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
2 × Portugal
Collaborated with:
S.Greco I.Trubitsyna A.Sliva V.S.Subrahmanian F.Parisi
Talks about:
program (2) databas (2) queri (2) logic (2) probabilist (1) inconsist (1) function (1) termin (1) tempor (1) symbol (1)

Person: Cristian Molinaro

DBLP DBLP: Molinaro:Cristian

Contributed to:

ICLP 20132013
ICLP 20112011
ICEIS DISI 20072007
ICLP 20072007

Wrote 4 papers:

ICLP-J-2013-GrecoMT #bottom-up #evaluation #logic programming #termination
Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments (SG, CM, IT), pp. 737–752.
ICLP-2011-MolinaroSS #abduction #logic #probability
Abduction in Annotated Probabilistic Temporal Logic (CM, AS, VSS), pp. 240–250.
ICEIS-DISI-2007-GrecoMP #database #query
Preference rules in database querying (SG, CM, FP), pp. 119–124.
ICLP-2007-GrecoM #consistency #database #query #semantics
Querying and Repairing Inconsistent Databases Under Three-Valued Semantics (SG, CM), pp. 149–164.
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.