Sergio Greco
Orcid: 0000-0003-2966-3484Affiliations:
- University of Calabria, Cosenza, Italy
According to our database1,
Sergio Greco
authored at least 274 papers
between 1989 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
Theory Pract. Log. Program., March, 2024
A self-attention TCN-based model for suicidal ideation detection from social media posts.
Expert Syst. Appl., 2024
Cyclic Supports in Recursive Bipolar Argumentation Frameworks: Semantics and LP Mapping.
CoRR, 2024
Artif. Intell., 2024
Credulous acceptance in high-order argumentation frameworks with necessities: An incremental approach.
Artif. Intell., 2024
Proceedings of the 32nd Symposium of Advanced Database Systems, 2024
Counterfactual and Semifactual Explanations in Abstract Argumentation: Formal Foundations, Complexity and Computation.
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 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
Intell. Syst. Appl., 2023
Cybersecur., 2023
Generative Adversarial Networks Assist Missing Data Imputation: A Comprehensive Survey and Evaluation.
IEEE Access, 2023
Proceedings of the 31st Symposium of Advanced Database Systems, 2023
Proceedings of the 31st Symposium of Advanced Database Systems, 2023
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
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
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
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
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
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Theor. Comput. Sci., 2022
Information consumption and boundary spanning in Decentralized Online Social Networks: The case of Mastodon users.
Online Soc. Networks Media, 2022
Artif. Intell., 2022
Proceedings of the 30th Italian Symposium on Advanced Database Systems, 2022
Proceedings of the 30th Italian Symposium on Advanced Database Systems, 2022
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
Proceedings of the Discussion Papers - 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022 DP), Udine, Italy, November 28, 2022
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
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
IEEE Intell. Syst., 2021
IEEE Intell. Syst., 2021
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
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
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
Theory Pract. Log. Program., 2020
Proceedings of the 28th Italian Symposium on Advanced Database Systems, 2020
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
Proceedings of the Digital Libraries: The Era of Big Data and Data Science, 2020
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
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
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
Proceedings of the Conceptual Modeling - 38th International Conference, 2019
Proceedings of the 2nd IEEE International Conference on Artificial Intelligence and Knowledge Engineering, 2019
Proceedings of the Discussion and Doctoral Consortium papers of AI*IA 2019, 2019
2018
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
Proceedings of the 26th Italian Symposium on Advanced Database Systems, 2018
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
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
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
Proceedings of the A Comprehensive Guide Through the Italian Database Research Over the Last 25 Years., 2018
2017
ACM Trans. Comput. Log., 2017
Soc. Netw. Anal. Min., 2017
Inf. Sci., 2017
Proceedings of the 26th International Conference on World Wide Web Companion, 2017
Proceedings of the 2017 IEEE Trustcom/BigDataSE/ICESS, Sydney, Australia, August 1-4, 2017, 2017
Proceedings of the 25th Italian Symposium on Advanced Database Systems, 2017
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
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
Theory Pract. Log. Program., 2016
Proc. VLDB Endow., 2016
Proceedings of the Trust and Trustworthy Computing - 9th International Conference, 2016
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
Proceedings of the 7th ACM International Conference on Bioinformatics, 2016
Proceedings of the 2016 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2016
2015
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
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
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 2015
2014
Checking Termination of Logic Programs with Function Symbols through Linear Constraints.
Proceedings of the Rules on the Web. From Theory to Applications, 2014
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
Proceedings of the IJCAI 2013, 2013
A Tensor-based Clustering Approach for Multiple Document Classifications.
Proceedings of the ICPRAM 2013, 2013
2012
Synthesis Lectures on Data Management, Morgan & Claypool Publishers, ISBN: 978-3-031-01893-0, 2012
Ann. Math. Artif. Intell., 2012
Proceedings of the Twentieth Italian Symposium on Advanced Database Systems, 2012
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012
Proceedings of the HealthGIS 2012, 2012
2011
Proc. VLDB Endow., 2011
Int. J. Knowl. Based Intell. Eng. Syst., 2011
Proceedings of the Scalable Uncertainty Management - 5th International Conference, 2011
2010
Theory Pract. Log. Program., 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
Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010
2009
IEEE Trans. Knowl. Data Eng., 2009
Pattern Recognit., 2009
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
Proceedings of the SIAM International Conference on Data Mining, 2009
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
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
Proceedings of the Conceptual Modeling, 2008
Proceedings of the Il Milione (i.e. 2^6), 2008
2007
BMC Bioinform., 2007
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
Proceedings of the Logic Programming, 23rd International Conference, 2007
Preference rules in database querying.
Proceedings of the ICEIS 2007, 2007
2006
Data Knowl. Eng., 2006
SemXClust: A System for Semantic XML Clustering.
Proceedings of the Fourteenth Italian Symposium on Advanced Database Systems, 2006
Prioritized Active Integrity Constraints for Database Maintenance.
Proceedings of the Fourteenth Italian Symposium on Advanced Database Systems, 2006
Proceedings of the Sixth SIAM International Conference on Data Mining, 2006
Proceedings of the Foundations of Intelligent Systems, 16th International Symposium, 2006
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
Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, 2006
Proceedings of the Database and Expert Systems Applications, 17th International Conference, 2006
Proceedings of the 2006 ACM CIKM International Conference on Information and Knowledge Management, 2006
2005
World Wide Web, 2005
Theory Pract. Log. Program., 2005
Proceedings of the Web Information Systems Engineering, 2005
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
Proceedings of the 3rd IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2005 Workshops), 2005
Proceedings of the Foundations of Intelligent Systems, 15th International Symposium, 2005
Proceedings of the Ninth International Database Engineering and Applications Symposium (IDEAS 2005), 2005
Proceedings of the Encyclopedia of Database Technologies and Applications, 2005
Proceedings of the Encyclopedia of Database Technologies and Applications, 2005
Proceedings of the Encyclopedia of Database Technologies and Applications, 2005
Proceedings of the Encyclopedia of Database Technologies and Applications, 2005
Proceedings of the Encyclopedia of Database Technologies and Applications, 2005
Proceedings of the Encyclopedia of Information Science and Technology (5 Volumes), 2005
2004
Theory Pract. Log. Program., 2004
Combining linear programming and clustering techniques for the classification of research centers.
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
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004
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
IEEE Trans. Knowl. Data Eng., 2003
IEEE Trans. Knowl. Data Eng., 2003
Proceedings of the Database and XML Technologies, 2003
Proceedings of the 4th International Conference on Web Information Systems Engineering, 2003
Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003
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
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
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002
Proceedings of the 2002 International Symposium on Information Technology (ITCC 2002), 2002
Proceedings of the Foundations of Intelligent Systems, 13th International Symposium, 2002
Proceedings of the International Database Engineering & Applications Symposium, 2002
Proceedings of the 18th International Conference on Data Engineering, San Jose, CA, USA, February 26, 2002
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002
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
World Wide Web, 2001
Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2001
Acta Informatica, 2001
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
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
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
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
Proceedings of the Logic for Programming and Automated Reasoning, 2000
Proceedings of the 2000 International Database Engineering and Applications Symposium, 2000
Proceedings of the Flexible Query Answering Systems, 2000
Proceedings of the Data Warehousing and Knowledge Discovery, 2000
1999
Optimization of Bounded Linear Recursive Queries.
Netw. Inf. Syst. J., 1999
Int. J. Found. Comput. Sci., 1999
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
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
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
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
Ann. Math. Artif. Intell., 1997
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
Proceedings of the Logic Programming and Knowledge Representation, 1997
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997
Proceedings of the Deductive and Object-Oriented Databases, 5th International Conference, 1997
1996
J. Syst. Integr., 1996
Proceedings of the Logic in Databases, 1996
Proceedings of the Database and Expert Systems Applications, 7th International Conference, 1996
Proceedings of the CIKM '96, Proceedings of the Fifth International Conference on Information and Knowledge Management, November 12, 1996
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
Proceedings of the Database Theory, 1995
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
Proceedings of the Methodologies for Intelligent Systems, 8th International Symposium, 1994
1993
Proceedings of the LOGIDATA+: Deductive Databases with Complex Objects, 1993
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
IEEE Trans. Knowl. Data Eng., 1992
Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1992
Proceedings of the Advances in Database Technology, 1992
1991
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
Inf. Syst., 1989