


default search action
Sergio Greco
Person information
- affiliation: University of Calabria, Cosenza, Italy
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j81]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) - [j80]Gianvincenzo Alfano
, Sergio Greco, Domenico Mandaglio
, Francesco Parisi
, Irina Trubitsyna
:
Abstract argumentation frameworks with strong and weak constraints. Artif. Intell. 336: 104205 (2024) - [j79]Seyedeh Leili Mirtaheri, Sergio Greco, Reza Shahbazian
:
A self-attention TCN-based model for suicidal ideation detection from social media posts. Expert Syst. Appl. 255: 124855 (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) - [c186]Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
Complexity of Credulous and Skeptical Acceptance in Epistemic Argumentation Framework. AAAI 2024: 10423-10432 - [c185]Gianvincenzo Alfano, Marco Calautti, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
On Explainable Acceptance in Probabilistic and Incomplete Abstract Argumentation Frameworks. AI³@AI*IA 2024 - [c184]Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
On General Epistemic Abstract Argumentation Frameworks. AAMAS 2024: 2117-2119 - [c183]Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
General Epistemic Abstract Argumentation Framework: Semantics and Complexity. IJCAI 2024: 3206-3214 - [c182]Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
Counterfactual and Semifactual Explanations in Abstract Argumentation: Formal Foundations, Complexity and Computation. KR 2024 - [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 - [i13]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) - [i12]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) - [i11]Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
Cyclic Supports in Recursive Bipolar Argumentation Frameworks: Semantics and LP Mapping. CoRR abs/2408.08916 (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]