Travelled to:1 × Brazil
1 × Canada
1 × Czech Republic
1 × Sweden
1 × United Kingdom
2 × Hungary
2 × Italy
2 × Spain
3 × Cyprus
3 × Portugal
8 × USA
Collaborated with:E.Zumpano I.Trubitsyna D.Saccà C.Zaniolo ∅ C.Molinaro F.Spezzano S.Flesca A.Tagarelli S.Ganguly L.Caroprese G.Greco P.Veltri F.Pijcke J.Wijsen M.Calautti F.Parisi M.Ruffolo F.Buccafurri F.Furfaro C.Sirangelo F.Amato M.Cannataro C.Cosentino F.Montefusco G.Tradigo A.Garozzo N.Lombardo C.Manfredi
Talks about:program (11) queri (11) logic (8) optim (7) databas (6) datalog (5) function (4) termin (4) semant (4) inconsist (3)
Person: Sergio Greco
DBLP: Greco:Sergio
Contributed to:
2014
2013
2013201220112010
2008
20072007
2006200620062004200420042003
20022001
199919991998199819971997199619951993
199219911990
2001Wrote 31 papers:
- VLDB-2014-GrecoPW #consistency #database #query
- Certain Query Answering in Partially Consistent Databases (SG, FP, JW), pp. 353–364.
- 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.
- PPDP-2013-CalauttiGT #decidability #detection #logic programming #source code
- Detecting decidable classes of finitely ground logic programs with function symbols (MC, SG, IT), pp. 239–250.
- ICLP-2012-GrecoST #logic programming #on the #source code #termination
- On the Termination of Logic Programs with Function Symbols (SG, FS, IT), pp. 323–333.
- VLDB-2011-GrecoST #termination
- Stratification Criteria and Rewriting Techniques for Checking Chase Termination (SG, FS, IT), pp. 1158–1168.
- VLDB-2010-SpezzanoG #approach #constraints #termination
- Chase Termination: A Constraints Rewriting Approach (FS, SG), pp. 93–104.
- SAC-2008-AmatoCCMTVGLGM #analysis #detection
- A web-based system for the collection and analysis of spectra signals for early detection of voice alterations (FA, MC, CC, FM, GT, PV, AG, NL, SG, CM), pp. 1405–1409.
- 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.
- CIKM-2006-GrecoRT #effectiveness #performance #similarity
- Effective and efficient similarity search in time series (SG, MR, AT), pp. 808–809.
- 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.
- ICEIS-v2-2004-TagarelliTG #clustering #linear #mining #programming
- Mining Scientific Results Through the Combined Use of Clustering and Linear Programming Techniques (AT, IT, SG), pp. 84–91.
- PPDP-2004-FlescaGZ #constraints
- Active integrity constraints (SF, SG, EZ), pp. 98–107.
- SAC-2004-ZumpanoGTV #on the #optimisation #power of #problem #semantics
- On the semantics and expressive power of Datalog-like languages for NP search and optimization problems (EZ, SG, IT, PV), pp. 692–697.
- PPDP-2003-GrecoZ #bound #datalog #on the #performance #query
- On the rewriting and efficient computation of bound disjunctive datalog queries (SG, EZ), pp. 136–147.
- LOPSTR-2002-GrecoGTZ #optimisation #query #source code
- Translating Datalog-Like Optimization Queries into ILOG Programs (GG, SG, IT, EZ), pp. 48–49.
- ICLP-2001-GrecoGZ #approach #consistency #database #integration #logic programming #query
- A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases (GG, SG, EZ), pp. 348–364.
- ICALP-1999-FlescaG #graph #order #query #regular expression
- Partially Ordered Regular Languages for Graph Queries (SF, SG), pp. 321–330.
- ICLP-1999-Greco #optimisation #query
- Optimization of Disjunctive Queries (SG), pp. 441–455.
- JICSLP-1998-GrecoZ #algorithm #datalog
- Greedy Algorithms in Datalog with Choice and Negation (SG, CZ), pp. 294–309.
- VLDB-1998-Greco #database
- Binding Propagation in Disjunctive Databases (SG), pp. 287–298.
- ICALP-1997-BuccafurriGS #power of #semantics
- The Expressive Power of Unique Total Stable Model Semantics (FB, SG, DS), pp. 849–859.
- ILPS-1997-GrecoS #datalog #optimisation #problem
- NP Optimization Problems in Datalog (SG, DS), pp. 181–195.
- CIKM-1996-Greco #bound #set #unification
- Optimal Unification of Bounded Simple Set Terms (SG), pp. 326–336.
- ICALP-1995-GrecoSZ #automaton #logic programming #source code
- The PushDown Method to Optimize Chain Logic Programs (SG, DS, CZ), pp. 523–534.
- ILPS-1993-GrecoSZ #logic #optimisation #programming #query
- Dynamic Programming Optimization for Logic Queries with Aggregates (SG, DS, CZ), pp. 575–589.
- PODS-1992-GrecoZG
- Greedy by Choice (SG, CZ, SG), pp. 105–113.
- PODS-1991-GangulyGZ #logic programming
- Minimum and Maximum Predicates in Logic Programming (SG, SG, CZ), pp. 154–163.
- NACLP-1990-GrecoS #logic programming #source code
- Negative Logic Programs (SG, DS), pp. 480–497.
- GT-VMT-2001-FlescaFG #graph grammar #query
- Graph Grammars for Querying Graph-like Data (SF, FF, SG), pp. 247–256.