Sergio Greco

According to our database1, Sergio Greco
  • authored at least 207 papers between 1989 and 2018.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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
Incremental maintenance of all-pairs shortest paths in relational DBMSs.
Social Netw. Analys. Mining, 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

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

2016
Using linear constraints for logic program termination analysis.
TPLP, 2016

Exploiting Equality Generating Dependencies in Checking Chase Termination.
PVLDB, 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, 2015

Checking termination of bottom-up evaluation of logic programs with function symbols.
TPLP, 2015

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

Using Linear Constraints for Logic Program Termination Analysis.
CoRR, 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.
PVLDB, 2014

Checking Termination of Bottom-Up Evaluation of Logic Programs with Function Symbols.
CoRR, 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.
TPLP, 2013

Detecting decidable classes of finitely ground logic programs with function symbols.
Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 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, 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.
PVLDB, 2011

Consistent query answering over inconsistent databases.
KES Journal, 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.
TPLP, 2010

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

Chase Termination: A Constraints Rewriting Approach.
PVLDB, 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 Recognition, 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

Collaborative Clustering of XML Documents.
Proceedings of the ICPPW 2009, 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 Bioinformatics, 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

Prioritized Active Integrity Constraints for Database Maintenance.
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

On the Semantics of Logic Programs with Preferences.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 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.
TPLP, 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.
TPLP, 2004

Optimization of Bound Disjunctive Queries with Constraints
CoRR, 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

Minimal founded semantics for disjunctive logic programs and deductive databases
CoRR, 2003

Declarative Semantics for Active Rules
CoRR, 2003

Greedy Algorithms in Datalog
CoRR, 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.
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 Generation 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

Consistent Queries Over Databases with Integrity Constraints.
Database Integrity, 2002

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

Greedy Algorithms in Datalog.
TPLP, 2001

Declarative semantics for active rules.
TPLP, 2001

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

Graph Grammars for Querying Graph-like Data.
Electr. Notes Theor. Comput. Sci., 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 Inf., 2001

A Probabilistic Approach for Discovering Authoritative Web Pages.
WISE (1), 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.
CODAS, 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.
Networking and Information Systems, 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

Partially Ordered Regular Languages for Graph Queries.
Proceedings of the Automata, 1999

Rewriting Queries Using Views.
Proceedings of the Database and Expert Systems Applications, 10th International Conference, 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 Generation 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

Declarative Semantics for Active Rules.
Proceedings of the Database and Expert Systems Applications, 9th 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.
Journal of Systems Integration, 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 DP.
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

DatalogA: 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...