Efficient Negation Using Abstract Interpretation
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
How to Incorporate Negation in a Prolog Compiler
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
Classes of terminating logic programs
Theory and Practice of Logic Programming
Sequence-based abstract interpretation of Prolog
Theory and Practice of Logic Programming
Bounded Nondeterminism of Logic Programs
Annals of Mathematics and Artificial Intelligence
Cardinality Abstraction for Declarative Networking Applications
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
The divide-and-conquer subgoal-ordering algorithm for speeding up logic inference
Journal of Artificial Intelligence Research
Detecting determinacy in prolog programs
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Determinacy inference for logic programs
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Determinacy analysis for logic programs using mode and type information
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
Hi-index | 0.00 |