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 × Cyprus
1 × Italy
1 × Korea
1 × USA
2 × Portugal
Collaborated with:
E.Zumpano I.Trubitsyna M.Truszczynski S.Greco C.Sirangelo
Talks about:
integr (3) constraint (2) priorit (2) semant (2) reason (2) declar (2) activ (2) inconsist (1) implement (1) framework (1)

Person: Luciano Caroprese

DBLP DBLP: Caroprese:Luciano

Contributed to:

ICLP 20142014
ICLP 20082008
ICEIS AIDSS 20072007
ICLP 20072007
SAC 20072007
ICEIS DISI 20062006
ICLP 20062006

Wrote 7 papers:

ICLP-J-2014-CaropreseTTZ #abduction
A Measure of Arbitrariness in Abductive Explanations (LC, IT, MT, EZ), pp. 665–679.
ICLP-2008-CaropreseT #constraints #declarative #semantics
Declarative Semantics for Active Integrity Constraints (LC, MT), pp. 269–283.
ICEIS-AIDSS-2007-CaropreseTZ #implementation #logic programming #reasoning
Implementing Prioritized Reasoning in Logic Programming (LC, IT, EZ), pp. 94–100.
ICLP-2007-CaropreseTZ #constraints
View Updating Through Active Integrity Constraints (LC, IT, EZ), pp. 430–431.
SAC-2007-CaropreseTZ #evaluation #framework #reasoning
A framework for prioritized reasoning based on the choice evaluation (LC, IT, EZ), pp. 65–70.
ICEIS-DISI-2006-CaropreseGZ #consistency #database #dependence #functional #query
Merging, Repairing and Querying Inconsistent Databases with Functional and Inclusion Dependencies (LC, SG, EZ), pp. 38–45.
ICLP-2006-CaropreseGSZ #declarative #maintenance #semantics
Declarative Semantics of Production Rules for Integrity Maintenance (LC, SG, CS, EZ), pp. 26–40.

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.