![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Sergio Greco
Person information
- affiliation: University of Calabria, Cosenza, Italy
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j79]Gianvincenzo Alfano
, Andrea Cohen, Sebastian Gottifredi, Sergio Greco, Francesco Parisi
, Guillermo Ricardo Simari:
Credulous acceptance in high-order argumentation frameworks with necessities: An incremental approach. Artif. Intell. 333: 104159 (2024) - [j78]Marco Calautti
, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Querying Data Exchange Settings Beyond Positive Queries. Theory Pract. Log. Program. 24(2): 250-278 (2024) - [c183]Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
Complexity of Credulous and Skeptical Acceptance in Epistemic Argumentation Framework. AAAI 2024: 10423-10432 - [c182]Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
On General Epistemic Abstract Argumentation Frameworks. AAMAS 2024: 2117-2119 - [c181]Pietro Hiram Guzzi, Patrizia Vizza, Giuseppe Tradigo, Sergio Greco, Pierangelo Veltri:
Design of a Telemedicine Infrastructure for Rural and Remote Areas. SEBD 2024: 387-391 - [i12]Gianvincenzo Alfano, Sergio Greco, Domenico Mandaglio, Francesco Parisi, Reza Shahbazian, Irina Trubitsyna:
Even-if Explanations: Formal Foundations, Priorities and Complexity. CoRR abs/2401.10938 (2024) - [i11]Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
Counterfactual and Semifactual Explanations in Abstract Argumentation: Formal Foundations, Complexity and Computation. CoRR abs/2405.04081 (2024) - 2023
- [j77]Seyedeh Khadijeh Hashemi
, Seyedeh Leili Mirtaheri
, Sergio Greco
:
Fraud Detection in Banking Data by Machine Learning Techniques. IEEE Access 11: 3034-3043 (2023) - [j76]Reza Shahbazian
, Sergio Greco
:
Generative Adversarial Networks Assist Missing Data Imputation: A Comprehensive Survey and Evaluation. IEEE Access 11: 88908-88928 (2023) - [j75]Gianvincenzo Alfano
, Marco Calautti, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks. Artif. Intell. 323: 103967 (2023) - [j74]Hasan Torabi, Seyedeh Leili Mirtaheri, Sergio Greco:
Practical autoencoder based anomaly detection by using vector reconstruction error. Cybersecur. 6(1): 1 (2023) - [j73]Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
On acceptance conditions in abstract argumentation frameworks. Inf. Sci. 625: 757-779 (2023) - [j72]Gianvincenzo Alfano
, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
An approximation algorithm for querying inconsistent knowledge bases. Intell. Syst. Appl. 17: 200146 (2023) - [c180]Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
Abstract Argumentation Framework with Conditional Preferences. AAAI 2023: 6218-6227 - [c179]Gianvincenzo Alfano, Sergio Greco, Domenico Mandaglio, Francesco Parisi, Irina Trubitsyna:
On the Verification and Existence Problems in Epistemic Argumentation Framework. AI³@AI*IA 2023 - [c178]Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
On the Abstract Reasoning Framework. DP@AI*IA 2023: 1-10 - [c177]Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
Epistemic Abstract Argumentation Framework: Formal Foundations, Computation and Complexity. AAMAS 2023: 409-417 - [c176]Gianvincenzo Alfano, Sergio Greco, Domenico Mandaglio
, Francesco Parisi, Irina Trubitsyna:
Complexity of Verification and Existence Problems in Epistemic Argumentation Framework. ECAI 2023: 77-84 - [c175]Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
Preferences and Constraints in Abstract Argumentation. IJCAI 2023: 3095-3103 - [c174]Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
Stable Semantics for Epistemic Abstract Argumentation Framework. Arg&App@KR 2023: 11-25 - [c173]Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
On the Conditional Preference-based Argumentation Framework. NMR 2023: 115-119 - [c172]Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
On the Extended Preference-based Constrained Argumentation Framework. NMR 2023: 120-124 - [c171]Marco Calautti, Sergio Greco, Hebatalla Hammad, Tariq Mahmood, Cristian Molinaro, Irina Trubitsyna:
Querying Data Exchange Settings Beyond Positive Queries. SEBD 2023: 360-368 - [c170]Tariq Mahmood, Seyedeh Khadijeh Hashemi, Seyedeh Leili Mirtaheri, Sergio Greco:
Machine Learning Techniques for Detecting Fraud in Credit Card Transactions. SEBD 2023: 469-478 - [i10]Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Querying Data Exchange Settings Beyond Positive Queries. CoRR abs/2307.03071 (2023) - 2022
- [j71]Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
:
Preference-based inconsistency-tolerant query answering under existential rules. Artif. Intell. 312: 103772 (2022) - [j70]Lucio La Cava
, Sergio Greco, Andrea Tagarelli:
Information consumption and boundary spanning in Decentralized Online Social Networks: The case of Mastodon users. Online Soc. Networks Media 30: 100220 (2022) - [j69]Marco Calautti
, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Query answering over inconsistent knowledge bases: A probabilistic approach. Theor. Comput. Sci. 935: 144-173 (2022) - [c169]Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
Incomplete Argumentation Frameworks: Properties and Complexity. AAAI 2022: 5451-5460 - [c168]Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
On Properties and Complexity of Incomplete Argumentation Framework. AI³@AI*IA 2022 - [c167]Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
Abstract Argumentation Framework with Priority Rules and Preferences. DP@AI*IA 2022: 32-41 - [c166]Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Querying Data Exchange Settings Beyond Positive Queries. Datalog 2022: 27-41 - [c165]Lucio La Cava, Sergio Greco, Andrea Tagarelli:
Network Analysis of the Information Consumption-Production Dichotomy in Mastodon User Behaviors. ICWSM 2022: 1378-1382 - [c164]Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
On Preferences and Priority Rules in Abstract Argumentation. IJCAI 2022: 2517-2524 - [c163]Lucio La Cava, Sergio Greco, Andrea Tagarelli:
Discovering the Landscape of Decentralized Online Social Networks through Mastodon. SEBD 2022: 207-214 - [c162]Marco Calautti, Luciano Caroprese, Sergio Greco, Cristian Molinaro, Irina Trubitsyna, Ester Zumpano:
Active Integrity Constraints with Existential Quantification. SEBD 2022: 284-291 - 2021
- [j68]Gianvincenzo Alfano
, Sergio Greco
, Francesco Parisi, Gerardo I. Simari
, Guillermo Ricardo Simari:
Incremental computation for structured argumentation over dynamic DeLP knowledge bases. Artif. Intell. 300: 103553 (2021) - [j67]Lucio La Cava
, Sergio Greco, Andrea Tagarelli
:
Understanding the growth of the Fediverse through the lens of Mastodon. Appl. Netw. Sci. 6(1): 64 (2021) - [j66]Marco Calautti, Luciano Caroprese
, Sergio Greco
, Cristian Molinaro, Irina Trubitsyna, Ester Zumpano:
Existential active integrity constraints. Expert Syst. Appl. 168: 114297 (2021) - [j65]Gianvincenzo Alfano
, Sergio Greco
:
Incremental Skeptical Preferred Acceptance in Dynamic Argumentation Frameworks. IEEE Intell. Syst. 36(2): 6-12 (2021) - [j64]Gianvincenzo Alfano
, Sergio Greco
, Francesco Parisi
:
Incremental Computation in Dynamic Argumentation Frameworks. IEEE Intell. Syst. 36(6): 80-86 (2021) - [j63]Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Gerardo I. Simari, Guillermo Ricardo Simari:
On the Incremental Computation of Semantics in Dynamic Argumentation. FLAP 8(6): 1749-1792 (2021) - [c161]Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
Argumentation Frameworks with Strong and Weak Constraints: Semantics and Complexity. AAAI 2021: 6175-6184 - [c160]Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
On Weak Constrained Argumentation Frameworks. AI³@AI*IA 2021 - [c159]Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
Defining the Semantics of Abstract Argumentation Frameworks through Logic Programs and Partial Stable Models (Extended Abstract). IJCAI 2021: 4735-4739 - [c158]Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Preference-based Inconsistency-Tolerant Query Answering under Existential Rules (Discussion Paper). SEBD 2021: 217-225 - [e12]Ester Zumpano, Andrea Tagarelli, Carmela Comito, Sergio Greco, Pierangelo Veltri, Agusti Solanas, Inmaculada Mora, Miquel Sànchez-Marrè:
Proceedings of the First International AAI4H - Advances in Artificial Intelligence for Healthcare Workshop co-located with the 24th European Conference on Artificial Intelligence (ECAI 2020), Santiago de Compostela, Spain, September 4, 2020. CEUR Workshop Proceedings 2820, CEUR-WS.org 2021 [contents] - [e11]Sergio Greco, Maurizio Lenzerini, Elio Masciari, Andrea Tagarelli:
Proceedings of the 29th Italian Symposium on Advanced Database Systems, SEBD 2021, Pizzo Calabro (VV), Italy, September 5-9, 2021. CEUR Workshop Proceedings 2994, CEUR-WS.org 2021 [contents] - [i9]Lucio La Cava
, Sergio Greco, Andrea Tagarelli:
Understanding the growth of the Fediverse through the lens of Mastodon. CoRR abs/2106.15473 (2021) - 2020
- [j62]Gianvincenzo Alfano
, Sergio Greco
, Francesco Parisi, Irina Trubitsyna:
On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach. Theory Pract. Log. Program. 20(5): 703-718 (2020) - [c157]Gianvincenzo Alfano
, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
On the Semantics of Recursive Bipolar AFs and Partial Stable Models. AI³@AI*IA 2020: 16-30 - [c156]Gianvincenzo Alfano
, Sergio Greco
, Francesco Parisi:
Computing Skeptical Preferred Acceptance in Dynamic Argumentation Frameworks with Recursive Attack and Support Relations. COMMA 2020: 67-78 - [c155]Gianvincenzo Alfano
, Andrea Cohen, Sebastian Gottifredi, Sergio Greco
, Francesco Parisi, Guillermo Ricardo Simari:
Dynamics in Abstract Argumentation Frameworks with Recursive Attack and Support Relations. ECAI 2020: 577-584 - [c154]Marco Calautti, Luciano Caroprese, Sergio Greco
, Cristian Molinaro, Irina Trubitsyna, Ester Zumpano:
Consistent query answering with prioritized active integrity constraints. IDEAS 2020: 3:1-3:10 - [c153]Federica Franco, Alessia Amelio
, Sergio Greco
:
3D Average Common Submatrix Measure. IRCDL 2020: 26-32 - [c152]Gianvincenzo Alfano
, Marco Calautti, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
Explainable Acceptance in Probabilistic Abstract Argumentation: Complexity and Approximation. KR 2020: 33-43 - [c151]Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Preference-based Inconsistency-Tolerant Query Answering under Existential Rules. KR 2020: 203-212 - [c150]Sergio Greco, Michele Ianni, Elio Masciari, Domenico Saccà, Irina Trubitsyna:
Smart Data Exchange. SEBD 2020: 24-31 - [c149]Marco Calautti, Nicola Fiorentino, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Probabilistic Answers over Inconsistent Knowledge Bases. SEBD 2020: 48-55 - [e10]Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone, Alexander Artikis, Gerhard Friedrich, Paul Fodor, Angelika Kimmig, Francesca A. Lisi, Marco Maratea, Alessandra Mileo, Fabrizio Riguzzi:
Proceedings 36th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2020, (Technical Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020. EPTCS 325, 2020 [contents] - [i8]Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach. CoRR abs/2008.02550 (2020)
2010 – 2019
- 2019
- [j61]Sergio Greco
, Cristian Molinaro, Irina Trubitsyna
:
Approximation algorithms for querying incomplete databases. Inf. Syst. 86: 28-45 (2019) - [c148]Gianvincenzo Alfano
, Sergio Greco, Francesco Parisi:
Is Your Argument Still Skeptically Accepted? DDC@AI*IA 2019: 1-11 - [c147]Nicola Fiorentino, Sergio Greco
, Cristian Molinaro, Irina Trubitsyna:
ACQUA: Approximate Consistent Query Answering Over Inconsistent Knowledge Bases. AIKE 2019: 107-110 - [c146]Sergio Greco
, Elio Masciari
, Domenico Saccà, Irina Trubitsyna:
HIKE: A Step Beyond Data Exchange. ER 2019: 423-438 - [c145]Alfredo Cuzzocrea, Sergio Greco
:
Flexible Querying and Analytics for Smart Cities and Smart Societies in the Age of Big Data: Overview of the FQAS 2019 International Conference. FQAS 2019: 25-28 - [c144]Gianvincenzo Alfano
, Sergio Greco
, Francesco Parisi:
An Efficient Algorithm for Skeptical Preferred Acceptance in Dynamic Argumentation Frameworks. IJCAI 2019: 18-24 - [c143]Gianvincenzo Alfano
, Sergio Greco
, Francesco Parisi:
On scaling the enumeration of the preferred extensions of abstract argumentation frameworks. SAC 2019: 1147-1153 - [c142]Nicola Fiorentino, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
A System Prototype for Approximate Query Answering over Incomplete Data. SEBD 2019 - [e9]Alfredo Cuzzocrea, Sergio Greco, Henrik Legind Larsen
, Domenico Saccà, Troels Andreasen, Henning Christiansen:
Flexible Query Answering Systems - 13th International Conference, FQAS 2019, Amantea, Italy, July 2-5, 2019, Proceedings. Lecture Notes in Computer Science 11529, Springer 2019, ISBN 978-3-030-27628-7 [contents] - 2018
- [j60]Gianvincenzo Alfano
, Sergio Greco
, Francesco Parisi:
A meta-argumentation approach for the efficient computation of stable and preferred extensions in dynamic bipolar argumentation frameworks. Intelligenza Artificiale 12(2): 193-211 (2018) - [j59]Sergio Greco
, Cristian Molinaro
, Chiara Pulice
:
Efficient Maintenance of Shortest Distances in Dynamic Graphs. IEEE Trans. Knowl. Data Eng. 30(3): 474-487 (2018) - [c141]Sergio Greco
, Cristian Molinaro, Irina Trubitsyna:
Algorithms for Computing Approximate Certain Answers over Incomplete Databases. IDEAS 2018: 1-4 - [c140]Gianvincenzo Alfano
, Sergio Greco
, Francesco Parisi:
Computing Extensions of Dynamic Abstract Argumentation Frameworks with Second-Order Attacks. IDEAS 2018: 183-192 - [c139]Sergio Greco
, Cristian Molinaro, Irina Trubitsyna:
Computing Approximate Query Answers over Inconsistent Knowledge Bases. IJCAI 2018: 1838-1846 - [c138]Gianvincenzo Alfano
, Sergio Greco, Francesco Parisi, Gerardo Ignacio Simari, Guillermo Ricardo Simari:
An Incremental Approach to Structured Argumentation over Dynamic Knowledge Bases. KR 2018: 78-87 - [c137]Gianvincenzo Alfano
, Sergio Greco
, Francesco Parisi, Gerardo I. Simari, Guillermo Ricardo Simari:
Incremental computation of warranted arguments in dynamic defeasible argumentation: the rule addition case. SAC 2018: 911-917 - [c136]Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Approximate Query Answering over Inconsistent Knowledge Bases. SEBD 2018 - [c135]Letizia Tanca, Paolo Atzeni, Davide Azzalini, Ilaria Bartolini, Luca Cabibbo, Luca Calderoni, Paolo Ciaccia, Valter Crescenzi, Juan Carlos De Martin, Selina Fenoglietto, Donatella Firmani, Sergio Greco, Francesco Isgrò, Dario Maio, Davide Martinenghi, Maristella Matera, Paolo Merialdo, Cristian Molinaro, Marco Patella, Roberto Prevete, Elisa Quintarelli, Antonio Santangelo, Andrea Tagarelli, Guglielmo Tamburrini, Riccardo Torlone:
Ethics-aware Data Governance (Vision Paper). SEBD 2018: 49 - [c134]Nicola Fiorentino, Sergio Greco
, Cristian Molinaro, Irina Trubitsyna:
ACID: A System for Computing Approximate Certain Query Answers over Incomplete Databases. SIGMOD Conference 2018: 1685-1688 - [p6]Marco Calautti, Luciano Caroprese
, Bettina Fazzinga
, Sergio Flesca, Filippo Furfaro, Sergio Greco, Cristian Molinaro, Francesco Parisi, Andrea Pugliese, Domenico Saccà, Irina Trubitsyna, Ester Zumpano:
Dealing with Inconsistency in Databases: An Overview. A Comprehensive Guide Through the Italian Database Research 2018: 143-167 - [e8]Sergio Flesca, Sergio Greco, Elio Masciari, Domenico Saccà:
A Comprehensive Guide Through the Italian Database Research Over the Last 25 Years. Studies in Big Data 31, Springer International Publishing 2018, ISBN 978-3-319-61892-0 [contents] - 2017
- [j58]Francesco Gullo
, Giovanni Ponti
, Andrea Tagarelli, Sergio Greco
:
An information-theoretic approach to hierarchical clustering of uncertain data. Inf. Sci. 402: 199-215 (2017) - [j57]Sergio Greco
, Cristian Molinaro, Chiara Pulice, Ximena Quintana:
Incremental maintenance of all-pairs shortest paths in relational DBMSs. Soc. Netw. Anal. Min. 7(1): 36:1-36:18 (2017) - [j56]Marco Calautti
, Sergio Greco
, Irina Trubitsyna:
Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols. ACM Trans. Comput. Log. 18(4): 28:1-28:42 (2017) - [c133]Gianvincenzo Alfano, Sergio Greco, Francesco Parisi:
Computing Stable and Preferred Extensions of Dynamic Bipolar Argumentation Frameworks. AI³@AI*IA 2017: 28-42 - [c132]Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Computing Approximate Certain Answers over Incomplete Databases. AMW 2017 - [c131]Gianvincenzo Alfano, Sergio Greco
, Francesco Parisi:
Efficient Computation of Extensions for Dynamic Abstract Argumentation Frameworks: An Incremental Approach. IJCAI 2017: 49-55 - [c130]Sergio Greco
, Cristian Molinaro, Chiara Pulice, Ximena Quintana:
Incremental maximum flow computation on evolving networks. SAC 2017: 1061-1067 - [c129]Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Approximation Algorithms for Computing Certain Answers over Incomplete Databases. SEBD 2017: 243 - [c128]Paolo Zicari
, Roberto Interdonato, Andrea Tagarelli, Sergio Greco
:
Controversy-Aware Hybrid Trust Inference in Online Social Networks. TrustCom/BigDataSE/ICESS 2017: 610-617 - [c127]Sergio Greco
, Cristian Molinaro, Chiara Pulice, Ximena Quintana:
Efficient Maximum Flow Maintenance on Dynamic Networks. WWW (Companion Volume) 2017: 1383-1385 - [e7]Sergio Flesca, Sergio Greco, Elio Masciari, Domenico Saccà:
Proceedings of the 25th Italian Symposium on Advanced Database Systems, Squillace Lido (Catanzaro), Italy, June 25-29, 2017. CEUR Workshop Proceedings 2037, CEUR-WS.org 2017 [contents] - 2016
- [j55]Marco Calautti
, Sergio Greco
, Cristian Molinaro, Irina Trubitsyna:
Exploiting Equality Generating Dependencies in Checking Chase Termination. Proc. VLDB Endow. 9(5): 396-407 (2016) - [j54]Marco Calautti
, Sergio Greco
, Cristian Molinaro, Irina Trubitsyna
:
Using linear constraints for logic program termination analysis. Theory Pract. Log. Program. 16(3): 353-377 (2016) - [c126]Sergio Greco
, Cristian Molinaro, Chiara Pulice, Ximena Quintana:
All-pairs shortest distances maintenance in relational DBMSs. ASONAM 2016: 215-222 - [c125]Giuseppe Tradigo, Francesca Cristiano, Stefano Alcaro, Sergio Greco
, Gianluca Pollastri
, Pierangelo Veltri
, Mattia Prosperi:
G-quadruplex Structure Prediction and integration in the GenData2020 data model. BCB 2016: 663-670 - [c124]Sergio Greco
, Francesco Parisi
:
Incremental Computation of Grounded Semantics for Dynamic Abstract Argumentation Frameworks. COREDEMA@ECAI 2016: 66-81 - [c123]Sergio Greco
, Francesco Parisi
:
Efficient Computation of Deterministic Extensions for Dynamic Abstract Argumentation Frameworks. ECAI 2016: 1668-1669 - [c122]Sergio Greco
, Francesco Parisi
:
Incremental Computation of Deterministic Extensions for Dynamic Argumentation Frameworks. JELIA 2016: 288-304 - [c121]Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Leveraging Equality Generating Dependencies for Chase Termination. SEBD 2016: 94-101 - [c120]Sergio Greco
, Cristian Molinaro, Chiara Pulice:
Efficient Maintenance of All-Pairs Shortest Distances. SSDBM 2016: 9:1-9:12 - [c119]Paolo Zicari
, Roberto Interdonato
, Diego Perna, Andrea Tagarelli
, Sergio Greco
:
Controversy in Trust Networks. TRUST 2016: 82-100 - 2015
- [b2]Sergio Greco, Cristian Molinaro:
Datalog and Logic Databases. Synthesis Lectures on Data Management, Morgan & Claypool Publishers 2015, ISBN 978-3-031-00726-2 - [j53]Sergio Greco
, Francesca Spezzano
, Irina Trubitsyna
:
Checking Chase Termination: Cyclicity Analysis and Rewriting Techniques. IEEE Trans. Knowl. Data Eng. 27(3): 621-635 (2015) - [j52]Marco Calautti
, Sergio Greco
, Francesca Spezzano
, Irina Trubitsyna
:
Checking termination of bottom-up evaluation of logic programs with function symbols. Theory Pract. Log. Program. 15(6): 854-889 (2015) - [c118]Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Rewriting-based Check of Chase Termination. AMW 2015 - [c117]Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Logic Program Termination Analysis Using Atom Sizes. IJCAI 2015: 2833-2839 - [c116]Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Checking Termination of Datalog with Function Symbols Through Linear Constraints. SEBD 2015: 192-199 - [i7]Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Using Linear Constraints for Logic Program Termination Analysis. CoRR abs/1512.04097 (2015) - 2014
- [j51]Sergio Greco
, Fabian Pijcke, Jef Wijsen
:
Certain Query Answering in Partially Consistent Databases. Proc. VLDB Endow. 7(5): 353-364 (2014) - [c115]Giuseppe Tradigo, Claudia Veneziano, Sergio Greco
, Pierangelo Veltri
:
An Architecture for Integrating Genetic and Clinical Data. ICCS 2014: 1959-1969 - [c114]Marco Calautti
, Sergio Greco
, Cristian Molinaro
, Irina Trubitsyna
:
Checking Termination of Logic Programs with Function Symbols through Linear Constraints. RuleML 2014: 97-111 - [e6]Sergio Greco, Antonio Picariello:
22nd Italian Symposium on Advanced Database Systems, SEBD 2014, Sorrento Coast, Italy, June 16-18, 2014. 2014 [contents] - [i6]Marco Calautti, Sergio Greco, Francesca Spezzano, Irina Trubitsyna:
Checking Termination of Bottom-Up Evaluation of Logic Programs with Function Symbols. CoRR abs/1407.2106 (2014) - 2013
- [j50]Sergio Greco
, Cristian Molinaro
, Irina Trubitsyna
:
Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments. Theory Pract. Log. Program. 13(4-5): 737-752 (2013) - [c113]Salvatore Romeo, Andrea Tagarelli, Francesco Gullo, Sergio Greco:
A Tensor-based Clustering Approach for Multiple Document Classifications. ICPRAM 2013: 200-205 - [c112]Sergio Greco, Cristian Molinaro, Irina Trubitsyna:
Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols. IJCAI 2013: 926-931 - [c111]Marco Calautti
, Sergio Greco
, Irina Trubitsyna
:
Detecting decidable classes of finitely ground logic programs with function symbols. PPDP 2013: 239-250 - 2012
- [b1]Sergio Greco, Cristian Molinaro, Francesca Spezzano
:
Incomplete Data and Data Dependencies in Relational Databases. Synthesis Lectures on Data Management, Morgan & Claypool Publishers 2012, ISBN 978-3-031-00765-1 - [j49]Sergio Greco
, Thomas Lukasiewicz:
Preface. Ann. Math. Artif. Intell. 64(2-3): 109-111 (2012) - [j48]Sergio Greco
, Cristian Molinaro
:
Probabilistic query answering over inconsistent databases. Ann. Math. Artif. Intell. 64(2-3): 185-207 (2012) - [c110]Giuseppe Tradigo, Pierangelo Veltri
, Onorina Marasco, Giovanna Scozzafava, Giuseppe Parlato, Sergio Greco
:
Studying neonatal TSH distribution by using GIS. HealthGIS 2012: 36-39 - [c109]Sergio Greco
, Francesca Spezzano
, Irina Trubitsyna
:
On the Termination of Logic Programs with Function Symbols. ICLP (Technical Communications) 2012: 323-333 - [c108]Sergio Greco, Francesca Spezzano
, Irina Trubitsyna:
Stratification-based Criteria for Checking Chase Termination. SEBD 2012: 185-192 - 2011
- [j47]Sergio Greco, Nicola Leone, Luigi Palopoli, Pasquale Rullo, Domenico Saccà:
A long tour from theory to practice. Intelligenza Artificiale 5(1): 133-138 (2011) - [j46]Sergio Greco
, Francesco Gullo
, Giovanni Ponti
, Andrea Tagarelli
:
Collaborative clustering of XML documents. J. Comput. Syst. Sci. 77(6): 988-1008 (2011) - [j45]Sergio Greco
, Cristian Molinaro
:
Consistent query answering over inconsistent databases. Int. J. Knowl. Based Intell. Eng. Syst. 15(3): 119-129 (2011) - [j44]Sergio Greco, Francesca Spezzano
, Irina Trubitsyna:
Stratification Criteria and Rewriting Techniques for Checking Chase Termination. Proc. VLDB Endow. 4(11): 1158-1168 (2011) - [c107]Andrea De Francesco, Sergio Greco
, Francesca Spezzano
, Irina Trubitsyna
:
ChaseT: A Tool for Checking Chase Termination. SUM 2011: 520-524 - [e5]Giansalvatore Mecca, Sergio Greco:
Sistemi Evoluti per Basi di Dati - SEBD 2011, Proceedings of the Nineteenth Italian Symposium on Advanced Database Systems, Maratea, Italy, June 26-29, 2011. 2011 [contents] - 2010
- [j43]Cristian Molinaro
, Sergio Greco
:
Polynomial time queries over inconsistent databases with functional dependencies and foreign keys. Data Knowl. Eng. 69(7): 709-722 (2010) - [j42]Francesca Spezzano
, Sergio Greco
:
Chase Termination: A Constraints Rewriting Approach. Proc. VLDB Endow. 3(1): 93-104 (2010) - [j41]Andrea Tagarelli
, Sergio Greco
:
Semantic clustering of XML documents. ACM Trans. Inf. Syst. 28(1): 3:1-3:56 (2010) - [j40]Sergio Greco
, Cristian Molinaro
, Irina Trubitsyna
, Ester Zumpano:
NP Datalog: A logic language for expressing search and optimization problems. Theory Pract. Log. Program. 10(2): 125-166 (2010) - [c106]Sergio Greco, Francesco Gullo, Giovanni Ponti, Andrea Tagarelli, Giuseppe Agapito:
Clustering XML Documents: a Distributed Collaborative Approach (Extended Abstract). SEBD 2010: 406-413 - [c105]Sergio Greco, Cristian Molinaro, Francesca Spezzano, Irina Trubitsyna:
Querying and Updating Inconsistent Databases (Extended Abstract). SEBD 2010: 438-445 - [c104]Giuseppe Tradigo, Pierangelo Veltri
, Sergio Greco
:
Geomedica: managing and querying clinical data distributions on geographical database systems. ICCS 2010: 979-986 - [p5]Sergio Greco
, Francesca A. Lisi
:
Logic Programming Languages for Databases and the Web. 25 Years GULP 2010: 183-203
2000 – 2009
- 2009
- [j39]Francesco Gullo
, Giovanni Ponti
, Andrea Tagarelli
, Sergio Greco
:
A time series representation model for accurate and fast similarity detection. Pattern Recognit. 42(11): 2998-3014 (2009) - [j38]Luciano Caroprese
, Sergio Greco
, Ester Zumpano:
Active Integrity Constraints for Database Consistency Maintenance. IEEE Trans. Knowl. Data Eng. 21(7): 1042-1058 (2009) - [c103]Andrea Tagarelli
, Mario Longo, Sergio Greco
:
Word Sense Disambiguation for XML Structure Feature Generation. ESWC 2009: 143-157 - [c102]Sergio Greco
, Francesco Gullo
, Giovanni Ponti
, Andrea Tagarelli
:
Collaborative Clustering of XML Documents. ICPP Workshops 2009: 579-586 - [c101]Francesco Gullo, Andrea Tagarelli, Sergio Greco:
Diversity-Based Weighting Schemes for Clustering Ensembles. SDM 2009: 437-448 - [c100]Cristian Molinaro, Francesca Spezzano, Sergio Greco:
A System Prototype for Computing Probabilistic Query Answers over Inconsistent Databases. SEBD 2009: 9-20 - [c99]Francesco Gullo, Giovanni Ponti, Andrea Tagarelli, Sergio Greco:
Information-Theoretic Hierarchical Clustering of Uncertain Data. SEBD 2009: 273-280 - [e4]Bipin C. Desai, Domenico Saccà, Sergio Greco:
International Database Engineering and Applications Symposium (IDEAS 2009), September 16-18, 2009, Cetraro, Calabria, Italy. ACM International Conference Proceeding Series, ACM 2009, ISBN 978-1-60558-402-7 [contents] - [i5]Sergio Greco, Cristian Molinaro, Irina Trubitsyna, Ester Zumpano:
NP Datalog: a Logic Language for Expressing NP Search and Optimization Problems. CoRR abs/0911.2785 (2009) - 2008
- [c98]Sergio Greco, Luigi Palopoli, Nicola Leone, Pasquale Rullo, Domenico Saccà:
Logic Programming in DataLog: A Long Tour from Theory to Practice. Il Milione 2008 - [c97]Sergio Greco
, Cristian Molinaro:
Approximate Probabilistic Query Answering over Inconsistent Databases. ER 2008: 311-325 - [c96]Francesco Gullo
, Giovanni Ponti
, Andrea Tagarelli
, Sergio Greco
:
A Hierarchical Algorithm for Clustering Uncertain Data via an Information-Theoretic Approach. ICDM 2008: 821-826 - [c95]Sergio Greco
, Cristian Molinaro:
Towards Relational Inconsistent Databases with Functional Dependencies. KES (2) 2008: 695-702 - [c94]Francesco Amato
, Mario Cannataro
, Carlo Cosentino, Francesco Montefusco
, Giuseppe Tradigo, Pierangelo Veltri
, Aldo Garozzo, Nicola Lombardo, Sergio Greco
, Claudia Manfredi
:
A web-based system for the collection and analysis of spectra signals for early detection of voice alterations. SAC 2008: 1405-1409 - [c93]Andrea Tagarelli, Mario Longo, Sergio Greco:
Extracting Structural Semantic Features for XML Data. SEBD 2008: 144-155 - [e3]Sergio Greco, Thomas Lukasiewicz:
Scalable Uncertainty Management, Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings. Lecture Notes in Computer Science 5291, Springer 2008, ISBN 978-3-540-87992-3 [contents] - 2007
- [j37]Filippo Furfaro
, Sergio Greco
, Cristian Molinaro
:
A three-valued semantics for querying and repairing inconsistent databases. Ann. Math. Artif. Intell. 51(2-4): 167-193 (2007) - [j36]Mario Cannataro
, Giovanni Cuda
, Marco Gaspari
, Sergio Greco
, Giuseppe Tradigo, Pierangelo Veltri
:
The EIPeptiDi tool: enhancing peptide discovery in ICAT-based LC MS/MS experiments. BMC Bioinform. 8 (2007) - [j35]Sergio Greco
, Irina Trubitsyna, Ester Zumpano:
On the Semantics of Logic Programs with Preferences. J. Artif. Intell. Res. 30: 501-523 (2007) - [c92]Luciano Caroprese
, Sergio Greco
, Cristian Molinaro:
Prioritized Active Integrity Constraints for Database Maintenance. DASFAA 2007: 459-471 - [c91]Sergio Greco, Cristian Molinaro, Francesco Parisi:
Preference rules in database querying. ICEIS (1) 2007: 119-124 - [c90]Sergio Greco
, Cristian Molinaro:
Querying and Repairing Inconsistent Databases Under Three-Valued Semantics. ICLP 2007: 149-164 - [c89]Francesco Gullo, Giovanni Ponti, Andrea Tagarelli, Sergio Greco:
Accurate and Fast Similarity Detection in Time Series. SEBD 2007: 172-183 - [c88]Sergio Greco, Cristian Molinaro, Francesco Parisi:
Exploiting Preference Rules for Querying Databases. SEBD 2007: 405-413 - 2006
- [j34]Sergio Flesca
, Filippo Furfaro
, Sergio Greco
:
A graph grammars based framework for querying graph-like data. Data Knowl. Eng. 59(3): 652-680 (2006) - [j33]Sergio Flesca
, Filippo Furfaro
, Sergio Greco
:
Weighted path queries on semistructured databases. Inf. Comput. 204(5): 679-696 (2006) - [c87]Sergio Greco
, Massimiliano Ruffolo, Andrea Tagarelli
:
Effective and efficient similarity search in time series. CIKM 2006: 808-809 - [c86]Sergio Greco
, Cristian Molinaro, Irina Trubitsyna:
Implementation and Experimentation of the Logic Language NP Datalog. DEXA 2006: 622-633 - [c85]Luciano Caroprese, Sergio Greco, Ester Zumpano:
A Logic Programming Approach to Querying and Integrating P2P Deductive Databases. FLAIRS 2006: 31-36 - [c84]Luciano Caroprese, Sergio Greco, Ester Zumpano:
Merging, Repairing and Querying Inconsistent Databases with Functional and Inclusion Dependencies. ICEIS (1) 2006: 38-45 - [c83]Luciano Caroprese
, Sergio Greco
, Cristina Sirangelo, Ester Zumpano:
Declarative Semantics of Production Rules for Integrity Maintenance. ICLP 2006: 26-40 - [c82]Luciano Caroprese
, Sergio Greco
, Irina Trubitsyna, Ester Zumpano:
Preferred Generalized Answers for Inconsistent Databases. ISMIS 2006: 344-349 - [c81]Sergio Greco
, Irina Trubitsyna, Ester Zumpano:
On the Semantics of Logic Programs with Preferences. JELIA 2006: 203-215 - [c80]Andrea Tagarelli, Sergio Greco
:
Toward Semantic XML Clustering. SDM 2006: 188-199 - [c79]Cristian Molinaro, Sergio Greco, Luciano Caroprese:
Prioritized Active Integrity Constraints for Database Maintenance. SEBD 2006: 20-31 - [c78]Andrea Tagarelli, Sergio Greco:
SemXClust: A System for Semantic XML Clustering. SEBD 2006: 72-79 - 2005
- [j32]Sergio Flesca
, Sergio Greco
:
Partially ordered regular languages for graph queries. J. Comput. Syst. Sci. 70(1): 1-25 (2005) - [j31]Gianluigi Greco, Sergio Greco
, Irina Trubitsyna
, Ester Zumpano:
Optimization of bound disjunctive queries with constraints. Theory Pract. Log. Program. 5(6): 713-745 (2005) - [j30]Sergio Flesca
, Sergio Greco
, Andrea Tagarelli
, Ester Zumpano:
Mining User Preferences, Page Content and Usage to Personalize Website Navigation. World Wide Web 8(3): 317-345 (2005) - [c77]Sergio Greco
, Irina Trubitsyna
, Ester Zumpano:
NP Datalog: A Logic Language for NP Search and Optimization Queries. IDEAS 2005: 344-353 - [c76]Sergio Greco
, Irina Trubitsyna, Ester Zumpano:
Aggregates and Preferences in Logic Programming. ISMIS 2005: 413-424 - [c75]Alfredo Cuzzocrea
, Filippo Furfaro
, Sergio Greco
, Elio Masciari
, Giuseppe M. Mazzeo
, Domenico Saccà
:
A Distributed System for Answering Range Queries on Sensor Network Data. PerCom Workshops 2005: 369-373 - [c74]Luciano Caroprese, Sergio Greco, Cristina Sirangelo, Ester Zumpano:
A logic based approach to P2P Databases. SEBD 2005: 67-74 - [c73]Sergio Greco
, Alessandra Scicchitano, Andrea Tagarelli
, Ester Zumpano:
A Mobile-Aware System for Website Personalization. WAIM 2005: 810-815 - [c72]Sergio Flesca
, Filippo Furfaro
, Sergio Greco
, Ester Zumpano:
Querying and Repairing Inconsistent XML Data. WISE 2005: 175-188 - [r6]Sergio Greco, Ester Zumpano:
Consistent Queries Over Databases with Integrity Constraints. Encyclopedia of Information Science and Technology (I) 2005: 529-534 - [r5]Sergio Flesca
, Sergio Greco
, Ester Zumpano:
Managing Inconsistent Databases Using Active Integrity Constraints. Encyclopedia of Database Technologies and Applications 2005: 345-350 - [r4]Sergio Greco
, Cristina Sirangelo, Irina Trubitsyna
, Ester Zumpano:
Preferred Repairs for Inconsistent Databases. Encyclopedia of Database Technologies and Applications 2005: 480-485 - [r3]Sergio Greco
, Ester Zumpano:
Rewriting and Efficient Computation of Bound Disjunctive Datalog Queries. Encyclopedia of Database Technologies and Applications 2005: 536-541 - [r2]Sergio Flesca
, Filippo Furfaro
, Sergio Greco
, Ester Zumpano:
Repairing Inconsistent XML Data with Functional Dependencies. Encyclopedia of Database Technologies and Applications 2005: 542-547 - [r1]Sergio Greco
, Ester Zumpano:
Rewriting and Efficient Computation of Bound Disjunctive Datalog Queries. Encyclopedia of Database Technologies and Applications 2005: 562-569 - 2004
- [j29]Andrea Tagarelli, Irina Trubitsyna, Sergio Greco:
Combining linear programming and clustering techniques for the classification of research centers. AI Commun. 17(3): 111-122 (2004) - [j28]Gianluigi Greco, Sergio Greco, Ester Zumpano:
Collaborative Filtering Supporting Web Site Navigation. AI Commun. 17(3): 155-166 (2004) - [j27]Filippo Furfaro, Gianluigi Greco, Sergio Greco
:
Minimal founded semantics for disjunctive logic programs and deductive databases. Theory Pract. Log. Program. 4(1-2): 75-93 (2004) - [j26]Gianluigi Greco, Sergio Greco
, Ester Zumpano:
Web Communities: Models and Algorithms. World Wide Web 7(1): 58-82 (2004) - [c71]Sergio Greco
, Cristina Sirangelo, Irina Trubitsyna, Ester Zumpano:
Feasibility Conditions and Preference Criteria in Querying and Repairing Inconsistent Databases. DEXA 2004: 44-55 - [c70]Andrea Tagarelli, Irina Trubitsyna, Sergio Greco:
Mining Scientific Results Through the Combined Use of Clustering and Linear Programming Techniques. ICEIS (2) 2004: 84-91 - [c69]Sergio Flesca, Sergio Greco, Andrea Tagarelli, Ester Zumpano:
Non-Invasive Support for Personalized Navigation of Websites. IDEAS 2004: 183-192 - [c68]Sergio Flesca
, Sergio Greco
, Ester Zumpano:
Active integrity constraints. PPDP 2004: 98-107 - [c67]Ester Zumpano, Sergio Greco
, Irina Trubitsyna, Pierangelo Veltri:
On the semantics and expressive power of Datalog-like languages for NP search and optimization problems. SAC 2004: 692-697 - [c66]Sergio Greco, Andrea Tagarelli, Irina Trubitsyna, Ester Zumpano:
A System Supporting Website Navigation. SEBD 2004: 142-149 - [c65]Andrea Tagarelli, Sergio Greco
:
Clustering Transactional XML Data with Semantically-Enriched Content and Structural Features. WISE 2004: 266-278 - [i4]Gianluigi Greco, Sergio Greco, Irina Trubitsyna, Ester Zumpano:
Optimization of Bound Disjunctive Queries with Constraints. CoRR cs.LO/0406013 (2004) - 2003
- [j25]Sergio Greco
:
Binding Propagation Techniques for the Optimization of Bound Disjunctive Queries. IEEE Trans. Knowl. Data Eng. 15(2): 368-385 (2003) - [j24]Gianluigi Greco, Sergio Greco
, Ester Zumpano:
A Logical Framework for Querying and Repairing Inconsistent Databases. IEEE Trans. Knowl. Data Eng. 15(6): 1389-1408 (2003) - [c64]Sergio Greco
, Cristina Sirangelo, Irina Trubitsyna
, Ester Zumpano:
Preferred Repairs for Inconsistent Databases. IDEAS 2003: 202-211 - [c63]Sergio Greco
, Ester Zumpano:
On the rewriting and efficient computation of bound disjunctive datalog queries. PPDP 2003: 136-147 - [c62]Sergio Flesca, Gianluigi Greco, Sergio Greco
, Ester Zumpano:
A Lightweight Tool for Easy Web Site Navigation. WISE 2003: 134-146 - [c61]Sergio Flesca, Filippo Furfaro, Sergio Greco
, Ester Zumpano:
Repairs and Consistent Answers for XML Data with Functional Dependencies. Xsym 2003: 238-253 - [p4]Gianluigi Greco, Sergio Greco, Ester Zumpano:
Repairing and Querying Inconsistent Databases. Effective Databases for Text & Document Management 2003: 318-359 - [e2]Sergio Flesca, Sergio Greco, Domenico Saccà, Ester Zumpano:
Proceedings of the Eleventh Italian Symposium on Advanced Database Systems, SEBD 2003, Cetraro (CS), Italy, June 24-27, 2003. Rubettino Editore 2003, ISBN 88-498-0629-9 [contents] - [i3]Sergio Greco, Carlo Zaniolo:
Greedy Algorithms in Datalog. CoRR cs.DB/0312041 (2003) - [i2]Sergio Flesca, Sergio Greco:
Declarative Semantics for Active Rules. CoRR cs.DB/0312042 (2003) - [i1]Filippo Furfaro, Gianluigi Greco, Sergio Greco:
Minimal founded semantics for disjunctive logic programs and deductive databases. CoRR cs.LO/0312028 (2003) - 2002
- [j23]Filippo Furfaro
, Sergio Greco
, Sumit Ganguly, Carlo Zaniolo:
Pushing extrema aggregates to optimize logic queries. Inf. Syst. 27(5): 321-343 (2002) - [j22]Stefano Basta, Sergio Flesca
, Sergio Greco
:
Functional Queries in Datalog. New Gener. Comput. 20(4): 339-372 (2002) - [j21]Sergio Flesca
, Filippo Furfaro, Sergio Greco:
A Query Language for XML Based on Graph Grammars. World Wide Web 5(2): 125-158 (2002) - [c60]Gianluigi Greco, Sergio Greco, Ester Zumpano:
A Logic Language for Database Integration. APPIA-GULP-PRODE 2002: 71- - [c59]Sergio Greco
, Domenico Saccà:
Search and Optimization Problems in Datalog. Computational Logic: Logic Programming and Beyond 2002: 61-82 - [c58]Sergio Flesca, Filippo Furfaro, Sergio Greco:
A Graphical XML Query Language. ICDE 2002: 264 - [c57]Sergio Flesca, Filippo Furfaro, Sergio Greco
:
XGL: a graphical query language for XML. IDEAS 2002: 86-95 - [c56]Gianluigi Greco, Sergio Greco
, Ester Zumpano:
A Logic Framework for the Integration of Databases. ISMIS 2002: 274-284 - [c55]Gianluigi Greco, Sergio Greco
, Ester Zumpano:
STED: A System for Topic Enumeration and Distillation. ITCC 2002: 294-299 - [c54]Gianluigi Greco, Sergio Greco
, Irina Trubitsyna, Ester Zumpano:
Translating Datalog-Like Optimization Queries into ILOG Programs. LOPSTR 2002: 48-49 - [c53]Gianluigi Greco, Sergio Greco
, Irina Trubitsyna, Ester Zumpano:
Query Optimization of Disjunctive Databases with Constraints through Binding Propagation. LPAR 2002: 216-230 - [c52]Gianluigi Greco, Sergio Greco
, Ester Zumpano:
A Stochastic Approach for Modeling and Computing Web Communities. WISE 2002: 43-52 - [p3]Sergio Greco, Ester Zumpano:
Consistent Queries Over Databases with Integrity Constraints. Database Integrity 2002: 172-202 - [e1]Sergio Flesca, Sergio Greco, Nicola Leone
, Giovambattista Ianni:
Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings. Lecture Notes in Computer Science 2424, Springer 2002, ISBN 3-540-44190-5 [contents] - 2001
- [j20]Sergio Greco
, Domenico Saccà
, Carlo Zaniolo:
Extending stratified datalog to capture complexity classes ranging from P to QH. Acta Informatica 37(10): 699-725 (2001) - [j19]Sergio Greco, Elio Masciari, Luigi Pontieri:
Combining inductive and deductive tools for data analysis. AI Commun. 14(2): 69-82 (2001) - [j18]Sergio Flesca
, Sergio Greco
:
Rewriting Queries Using Views. IEEE Trans. Knowl. Data Eng. 13(6): 980-995 (2001) - [j17]Sergio Flesca, Sergio Greco:
Declarative semantics for active rules. Theory Pract. Log. Program. 1(1): 43-69 (2001) - [j16]Sergio Greco
, Carlo Zaniolo:
Greedy Algorithms in Datalog. Theory Pract. Log. Program. 1(4): 381-407 (2001) - [j15]Gianluigi Greco, Sergio Greco, Ester Zumpano:
A Probabilistic Approach for Distillation and Ranking of Web Pages. World Wide Web 4(3): 189-207 (2001) - [c51]Gianluigi Greco, Sergio Greco, Ester Zumpano:
Deterministic semantics for disjunctive logic programs. APPIA-GULP-PRODE 2001: 17-30 - [c50]Sergio Greco, Ester Zumpano:
Computing Repairs for Inconsistent Databases. CODAS 2001: 33-42 - [c49]Sergio Greco
, Luigi Pontieri, Ester Zumpano:
Integrating and Managing Conflicting Data. Ershov Memorial Conference 2001: 349-362 - [c48]Gianluigi Greco, Sergio Greco
, Ester Zumpano:
A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases. ICLP 2001: 348-364 - [c47]Sergio Greco, Luigi Pontieri, Ester Zumpano:
A Technique for Information System Integration. ISTA 2001: 75-84 - [c46]Sergio Greco, Luigi Pontieri, Ester Zumpano:
Integrating Possibly Conflicting Data. SEBD 2001: 241-248 - [c45]Sergio Flesca, Filippo Furfaro, Sergio Greco:
Weighted Path Queries on Web Data. WebDB 2001: 7-12 - [c44]Gianluigi Greco, Sergio Greco
, Ester Zumpano:
A Probabilistic Approach for Discovering Authoritative Web Pages. WISE (1) 2001: 133 - [c43]Sergio Flesca
, Filippo Furfaro
, Sergio Greco
:
Graph Grammars for Querying Graph-like Data. GT-VMT@ICALP 2001: 247-256 - 2000
- [c42]Giuseppe Dattilo, Sergio Greco
, Elio Masciari, Luigi Pontieri:
A Hybrid Technique for Data Mining on Balance-Sheet Data. DaWaK 2000: 419-424 - [c41]Sergio Flesca, Sergio Greco
:
Querying Graph Databases. EDBT 2000: 510-524 - [c40]Sergio Greco, Elio Masciari, Luigi Pontieri:
Combining Different Data Mining Techniques to Improve Data Analysis. FQAS 2000: 455-464 - [c39]Sergio Flesca, Sergio Greco, Ester Zumpano:
Modeling and Querying XML-Data. IDEAS 2000: 275-286 - [c38]Sergio Greco
, Ester Zumpano:
Querying Inconsistent Databases. LPAR 2000: 308-325 - [c37]Sergio Flesca, Sergio Greco, G. Strazzulla:
Rappresentazione ed interrogazione di dati XML. SEBD 2000: 95-108 - [c36]Stefano Basta, Sergio Greco, Ester Zumpano:
Integrazione di basi dati con vincoli. SEBD 2000: 333-344
1990 – 1999
- 1999
- [j14]Sergio Greco
, Domenico Saccà
:
Complexity and Expressive Power of Deterministic Semantics for DATALOG¬. Inf. Comput. 153(1): 81-98 (1999) - [j13]Sergio Greco, Domenico Saccà, Carlo Zaniolo:
Grammars and Automata to Optimize Chain Logic Queries. Int. J. Found. Comput. Sci. 10(3): 349-372 (1999) - [j12]Stefano Basta, Sergio Flesca, Sergio Greco:
Optimization of Bounded Linear Recursive Queries. Netw. Inf. Syst. J. 2(4): 387-412 (1999) - [j11]Sergio Greco
:
Dynamic Programming in Datalog with Aggregates. IEEE Trans. Knowl. Data Eng. 11(2): 265-283 (1999) - [c35]Sergio Flesca, Sergio Greco, P. Lambardi, D. Romeo:
A System Prototype for the Optimization of Disjunctive Queries. APPIA-GULP-PRODE 1999: 229-242 - [c34]Sergio Flesca, Sergio Greco
:
Rewriting Queries Using Views. DEXA 1999: 352-361 - [c33]Sergio Flesca, Sergio Greco
:
Partially Ordered Regular Languages for Graph Queries. ICALP 1999: 321-330 - [c32]Sergio Greco:
Optimization of Disjunctive Queries. ICLP 1999: 441-455 - [c31]Sergio Greco
:
Minimal Founded Semantics for Disjunctive Logic Programming. LPNMR 1999: 221-235 - [c30]Stefano Basta, Sergio Flesca, Sergio Greco, Ester Zumpano:
A System Prototype for the Evaluation of Queries on Materialized Views. SEBD 1999: 291-306 - 1998
- [j10]Sergio Greco
:
Non-Determinism and Weak Constraints in Datalog. New Gener. Comput. 16(4): 373-396 (1998) - [c29]Stefano Basta, Sergio Flesca, Sergio Greco:
Extending Datalog to Express Functional Queries: A Language and its Implementation. APPIA-GULP-PRODE 1998: 165-174 - [c28]Sergio Flesca, Sergio Greco
:
Declarative Semantics for Active Rules. DEXA 1998: 871-880 - [c27]Sergio Greco
, Carlo Zaniolo, Sumit Ganguly:
Optimization of Logic Queries with MIN and MAX Predicates. FQAS 1998: 188-202 - [c26]Sergio Greco, Carlo Zaniolo:
Greedy Algorithms in Datalog with Choice and Negation. IJCSLP 1998: 294-309 - [c25]Sergio Flesca, Sergio Greco:
Deterministic and Nondeterministic Declarative Semantics for Active Rules. SEBD 1998: 203-217 - [c24]Sergio Greco:
Binding Propagation in Disjunctive Databases. VLDB 1998: 287-298 - 1997
- [j9]Fosca Giannotti, Sergio Greco
, Domenico Saccà
, Carlo Zaniolo:
Programming with Non-Determinism in Deductive Databases. Ann. Math. Artif. Intell. 19(1-2): 97-125 (1997) - [j8]Sergio Greco
, Domenico Saccà
:
"Possible is Certain" is Desirable and Can Be Expressive. Ann. Math. Artif. Intell. 19(1-2): 147-168 (1997) - [c23]Sergio Greco
, Domenico Saccà:
Deterministic Semantics for Datalog¬: Complexity and Expressive Power. DOOD 1997: 337-350 - [c22]Francesco Buccafurri, Sergio Greco
, Domenico Saccà:
The Expressive Power of Unique Total Stable Model Semantics. ICALP 1997: 849-859 - [c21]Sergio Greco
, Nicola Leone, Francesco Scarcello:
DATALOG with Nested Rules. LPKR 1997: 52-65 - [c20]Stefano Basta, Sergio Greco:
Un Linguaggio per Interrogazioni Funzionali: Implementazione di un Prototipo. SEBD 1997: 305-324 - [c19]Sergio Greco, Domenico Saccà:
NP Optimization Problems in Datalog. ILPS 1997: 181-195 - 1996
- [j7]Natraj Arni, Sergio Greco, Domenico Saccà
:
Matching of Bounded Set Terms in the Logic Language LDL++. J. Log. Program. 27(1): 73-87 (1996) - [j6]Sergio Greco, Luigi Palopoli, Eugenio Spadafora:
Querying Datalog with Arrays: Design and Implementation Issues. J. Syst. Integr. 6(4): 299-327 (1996) - [c18]Sergio Greco:
Extending Datalog with Choice and Weak Constraints. APPIA-GULP-PRODE 1996: 329-340 - [c17]Sergio Greco, Eugenio Spadafora:
Implementation of Chain Logic Queries. APPIA-GULP-PRODE 1996: 341-354 - [c16]Sergio Greco, Domenico Saccà:
The Expressive Power of "Possible-is-Certain" Semantics (Extended Abstract). ASIAN 1996: 33-42 - [c15]Sergio Greco:
Optimal Unification of Bounded Simple Set Terms. CIKM 1996: 326-336 - [c14]Sergio Greco, Cristinel Mateis
, Eugenio Spadafora:
The Complexity of Weak Unification of Bounded Simple Set Terms. DEXA 1996: 224-233 - [c13]Sergio Greco, Cristinel Mateis
, Eugenio Spadafora:
Unification of Bounded Simple Set Terms in Deductive Databases. Logic in Databases 1996: 435-453 - 1995
- [j5]Sergio Greco, Luigi Palopoli
, Eugenio Spadafora:
Extending Datalog with Arrays. Data Knowl. Eng. 17(1): 31-57 (1995) - [j4]Sumit Ganguly, Sergio Greco, Carlo Zaniolo:
Extrema Predicates in Deductive Databases. J. Comput. Syst. Sci. 51(2): 244-259 (1995) - [c12]Sergio Greco, Luigi Palopoli, Eugenio Spadafora:
DatalogA: Array Manipulations in a Deductive Database Language. DASFAA 1995: 180-188 - [c11]Sergio Greco, Domenico Saccà, Carlo Zaniolo:
The PushDown Method to Optimize Chain Logic Programs (Extended Abstract). ICALP 1995: 523-534 - [c10]Sergio Greco, Domenico Saccà, Carlo Zaniolo:
DATALOG Queries with Stratified Negation and Choice: from P to DP. ICDT 1995: 82-96 - 1994
- [c9]Sergio Greco, Carlo Zaniolo:
Efficient Execution of Recursive Queries Through Controlled Binding Propagation. ISMIS 1994: 193-202 - [c8]Francesco Buccafurri, Sergio Greco, Eugenio Spadafora:
Implementazione di Interrogazioni Semplici Concatenate. SEBD 1994: 187-205 - 1993
- [c7]Sergio Greco:
Optimization of Chain Queries. DASFAA 1993: 261-268 - [c6]Sergio Greco, Domenico Saccà, Carlo Zaniolo:
Dynamic Programming Optimization for Logic Queries with Aggregates. ILPS 1993: 575-589 - [p2]Sergio Greco, Massimo Romeo, Domenico Saccà:
Evaluation of Negative Logic Programs. LOGIDATA+: Deductive Databases with Complex Objects 1993: 148-158 - [p1]Alessandro Artale, Jean Paul Ballerini, Filippo Cacace, Stefano Ceri, Francesca Cesarini, Anna Formica, Herman Lam, Sergio Greco, G. Marrella, Michele Missikoff, Luigi Palopoli, L. Pichetti, Domenico Saccà, Silvio Salza, Claudio Sartori, Giovanni Soda, Letizia Tanca, M. Toiati:
Prototypes in the LOGIDATA+ Project. LOGIDATA+: Deductive Databases with Complex Objects 1993: 252-273 - 1992
- [j3]Sergio Greco, Nicola Leone
, Pasquale Rullo:
COMPLEX: An Object-Oriented Logic Programming System. IEEE Trans. Knowl. Data Eng. 4(4): 344-359 (1992) - [c5]Sergio Greco, Carlo Zaniolo:
Optimization of Linear Logic Programs Using Counting Methods. EDBT 1992: 72-87 - [c4]Natraj Arni, Sergio Greco, Domenico Saccà:
Set-Term Matching in Logic Programming. ICDT 1992: 436-449 - [c3]Sergio Greco, Carlo Zaniolo, Sumit Ganguly:
Greedy by Choice. PODS 1992: 105-113 - 1991
- [j2]Sergio Greco, Luigi Palopoli
, Pasquale Rullo:
Netlog: A Logic Query Language for Network Model Databases. Data Knowl. Eng. 6: 183-203 (1991) - [c2]Sumit Ganguly, Sergio Greco, Carlo Zaniolo:
Minimum and Maximum Predicates in Logic Programming. PODS 1991: 154-163 - 1990
- [c1]Sergio Greco, Domenico Saccà:
Negative Logic Programs. NACLP 1990: 480-497
1980 – 1989
- 1989
- [j1]Sergio Greco, Pasquale Rullo:
Complex-Prolog: a logic database language for handling complex objects. Inf. Syst. 14(1): 79-87 (1989)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-16 00:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint