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: Caroprese:Luciano
Contributed to:
20142008
20072007
200720062006Wrote 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.