Storing and evaluating Horn-clause rules in a relational database
IBM Journal of Research and Development
Parallel evaluation of recursive rule queries
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
New Classes for Parallel Complexity: A Study of Unification and Other Complete Problems for P
IEEE Transactions on Computers
ACM SIGARCH Computer Architecture News
APL2 implementations of unification
APL '87 Proceedings of the international conference on APL: APL in transition
Associative-commutative unification
Journal of Symbolic Computation
Unification: a multidisciplinary survey
ACM Computing Surveys (CSUR)
Using smoothness to achieve parallelism
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
Type inference in a database programming language
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
On the relationship of congruence closureand unification
Journal of Symbolic Computation
Journal of Symbolic Computation
Polymorphic unification and ML typing
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Design and performance measurements of a parallel machine for the unification algorithm
MICRO 22 Proceedings of the 22nd annual workshop on Microprogramming and microarchitecture
The Performance of Parallel Prolog Programs
IEEE Transactions on Computers
Deciding ML typability is complete for deterministic exponential time
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The complexity of type inference for higher-order lambda calculi
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Communications of the ACM
Type inference with polymorphic recursion
ACM Transactions on Programming Languages and Systems (TOPLAS)
Journal of the ACM (JACM)
Describing Prolog by its interpretation and compilation
Communications of the ACM
In memoriam Paris C. Kanellakis
ACM Computing Surveys (CSUR)
Optimal unification of bound simple set-terms
CIKM '96 Proceedings of the fifth international conference on Information and knowledge management
Real-time control of attention and behavior in a logical framework
AGENTS '97 Proceedings of the first international conference on Autonomous agents
Constraints in computational logics
The complexity of acyclic conjunctive queries
Journal of the ACM (JACM)
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Grounding Mundane Inference in Perception
Autonomous Robots - Special issue on autonomous agents
A Parallel Unification Machine
IEEE Micro
Type Reconstruction for Functional Programs with Subtyping over a Lattice of Atomic Types
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
In Memoriam: Paris C. Kanellakis
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
Complexity and Expressive Power of Logic Programming
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
Parallel algorithms for unification and other complete problems in p
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Fundamenta Informaticae - Concurrency specification and programming
The representation and deductive retrieval of complex objects
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
Polymorphic type inference for the named nested relational calculus
ACM Transactions on Computational Logic (TOCL)
Unification as constraint satisfaction in structured connectionist networks
Neural Computation
Very fast action selection for parameterized behaviors
Proceedings of the 4th International Conference on Foundations of Digital Games
Unique normal forms and confluence of rewrite systems: persistence
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A structured connectionist unification algorithm
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
On the adequateness of the connection method
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Fundamenta Informaticae - From Mathematical Beauty to the Truth of Nature: to Jerzy Tiuryn on his 60th Birthday
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 2
Foundations of rule-based query answering
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Exploiting Parallelism in Coalgebraic Logic Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.04 |