Implementing Groundness Analysis with Definite Boolean Functions
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
A New Multi-resource cumulatives Constraint with Negative Heights
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
A scheme for unifying optimization and constraint satisfaction methods
The Knowledge Engineering Review
Efficient groundness analysis in Prolog
Theory and Practice of Logic Programming
Computing convex hulls with a linear solver
Theory and Practice of Logic Programming
A Semantic Web Reasoner for Rules, Equations and Constraints
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Hi-index | 0.00 |