Introduction to mathematical logic (3rd ed.)
Introduction to mathematical logic (3rd ed.)
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
Foundations of Equational Logic Programming
Foundations of Equational Logic Programming
The well-founded semantics of aggregation
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
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
Introduction to Mathematical Theory of Computation
Introduction to Mathematical Theory of Computation
Partial Order Programming (Revisited)
AMAST '95 Proceedings of the 4th International Conference on Algebraic Methodology and Software Technology
Aggregation and Well-Founded Semantics
NMELP '96 Selected papers from the Non-Monotonic Extensions of Logic Programming
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Stratified Partial-Order Logic Programming
AI '01 Proceedings of the 14th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence
| Hi-index | 0.00 |
Partial-order programming is introduced in [JOM95] where it is shown how partial-order clauses help render clear and concise formulations to a different kind of problems, in particular optimization problems. In this paper we present some more examples that we can model using partial-order clauses and we also introduce its Fix-Point semantics. We show that this paradigm and standard logic programming can be naturally integrated in one paradigm. We also discuss WFSCOMP, a new semantics for normal programs, that can be used to give the meaning of general normal+partial-order programs via a translation.