On prolog and the occur check problem
ACM SIGPLAN Notices
On the transformation of logic programs with instantiation based computation rules
Journal of Symbolic Computation
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Temporal logic programming is complete and expressive
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
First order compiler: A deterministic logic program synthesis algorithm
Journal of Symbolic Computation
Distributed variable server for atomic unification
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Polynomial time inference of a subclass of context-free transformations
COLT '92 Proceedings of the fifth annual workshop on Computational learning theory
The impact of logic programming on databases
Communications of the ACM
A general framework for semantics-based bottom-up abstract interpretation of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementation-based analysis and testing of Prolog programs
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Type inference with polymorphic recursion
ACM Transactions on Programming Languages and Systems (TOPLAS)
Live-structure dataflow analysis for Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
Suspension analyses for concurrent logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the occur-check-free PROLOG programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
On solving equations and disequations
Journal of the ACM (JACM)
Functions as passive constraints in LIFE
ACM Transactions on Programming Languages and Systems (TOPLAS)
Principles and practice of unification factoring
ACM Transactions on Programming Languages and Systems (TOPLAS)
Putting type annotations to work
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Optimal unification of bound simple set-terms
CIKM '96 Proceedings of the fifth international conference on Information and knowledge management
Strategic directions in constraint programming
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Specialization of lazy functional logic programs
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Types as abstract interpretations
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Controlling generalization and polyvariance in partial deduction of normal logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Partial evaluation of functional logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Making abstract interpretations complete
Journal of the ACM (JACM)
Constraints in computational logics
The narrowing-driven approach to functional logic program specialization
New Generation Computing - Partial evaluation and program transformation
Finding tree patterns consistent with positive and negative examples using queries
Annals of Mathematics and Artificial Intelligence
Constraint Programming: Strategic Directions
Constraints
Value Constraints in the CLP Scheme
Constraints
Type Inference Verified: Algorithm W in Isabelle/HOL
Journal of Automated Reasoning
A Full Formalization of SLD-Resolution in the Calculus of Inductive Constructions
Journal of Automated Reasoning
Introduction to Supercompilation
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction
CL '00 Proceedings of the First International Conference on Computational Logic
New Conditions for the Existence of Least Generalizations under Relative Subsumption
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
Implementing Term Algebra Syntactic Unification in Free Modules over Certain Rings
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
Higher-order pattern complement and the strict λ-calculus
ACM Transactions on Computational Logic (TOCL)
Linearisability on datalog programs
Theoretical Computer Science
A complete and recursive feature theory
ACL '93 Proceedings of the 31st annual meeting on Association for Computational Linguistics
A framework for the integration of partial evaluation and abstract interpretation of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Three optimisations for sharing
Theory and Practice of Logic Programming
Model checking linear logic specifications
Theory and Practice of Logic Programming
A geometric interpretation of LD-resolution
Theoretical Computer Science - Logic, semantics and theory of programming
Information and Computation
The Ecce and Logen partial evaluators and their web interfaces
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Extracting programs from type class proofs
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Logic program specialisation through partial deduction: Control issues
Theory and Practice of Logic Programming
System F with type equality coercions
TLDI '07 Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation
Understanding functional dependencies via constraint handling rules
Journal of Functional Programming
Generalizing DPLL and satisfiability for equalities
Information and Computation
Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding
Electronic Notes in Theoretical Computer Science (ENTCS)
Inferring non-suspension conditions for logic programs with dynamic scheduling
ACM Transactions on Computational Logic (TOCL)
Theory of finite or infinite trees revisited
Theory and Practice of Logic Programming
Learning Bounded Unions of Noetherian Closed Set Systems Via Characteristic Sets
ICGI '08 Proceedings of the 9th international colloquium on Grammatical Inference: Algorithms and Applications
An improved reductant calculus using fuzzy partial evaluation techniques
Fuzzy Sets and Systems
Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding
Electronic Notes in Theoretical Computer Science (ENTCS)
Positive supercompilation for a higher order call-by-value language
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On Computing Constraint Abduction Answers
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Kernel Functions Based on Derivation
New Frontiers in Applied Data Mining
A Modular Equational Generalization Algorithm
Logic-Based Program Synthesis and Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
A declarative semantics for Bousi~Prolog
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Context unification with one context variable
Journal of Symbolic Computation
Evolution Scenarios for Rule-Based Implementations of Language-Based Functionality
Electronic Notes in Theoretical Computer Science (ENTCS)
Unfolding-based Improvements on Fuzzy Logic Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
On fuzzy unfolding: A multi-adjoint approach
Fuzzy Sets and Systems
Information and Computation
Proving quantified literals in defeasible logic
Information Sciences: an International Journal
Supervising offline partial evaluation of logic programs using online techniques
LOPSTR'06 Proceedings of the 16th international conference on Logic-based program synthesis and transformation
Efficient structural information analysis for real CLP languages
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Goal-independent suspension analysis for logic programs with dynamic scheduling
ESOP'03 Proceedings of the 12th European conference on Programming
Solving first-order constraints in the theory of the evaluated trees
CSCLP'06 Proceedings of the constraint solving and contraint logic programming 11th annual ERCIM international conference on Recent advances in constraints
Generalization with taxonomic information
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Inferability of unbounded unions of certain closed set systems
JSAI-isAI'09 Proceedings of the 2009 international conference on New frontiers in artificial intelligence
Learning from positive data based on the MINL strategy with refinement operators
JSAI-isAI'09 Proceedings of the 2009 international conference on New frontiers in artificial intelligence
A practical management of fuzzy truth-degrees using FLOPER
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Declarative traces into fuzzy computed answers
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Abduction of linear arithmetic constraints
ICLP'05 Proceedings of the 21st international conference on Logic Programming
A framework for extended algebraic data types
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
Rule-based programming and proving: the ELAN experience outcomes
ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
Building a fuzzy transformation system
SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
On generalization and subsumption for ordered clauses
JSAI'05 Proceedings of the 2005 international conference on New Frontiers in Artificial Intelligence
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
Principal type inference for GHC-Style multi-parameter type classes
APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems
Inductive logic programming: yet another application of logic
INAP'05 Proceedings of the 16th international conference on Applications of Declarative Programming and Knowledge Management
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms
Fundamenta Informaticae
Hi-index | 0.02 |