A semantic decomposition of defeasible logics
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Sets and constraint logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
A New Technique for Verifying and Correcting Logic Programs
Journal of Automated Reasoning
On proving left termination of constraint logic programs
ACM Transactions on Computational Logic (TOCL)
Semantics of Normal Logic Programs with Embedded Implications
Proceedings of the 17th International Conference on Logic Programming
Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
Narrowing Failure in Functional Logic Programming
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
A new framework for declarative programming
Theoretical Computer Science
Flexible access control policy specification with constraint logic programming
ACM Transactions on Information and System Security (TISSEC)
Constructive negation by bottom-up computation of literal answers
Proceedings of the 2004 ACM symposium on Applied computing
A proof theoretic approach to failure in functional logic programming
Theory and Practice of Logic Programming
A logic-based framework for attribute based access control
Proceedings of the 2004 ACM workshop on Formal methods in security engineering
The first order theory of primal grammars is decidable
Theoretical Computer Science
Automatic generation of CHR constraint solvers
Theory and Practice of Logic Programming
Implementing type-based constructive negation
Proceedings of the 2007 ACM symposium on Applied computing
Mechanized metatheory model-checking
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
A Semantic Web Reasoner for Rules, Equations and Constraints
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Extending Constructive Logic Negation with Types
Electronic Notes in Theoretical Computer Science (ENTCS)
Abductive logic programming by nonground rewrite systems
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Elimination of Local Variables from Definite Logic Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Constraint solver synthesis using tabled resolution for constraint logic programming
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
An algorithm for local variable elimination in normal logic programs
LOPSTR'05 Proceedings of the 15th international conference on Logic Based Program Synthesis and Transformation
Hi-index | 0.00 |