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 × 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 DBLP: Greco:Sergio

Contributed to:

VLDB 20142014
ICLP 20132013
PPDP 20132013
ICLP 20122012
VLDB 20112011
VLDB 20102010
SAC 20082008
ICEIS DISI 20072007
ICLP 20072007
CIKM 20062006
ICEIS DISI 20062006
ICLP 20062006
ICEIS v2 20042004
PPDP 20042004
SAC 20042004
PPDP 20032003
LOPSTR 20022002
ICLP 20012001
ICALP 19991999
ICLP 19991999
JICSLP 19981998
VLDB 19981998
ICALP 19971997
ILPS 19971997
CIKM 19961996
ICALP 19951995
ILPS 19931993
PODS 19921992
PODS 19911991
NACLP 19901990
GT-VMT 20012001

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

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.