Sets and negation in a logic data base language (LDL1)
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Journal of Computer and System Sciences
A rule-based language with functions and sets
ACM Transactions on Database Systems (TODS)
Minimum and maximum predicates in logic programming
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Monotonic aggregation in deductive databases
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The well-founded semantics of aggregation
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Implementation of subset-equational programs
Journal of Logic Programming
Modular stratification and magic sets for Datalog programs with negation
Journal of the ACM (JACM)
Semantics of subset-logic languages
Semantics of subset-logic languages
Theory of partial-order programming
Science of Computer Programming
Aggregation and negation-as-failure
New Generation Computing
Declarative pruning in a functional query language
Proceedings of the 1999 international conference on Logic programming
Knowledge Representation with Logic Programs
LPKR '97 Selected papers from the Third International Workshop on Logic Programming and Knowledge Representation
Integrating the Completion and the Well Founded Semantics
IBERAMIA '98 Proceedings of the 6th Ibero-American Conference on AI: Progress in Artificial Intelligence
Partial Order Programming (Revisited)
AMAST '95 Proceedings of the 4th International Conference on Algebraic Methodology and Software Technology
Characterizing D-WFS: Confluence and Iterated GCWA
JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
Semantics of Partial-Order Programs
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Characterizations of the Stable Semantics by Partial Evaluation
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
Aggregation and Well-Founded Semantics
NMELP '96 Selected papers from the Non-Monotonic Extensions of Logic Programming
Transformation-Based Bottom-Up Computation of the Well-Founded Model
NMELP '96 Selected papers from the Non-Monotonic Extensions of Logic Programming
A Classification Theory Of Semantics Of Normal Logic Programs: Ii. Weak Properties
Fundamenta Informaticae
Equivalence in Answer Set Programming
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Hi-index | 0.00 |
We introduce the paradigm of High-Level Logic Programming. This paradigm is the consolidation of our recent results on disjunctions, sets, partial-order clauses and aggregation. We show how these concepts are integrated in a natural way into the standard logic programming framework. For this purpose, we present several well known examples from the literature that support this claim. Our approach to define the declarative semantics of HLL (High-Level Logic) programs consists on a translation of them to datalog disjunctive programs and then to use D1-WFS-COMP.