Sergio Greco

Orcid: 0000-0003-2966-3484

Affiliations:
  • University of Calabria, Cosenza, Italy


According to our database1, Sergio Greco authored at least 266 papers between 1989 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Querying Data Exchange Settings Beyond Positive Queries.
Theory Pract. Log. Program., March, 2024

Even-if Explanations: Formal Foundations, Priorities and Complexity.
CoRR, 2024

Complexity of Credulous and Skeptical Acceptance in Epistemic Argumentation Framework.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks.
Artif. Intell., October, 2023

On acceptance conditions in abstract argumentation frameworks.
Inf. Sci., May, 2023

An approximation algorithm for querying inconsistent knowledge bases.
Intell. Syst. Appl., 2023

Practical autoencoder based anomaly detection by using vector reconstruction error.
Cybersecur., 2023

Generative Adversarial Networks Assist Missing Data Imputation: A Comprehensive Survey and Evaluation.
IEEE Access, 2023

Fraud Detection in Banking Data by Machine Learning Techniques.
IEEE Access, 2023

Machine Learning Techniques for Detecting Fraud in Credit Card Transactions.
Proceedings of the 31st Symposium of Advanced Database Systems, 2023

Querying Data Exchange Settings Beyond Positive Queries.
Proceedings of the 31st Symposium of Advanced Database Systems, 2023

On the Extended Preference-based Constrained Argumentation Framework.
Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023), 2023

On the Conditional Preference-based Argumentation Framework.
Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023), 2023

Stable Semantics for Epistemic Abstract Argumentation Framework.
Proceedings of the First International Workshop on Argumentation and Applications co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), 2023

Preferences and Constraints in Abstract Argumentation.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Complexity of Verification and Existence Problems in Epistemic Argumentation Framework.
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Epistemic Abstract Argumentation Framework: Formal Foundations, Computation and Complexity.
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

On the Abstract Reasoning Framework.
Proceedings of the Discussion Papers, 2023

On the Verification and Existence Problems in Epistemic Argumentation Framework.
Proceedings of the 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), 2023

Abstract Argumentation Framework with Conditional Preferences.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
Query answering over inconsistent knowledge bases: A probabilistic approach.
Theor. Comput. Sci., 2022

Information consumption and boundary spanning in Decentralized Online Social Networks: The case of Mastodon users.
Online Soc. Networks Media, 2022

Preference-based inconsistency-tolerant query answering under existential rules.
Artif. Intell., 2022

Discovering the Landscape of Decentralized Online Social Networks through Mastodon.
Proceedings of the 30th Italian Symposium on Advanced Database Systems, 2022

Active Integrity Constraints with Existential Quantification.
Proceedings of the 30th Italian Symposium on Advanced Database Systems, 2022

On Preferences and Priority Rules in Abstract Argumentation.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Network Analysis of the Information Consumption-Production Dichotomy in Mastodon User Behaviors.
Proceedings of the Sixteenth International AAAI Conference on Web and Social Media, 2022

Abstract Argumentation Framework with Priority Rules and Preferences.
Proceedings of the Discussion Papers - 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022 DP), Udine, Italy, November 28, 2022

On Properties and Complexity of Incomplete Argumentation Framework.
Proceedings of the 6th Workshop on Advances in Argumentation in Artificial Intelligence 2022 co-located with the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), 2022

Incomplete Argumentation Frameworks: Properties and Complexity.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
On the Incremental Computation of Semantics in Dynamic Argumentation.
FLAP, 2021

Incremental Computation in Dynamic Argumentation Frameworks.
IEEE Intell. Syst., 2021

Incremental Skeptical Preferred Acceptance in Dynamic Argumentation Frameworks.
IEEE Intell. Syst., 2021

Existential active integrity constraints.
Expert Syst. Appl., 2021

Understanding the growth of the Fediverse through the lens of Mastodon.
Appl. Netw. Sci., 2021

Incremental computation for structured argumentation over dynamic DeLP knowledge bases.
Artif. Intell., 2021

Preference-based Inconsistency-Tolerant Query Answering under Existential Rules (Discussion Paper).
Proceedings of the 29th Italian Symposium on Advanced Database Systems, 2021

Defining the Semantics of Abstract Argumentation Frameworks through Logic Programs and Partial Stable Models (Extended Abstract).
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

On Weak Constrained Argumentation Frameworks.
Proceedings of the 5th Workshop on Advances in Argumentation in Artificial Intelligence 2021 co-located with the 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), 2021

Argumentation Frameworks with Strong and Weak Constraints: Semantics and Complexity.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach.
Theory Pract. Log. Program., 2020

Smart Data Exchange.
Proceedings of the 28th Italian Symposium on Advanced Database Systems, 2020

Probabilistic Answers over Inconsistent Knowledge Bases.
Proceedings of the 28th Italian Symposium on Advanced Database Systems, 2020

Explainable Acceptance in Probabilistic Abstract Argumentation: Complexity and Approximation.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

3D Average Common Submatrix Measure.
Proceedings of the Digital Libraries: The Era of Big Data and Data Science, 2020

Consistent query answering with prioritized active integrity constraints.
Proceedings of the IDEAS 2020: 24th International Database Engineering & Applications Symposium, 2020

Dynamics in Abstract Argumentation Frameworks with Recursive Attack and Support Relations.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Computing Skeptical Preferred Acceptance in Dynamic Argumentation Frameworks with Recursive Attack and Support Relations.
Proceedings of the Computational Models of Argument, 2020

On the Semantics of Recursive Bipolar AFs and Partial Stable Models.
Proceedings of the Workshop on Advances In Argumentation In Artificial Intelligence 2020 co-located with the 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2020), 2020

2019
Approximation algorithms for querying incomplete databases.
Inf. Syst., 2019

A System Prototype for Approximate Query Answering over Incomplete Data.
Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019

On scaling the enumeration of the preferred extensions of abstract argumentation frameworks.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

An Efficient Algorithm for Skeptical Preferred Acceptance in Dynamic Argumentation Frameworks.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Flexible Querying and Analytics for Smart Cities and Smart Societies in the Age of Big Data: Overview of the FQAS 2019 International Conference.
Proceedings of the Flexible Query Answering Systems - 13th International Conference, 2019

HIKE: A Step Beyond Data Exchange.
Proceedings of the Conceptual Modeling - 38th International Conference, 2019

ACQUA: Approximate Consistent Query Answering Over Inconsistent Knowledge Bases.
Proceedings of the 2nd IEEE International Conference on Artificial Intelligence and Knowledge Engineering, 2019

Is Your Argument Still Skeptically Accepted?
Proceedings of the Discussion and Doctoral Consortium papers of AI*IA 2019, 2019

2018
Efficient Maintenance of Shortest Distances in Dynamic Graphs.
IEEE Trans. Knowl. Data Eng., 2018

A meta-argumentation approach for the efficient computation of stable and preferred extensions in dynamic bipolar argumentation frameworks.
Intelligenza Artificiale, 2018

ACID: A System for Computing Approximate Certain Query Answers over Incomplete Databases.
Proceedings of the 2018 International Conference on Management of Data, 2018


Approximate Query Answering over Inconsistent Knowledge Bases.
Proceedings of the 26th Italian Symposium on Advanced Database Systems, 2018

Incremental computation of warranted arguments in dynamic defeasible argumentation: the rule addition case.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

An Incremental Approach to Structured Argumentation over Dynamic Knowledge Bases.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Computing Approximate Query Answers over Inconsistent Knowledge Bases.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Algorithms for Computing Approximate Certain Answers over Incomplete Databases.
Proceedings of the 22nd International Database Engineering & Applications Symposium, 2018

Computing Extensions of Dynamic Abstract Argumentation Frameworks with Second-Order Attacks.
Proceedings of the 22nd International Database Engineering & Applications Symposium, 2018

Dealing with Inconsistency in Databases: An Overview.
Proceedings of the A Comprehensive Guide Through the Italian Database Research Over the Last 25 Years., 2018

2017
Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols.
ACM Trans. Comput. Log., 2017

Incremental maintenance of all-pairs shortest paths in relational DBMSs.
Soc. Netw. Anal. Min., 2017

An information-theoretic approach to hierarchical clustering of uncertain data.
Inf. Sci., 2017

Efficient Maximum Flow Maintenance on Dynamic Networks.
Proceedings of the 26th International Conference on World Wide Web Companion, 2017

Controversy-Aware Hybrid Trust Inference in Online Social Networks.
Proceedings of the 2017 IEEE Trustcom/BigDataSE/ICESS, Sydney, Australia, August 1-4, 2017, 2017

Approximation Algorithms for Computing Certain Answers over Incomplete Databases.
Proceedings of the 25th Italian Symposium on Advanced Database Systems, 2017

Incremental maximum flow computation on evolving networks.
Proceedings of the Symposium on Applied Computing, 2017

Efficient Computation of Extensions for Dynamic Abstract Argumentation Frameworks: An Incremental Approach.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Computing Approximate Certain Answers over Incomplete Databases.
Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, 2017

Computing Stable and Preferred Extensions of Dynamic Bipolar Argumentation Frameworks.
Proceedings of the 1st Workshop on Advances In Argumentation In Artificial Intelligence co-located with XVI International Conference of the Italian Association for Artificial Intelligence, 2017

2016
Using linear constraints for logic program termination analysis.
Theory Pract. Log. Program., 2016

Exploiting Equality Generating Dependencies in Checking Chase Termination.
Proc. VLDB Endow., 2016

Controversy in Trust Networks.
Proceedings of the Trust and Trustworthy Computing - 9th International Conference, 2016

Efficient Maintenance of All-Pairs Shortest Distances.
Proceedings of the 28th International Conference on Scientific and Statistical Database Management, 2016

Leveraging Equality Generating Dependencies for Chase Termination.
Proceedings of the 24th Italian Symposium on Advanced Database Systems, 2016

Incremental Computation of Deterministic Extensions for Dynamic Argumentation Frameworks.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Incremental Computation of Grounded Semantics for Dynamic Abstract Argumentation Frameworks.
Proceedings of the Conflict Resolution in Decision Making - Second International Workshop, 2016

Efficient Computation of Deterministic Extensions for Dynamic Abstract Argumentation Frameworks.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

G-quadruplex Structure Prediction and integration in the GenData2020 data model.
Proceedings of the 7th ACM International Conference on Bioinformatics, 2016

All-pairs shortest distances maintenance in relational DBMSs.
Proceedings of the 2016 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2016

2015
Datalog and Logic Databases
Synthesis Lectures on Data Management, Morgan & Claypool Publishers, ISBN: 978-3-031-01854-1, 2015

Checking termination of bottom-up evaluation of logic programs with function symbols.
Theory Pract. Log. Program., 2015

Checking Chase Termination: Cyclicity Analysis and Rewriting Techniques.
IEEE Trans. Knowl. Data Eng., 2015

Checking Termination of Datalog with Function Symbols Through Linear Constraints.
Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015

Logic Program Termination Analysis Using Atom Sizes.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Rewriting-based Check of Chase Termination.
Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 2015

2014
Certain Query Answering in Partially Consistent Databases.
Proc. VLDB Endow., 2014

Checking Termination of Logic Programs with Function Symbols through Linear Constraints.
Proceedings of the Rules on the Web. From Theory to Applications, 2014

An Architecture for Integrating Genetic and Clinical Data.
Proceedings of the International Conference on Computational Science, 2014

2013
Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments.
Theory Pract. Log. Program., 2013

Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols.
Proceedings of the IJCAI 2013, 2013

A Tensor-based Clustering Approach for Multiple Document Classifications.
Proceedings of the ICPRAM 2013, 2013

2012
Incomplete Data and Data Dependencies in Relational Databases
Synthesis Lectures on Data Management, Morgan & Claypool Publishers, ISBN: 978-3-031-01893-0, 2012

Probabilistic query answering over inconsistent databases.
Ann. Math. Artif. Intell., 2012

Preface.
Ann. Math. Artif. Intell., 2012

Stratification-based Criteria for Checking Chase Termination.
Proceedings of the Twentieth Italian Symposium on Advanced Database Systems, 2012

On the Termination of Logic Programs with Function Symbols.
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Studying neonatal TSH distribution by using GIS.
Proceedings of the HealthGIS 2012, 2012

2011
Stratification Criteria and Rewriting Techniques for Checking Chase Termination.
Proc. VLDB Endow., 2011

Consistent query answering over inconsistent databases.
Int. J. Knowl. Based Intell. Eng. Syst., 2011

Collaborative clustering of XML documents.
J. Comput. Syst. Sci., 2011

A long tour from theory to practice.
Intelligenza Artificiale, 2011

ChaseT: A Tool for Checking Chase Termination.
Proceedings of the Scalable Uncertainty Management - 5th International Conference, 2011

2010
NP Datalog: A logic language for expressing search and optimization problems.
Theory Pract. Log. Program., 2010

Semantic clustering of XML documents.
ACM Trans. Inf. Syst., 2010

Chase Termination: A Constraints Rewriting Approach.
Proc. VLDB Endow., 2010

Geomedica: managing and querying clinical data distributions on geographical database systems.
Proceedings of the International Conference on Computational Science, 2010

Polynomial time queries over inconsistent databases with functional dependencies and foreign keys.
Data Knowl. Eng., 2010

Querying and Updating Inconsistent Databases (Extended Abstract).
Proceedings of the Eighteenth Italian Symposium on Advanced Database Systems, 2010

Clustering XML Documents: a Distributed Collaborative Approach (Extended Abstract).
Proceedings of the Eighteenth Italian Symposium on Advanced Database Systems, 2010

Logic Programming Languages for Databases and the Web.
Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010

2009
Active Integrity Constraints for Database Consistency Maintenance.
IEEE Trans. Knowl. Data Eng., 2009

A time series representation model for accurate and fast similarity detection.
Pattern Recognit., 2009

NP Datalog: a Logic Language for Expressing NP Search and Optimization Problems
CoRR, 2009

A System Prototype for Computing Probabilistic Query Answers over Inconsistent Databases.
Proceedings of the Seventeenth Italian Symposium on Advanced Database Systems, 2009

Information-Theoretic Hierarchical Clustering of Uncertain Data.
Proceedings of the Seventeenth Italian Symposium on Advanced Database Systems, 2009

Diversity-Based Weighting Schemes for Clustering Ensembles.
Proceedings of the SIAM International Conference on Data Mining, 2009

Word Sense Disambiguation for XML Structure Feature Generation.
Proceedings of the Semantic Web: Research and Applications, 2009

2008
Extracting Structural Semantic Features for XML Data.
Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems, 2008

A web-based system for the collection and analysis of spectra signals for early detection of voice alterations.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Towards Relational Inconsistent Databases with Functional Dependencies.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2008

A Hierarchical Algorithm for Clustering Uncertain Data via an Information-Theoretic Approach.
Proceedings of the 8th IEEE International Conference on Data Mining (ICDM 2008), 2008

Approximate Probabilistic Query Answering over Inconsistent Databases.
Proceedings of the Conceptual Modeling, 2008

Logic Programming in DataLog: A Long Tour from Theory to Practice.
Proceedings of the Il Milione (i.e. 2^6), 2008

2007
On the Semantics of Logic Programs with Preferences.
J. Artif. Intell. Res., 2007

The EIPeptiDi tool: enhancing peptide discovery in ICAT-based LC MS/MS experiments.
BMC Bioinform., 2007

A three-valued semantics for querying and repairing inconsistent databases.
Ann. Math. Artif. Intell., 2007

Accurate and Fast Similarity Detection in Time Series.
Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

Exploiting Preference Rules for Querying Databases.
Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

Querying and Repairing Inconsistent Databases Under Three-Valued Semantics.
Proceedings of the Logic Programming, 23rd International Conference, 2007

Preference rules in database querying.
Proceedings of the ICEIS 2007, 2007

Prioritized Active Integrity Constraints for Database Maintenance.
Proceedings of the Advances in Databases: Concepts, 2007

2006
Weighted path queries on semistructured databases.
Inf. Comput., 2006

A graph grammars based framework for querying graph-like data.
Data Knowl. Eng., 2006

SemXClust: A System for Semantic XML Clustering.
Proceedings of the Fourteenth Italian Symposium on Advanced Database Systems, 2006

Toward Semantic XML Clustering.
Proceedings of the Sixth SIAM International Conference on Data Mining, 2006

Preferred Generalized Answers for Inconsistent Databases.
Proceedings of the Foundations of Intelligent Systems, 16th International Symposium, 2006

Declarative Semantics of Production Rules for Integrity Maintenance.
Proceedings of the Logic Programming, 22nd International Conference, 2006

Merging, Repairing and Querying Inconsistent Databases with Functional and Inclusion Dependencies.
Proceedings of the ICEIS 2006, 2006

A Logic Programming Approach to Querying and Integrating P2P Deductive Databases.
Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, 2006

Implementation and Experimentation of the Logic Language NP Datalog.
Proceedings of the Database and Expert Systems Applications, 17th International Conference, 2006

Effective and efficient similarity search in time series.
Proceedings of the 2006 ACM CIKM International Conference on Information and Knowledge Management, 2006

2005
Mining User Preferences, Page Content and Usage to Personalize Website Navigation.
World Wide Web, 2005

Optimization of bound disjunctive queries with constraints.
Theory Pract. Log. Program., 2005

Partially ordered regular languages for graph queries.
J. Comput. Syst. Sci., 2005

Querying and Repairing Inconsistent XML Data.
Proceedings of the Web Information Systems Engineering, 2005

A Mobile-Aware System for Website Personalization.
Proceedings of the Advances in Web-Age Information Management, 2005

A logic based approach to P2P Databases.
Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

A Distributed System for Answering Range Queries on Sensor Network Data.
Proceedings of the 3rd IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2005 Workshops), 2005

Aggregates and Preferences in Logic Programming.
Proceedings of the Foundations of Intelligent Systems, 15th International Symposium, 2005

NP Datalog: A Logic Language for NP Search and Optimization Queries.
Proceedings of the Ninth International Database Engineering and Applications Symposium (IDEAS 2005), 2005

Rewriting and Efficient Computation of Bound Disjunctive Datalog Queries.
Proceedings of the Encyclopedia of Database Technologies and Applications, 2005

Rewriting and Efficient Computation of Bound Disjunctive Datalog Queries.
Proceedings of the Encyclopedia of Database Technologies and Applications, 2005

Preferred Repairs for Inconsistent Databases.
Proceedings of the Encyclopedia of Database Technologies and Applications, 2005

Managing Inconsistent Databases Using Active Integrity Constraints.
Proceedings of the Encyclopedia of Database Technologies and Applications, 2005

Repairing Inconsistent XML Data with Functional Dependencies.
Proceedings of the Encyclopedia of Database Technologies and Applications, 2005

Consistent Queries Over Databases with Integrity Constraints.
Proceedings of the Encyclopedia of Information Science and Technology (5 Volumes), 2005

2004
Web Communities: Models and Algorithms.
World Wide Web, 2004

Minimal founded semantics for disjunctive logic programs and deductive databases.
Theory Pract. Log. Program., 2004

Combining linear programming and clustering techniques for the classification of research centers.
AI Commun., 2004

Collaborative Filtering Supporting Web Site Navigation.
AI Commun., 2004

Clustering Transactional XML Data with Semantically-Enriched Content and Structural Features.
Proceedings of the Web Information Systems, 2004

A System Supporting Website Navigation.
Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, 2004

On the semantics and expressive power of Datalog-like languages for NP search and optimization problems.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Active integrity constraints.
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

Non-Invasive Support for Personalized Navigation of Websites.
Proceedings of the 8th International Database Engineering and Applications Symposium (IDEAS 2004), 2004

Mining Scientific Results Through the Combined Use of Clustering and Linear Programming Techniques.
Proceedings of the ICEIS 2004, 2004

Feasibility Conditions and Preference Criteria in Querying and Repairing Inconsistent Databases.
Proceedings of the Database and Expert Systems Applications, 15th International Conference, 2004

2003
A Logical Framework for Querying and Repairing Inconsistent Databases.
IEEE Trans. Knowl. Data Eng., 2003

Binding Propagation Techniques for the Optimization of Bound Disjunctive Queries.
IEEE Trans. Knowl. Data Eng., 2003

Repairs and Consistent Answers for XML Data with Functional Dependencies.
Proceedings of the Database and XML Technologies, 2003

A Lightweight Tool for Easy Web Site Navigation.
Proceedings of the 4th International Conference on Web Information Systems Engineering, 2003

On the rewriting and efficient computation of bound disjunctive datalog queries.
Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003

Preferred Repairs for Inconsistent Databases.
Proceedings of the 7th International Database Engineering and Applications Symposium (IDEAS 2003), 2003

Repairing and Querying Inconsistent Databases.
Proceedings of the Effective Databases for Text & Document Management., 2003

2002
A Query Language for XML Based on Graph Grammars.
World Wide Web, 2002

Functional Queries in Datalog.
New Gener. Comput., 2002

Pushing extrema aggregates to optimize logic queries.
Inf. Syst., 2002

A Stochastic Approach for Modeling and Computing Web Communities.
Proceedings of the 3rd International Conference on Web Information Systems Engineering, 2002

Query Optimization of Disjunctive Databases with Constraints through Binding Propagation.
Proceedings of the Logic for Programming, 2002

Translating Datalog-Like Optimization Queries into ILOG Programs.
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

STED: A System for Topic Enumeration and Distillation.
Proceedings of the 2002 International Symposium on Information Technology (ITCC 2002), 2002

A Logic Framework for the Integration of Databases.
Proceedings of the Foundations of Intelligent Systems, 13th International Symposium, 2002

XGL: a graphical query language for XML.
Proceedings of the International Database Engineering & Applications Symposium, 2002

A Graphical XML Query Language.
Proceedings of the 18th International Conference on Data Engineering, San Jose, CA, USA, February 26, 2002

Search and Optimization Problems in Datalog.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

A Logic Language for Database Integration.
Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002

Consistent Queries Over Databases with Integrity Constraints.
Proceedings of the Database Integrity: Challenges and Solutions, 2002

2001
A Probabilistic Approach for Distillation and Ranking of Web Pages.
World Wide Web, 2001

Greedy Algorithms in Datalog.
Theory Pract. Log. Program., 2001

Declarative semantics for active rules.
Theory Pract. Log. Program., 2001

Rewriting Queries Using Views.
IEEE Trans. Knowl. Data Eng., 2001

Graph Grammars for Querying Graph-like Data.
Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2001

Combining inductive and deductive tools for data analysis.
AI Commun., 2001

Extending stratified datalog to capture complexity classes ranging from P to QH.
Acta Informatica, 2001

A Probabilistic Approach for Discovering Authoritative Web Pages.
Proceedings of the 2nd International Conference on Web Information Systems Engineering, 2001

Weighted Path Queries on Web Data.
Proceedings of the Fourth International Workshop on the Web and Databases, 2001

Integrating Possibly Conflicting Data.
Proceedings of the Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, 2001

A Technique for Information System Integration.
Proceedings of the Information Systems Technology and its Applications, 2001

A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases.
Proceedings of the Logic Programming, 17th International Conference, 2001

Integrating and Managing Conflicting Data.
Proceedings of the Perspectives of System Informatics, 2001

Computing Repairs for Inconsistent Databases.
Proceedings of the Third International Symposium on Cooperative Database Systems and Applications, 2001

Deterministic semantics for disjunctive logic programs.
Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001

2000
Rappresentazione ed interrogazione di dati XML.
Proceedings of the Ottavo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2000

Integrazione di basi dati con vincoli.
Proceedings of the Ottavo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2000

Querying Inconsistent Databases.
Proceedings of the Logic for Programming and Automated Reasoning, 2000

Modeling and Querying XML-Data.
Proceedings of the 2000 International Database Engineering and Applications Symposium, 2000

Combining Different Data Mining Techniques to Improve Data Analysis.
Proceedings of the Flexible Query Answering Systems, 2000

Querying Graph Databases.
Proceedings of the Advances in Database Technology, 2000

A Hybrid Technique for Data Mining on Balance-Sheet Data.
Proceedings of the Data Warehousing and Knowledge Discovery, 2000

1999
Dynamic Programming in Datalog with Aggregates.
IEEE Trans. Knowl. Data Eng., 1999

Optimization of Bounded Linear Recursive Queries.
Netw. Inf. Syst. J., 1999

Grammars and Automata to Optimize Chain Logic Queries.
Int. J. Found. Comput. Sci., 1999

Complexity and Expressive Power of Deterministic Semantics for DATALOG¬.
Inf. Comput., 1999

A System Prototype for the Evaluation of Queries on Materialized Views.
Proceedings of the Atti del Settimo Convegno Nazionale Sistemi Evoluti per Basi di Dati, 1999

Minimal Founded Semantics for Disjunctive Logic Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

Optimization of Disjunctive Queries.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

A System Prototype for the Optimization of Disjunctive Queries.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998
Non-Determinism and Weak Constraints in Datalog.
New Gener. Comput., 1998

Binding Propagation in Disjunctive Databases.
Proceedings of the VLDB'98, 1998

Deterministic and Nondeterministic Declarative Semantics for Active Rules.
Proceedings of the Atti del Sesto Convegno Nazionale Sistemi Evolluti per Basi di Dati, 1998

Greedy Algorithms in Datalog with Choice and Negation.
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

Optimization of Logic Queries with MIN and MAX Predicates.
Proceedings of the Flexible Query Answering Systems, Third International Conference, 1998

Extending Datalog to Express Functional Queries: A Language and its Implementation.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997
"Possible is Certain" is Desirable and Can Be Expressive.
Ann. Math. Artif. Intell., 1997

Programming with Non-Determinism in Deductive Databases.
Ann. Math. Artif. Intell., 1997

NP Optimization Problems in Datalog.
Proceedings of the Logic Programming, 1997

Un Linguaggio per Interrogazioni Funzionali: Implementazione di un Prototipo.
Proceedings of the Convegno Nazionale Sistemi Evolluti per Basi di Dati, 1997

DATALOG with Nested Rules.
Proceedings of the Logic Programming and Knowledge Representation, 1997

The Expressive Power of Unique Total Stable Model Semantics.
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

Deterministic Semantics for Datalog¬: Complexity and Expressive Power.
Proceedings of the Deductive and Object-Oriented Databases, 5th International Conference, 1997

1996
Querying Datalog with Arrays: Design and Implementation Issues.
J. Syst. Integr., 1996

Matching of Bounded Set Terms in the Logic Language LDL++.
J. Log. Program., 1996

Unification of Bounded Simple Set Terms in Deductive Databases.
Proceedings of the Logic in Databases, 1996

The Complexity of Weak Unification of Bounded Simple Set Terms.
Proceedings of the Database and Expert Systems Applications, 7th International Conference, 1996

Optimal Unification of Bounded Simple Set Terms.
Proceedings of the CIKM '96, Proceedings of the Fifth International Conference on Information and Knowledge Management, November 12, 1996

The Expressive Power of "Possible-is-Certain" Semantics (Extended Abstract).
Proceedings of the Concurrency and Parallelism, 1996

Implementation of Chain Logic Queries.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

Extending Datalog with Choice and Weak Constraints.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995
Extrema Predicates in Deductive Databases.
J. Comput. Syst. Sci., 1995

Extending Datalog with Arrays.
Data Knowl. Eng., 1995

DATALOG Queries with Stratified Negation and Choice: from P to D<sup>P</sup>.
Proceedings of the Database Theory, 1995

The PushDown Method to Optimize Chain Logic Programs (Extended Abstract).
Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995

Datalog<sup>A</sup>: Array Manipulations in a Deductive Database Language.
Proceedings of the Database Systems for Advanced Applications '95, 1995

1994
Implementazione di Interrogazioni Semplici Concatenate.
Proceedings of the Atti del Secondo Convegno Nazionale "Sistemi Evoluti per Basi di Dati", 1994

Efficient Execution of Recursive Queries Through Controlled Binding Propagation.
Proceedings of the Methodologies for Intelligent Systems, 8th International Symposium, 1994

1993
Evaluation of Negative Logic Programs.
Proceedings of the LOGIDATA+: Deductive Databases with Complex Objects, 1993


Dynamic Programming Optimization for Logic Queries with Aggregates.
Proceedings of the Logic Programming, 1993

Optimization of Chain Queries.
Proceedings of the 3rd International Conference on Database Systems for Advanced Applications (DASFAA), 1993

1992
COMPLEX: An Object-Oriented Logic Programming System.
IEEE Trans. Knowl. Data Eng., 1992

Greedy by Choice.
Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1992

Set-Term Matching in Logic Programming.
Proceedings of the Database Theory, 1992

Optimization of Linear Logic Programs Using Counting Methods.
Proceedings of the Advances in Database Technology, 1992

1991
Netlog: A Logic Query Language for Network Model Databases.
Data Knowl. Eng., 1991

Minimum and Maximum Predicates in Logic Programming.
Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1991

1990
Negative Logic Programs.
Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

1989
Complex-Prolog: a logic database language for handling complex objects.
Inf. Syst., 1989


  Loading...