An alternative transformation rule for logic programs
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Negation as Failure as Resolution
Constraints
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
Elimination of Negation in a Logical Framework
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Higher-order pattern complement and the strict λ-calculus
ACM Transactions on Computational Logic (TOCL)
Model building with ordered resolution: extracting models from saturated clause sets
Journal of Symbolic Computation - Special issue: First order theorem proving
Constructive negation by bottom-up computation of literal answers
Proceedings of the 2004 ACM symposium on Applied computing
Security properties: two agents are sufficient
Science of Computer Programming - Special issue on 12th European symposium on programming (ESOP 2003)
Mechanized metatheory model-checking
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Extending Constructive Logic Negation with Types
Electronic Notes in Theoretical Computer Science (ENTCS)
Elimination of Local Variables from Definite Logic Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Security properties: two agents are sufficient
ESOP'03 Proceedings of the 12th European conference on Programming
A generalization of the folding rule for the Clark-Kunen semantics
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Proof-theoretic and higher-order extensions of logic programming
A 25-year perspective on logic programming
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 |