A semantics of multiple inheritance.
Proc. of the international symposium on Semantics of data types
On the sequential nature of unification
Journal of Logic Programming
Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
Complex indeterminates in Prolog and its application to discourse models
New Generation Computing
About the Paterson-Wegman linear unification algorithm
Journal of Computer and System Sciences
Maximal unifiable subsets and minimal non-unifiable subsets
New Generation Computing
Login: A logic programming language with built-in inheritance
Journal of Logic Programming
Complete sets of unifiers and matchers in equational theories
Theoretical Computer Science
On the complexity of unification sequences
Proceedings on Third international conference on logic programming
New Classes for Parallel Complexity: A Study of Unification and Other Complete Problems for P
IEEE Transactions on Computers
On unification: Equational theories are not bounded
Journal of Symbolic Computation
Parallel algorithms for term matching
Proc. of the 8th international conference on Automated deduction
NP-completeness of the set unification and matching problems
Proc. of the 8th international conference on Automated deduction
A classification of many-sorted unification problems
Proc. of the 8th international conference on Automated deduction
An algebraic semantics approach to the effective resolution of type equations
Theoretical Computer Science
An efficient augmented-context-free parsing algorithm
Computational Linguistics
Principles of artificial intelligence
Principles of artificial intelligence
Unification under associativity and idempotence is of type nullary
Journal of Automated Reasoning
The theory of idempotent semigroups is of unification type zero
Journal of Automated Reasoning
Common LISP: the language
A logic for partially specified data structures
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
On parallel unification for Prolog
New Generation Computing
Inheritance hierarchies: Semantics and unification
Journal of Symbolic Computation
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
A Complete Mechanization of Second-Order Type Theory
Journal of the ACM (JACM)
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
An Efficient Unification Algorithm
ACM Transactions on Programming Languages and Systems (TOPLAS)
An efficient context-free parsing algorithm
Communications of the ACM
Transition network grammars for natural language analysis
Communications of the ACM
Natural Language Processing in the 1980s: A Bibliography
Natural Language Processing in the 1980s: A Bibliography
Natural Language Understanding
Natural Language Understanding
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Natural Language Communication with Computers
Exponential Improvement of Efficient Backtracking: data Structure and Implementation
Proceedings of the 6th Conference on Automated Deduction
Proceedings of the 7th International Conference on Automated Deduction
Exponential Improvement of Efficient Backtracking: A Strategy for Plan-Based Deduction
Proceedings of the 6th Conference on Automated Deduction
An ideal model for recursive polymorphic types
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
STOC '76 Proceedings of the eighth annual ACM symposium on Theory of computing
A unified approach to models of synchronous parallel machines
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
Prolog - the language and its implementation compared with Lisp
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
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
An efficient context-free parsing algorithm
An efficient context-free parsing algorithm
Constrained resolution: a complete method for higher-order logic.
Constrained resolution: a complete method for higher-order logic.
The complexity of unification.
The complexity of unification.
Mechanical theorem proving and artificial intelligence languages.
Mechanical theorem proving and artificial intelligence languages.
Version spaces: an approach to concept learning.
Version spaces: an approach to concept learning.
A lattice theoretic approach to computation based on a calculus of partially ordered type structures (property inheritance, semantic nets, graph unification)
An efficient context-free parsing algorithm for natural languages and its applications
An efficient context-free parsing algorithm for natural languages and its applications
Computational Linguistics
Computational Linguistics
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
Functional Unification Grammar: a formalism for machine translation
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
The semantics of grammar formalisms seen as computer languages
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
The design of a computer language for linguistic information
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
Some uses of higher-order logic in computational linguistics
ACL '86 Proceedings of the 24th annual meeting on Association for Computational Linguistics
A logical semantics for feature structures
ACL '86 Proceedings of the 24th annual meeting on Association for Computational Linguistics
A logical version of functional grammar
ACL '87 Proceedings of the 25th annual meeting on Association for Computational Linguistics
A unification method for disjunctive feature descriptions
ACL '87 Proceedings of the 25th annual meeting on Association for Computational Linguistics
Revised generalized phrase structure grammar
ACL '87 Proceedings of the 25th annual meeting on Association for Computational Linguistics
ACL '85 Proceedings of the 23rd annual meeting on Association for Computational Linguistics
Structure sharing with binary trees
ACL '85 Proceedings of the 23rd annual meeting on Association for Computational Linguistics
A structure-sharing representation for unification-based grammar formalisms
ACL '85 Proceedings of the 23rd annual meeting on Association for Computational Linguistics
Using restriction to extend parsing algorithms for complex-feature-based formalisms
ACL '85 Proceedings of the 23rd annual meeting on Association for Computational Linguistics
Unification of disjunctive feature descriptions
ACL '88 Proceedings of the 26th annual meeting on Association for Computational Linguistics
D-PATR: a development environment for unification-based grammars
COLING '86 Proceedings of the 11th coference on Computational linguistics
Conditioned unification for natural language processing
COLING '86 Proceedings of the 11th coference on Computational linguistics
Categorial unification grammars
COLING '86 Proceedings of the 11th coference on Computational linguistics
A lexical functional grammar system in PROLOG
COLING '86 Proceedings of the 11th coference on Computational linguistics
Data structures and algorithms for disjoint set union problems
ACM Computing Surveys (CSUR)
Analogy by generalization—and the quest of the grail
ACM SIGPLAN Notices
Unification for completely commutative theories
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Object-oriented schema extension and abstraction
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
On solving equations and disequations
Journal of the ACM (JACM)
Dependency unification grammar for PROLOG
Computational Linguistics
Optimal unification of bound simple set-terms
CIKM '96 Proceedings of the fifth international conference on Information and knowledge management
Aggregate structure identification and its application to program analysis
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A unification-based adaptive parser
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Token-Templates and Logic Programs for Intelligent Web Search
Journal of Intelligent Information Systems - Special issue on methodologies for intelligent information systems
Partial Instantiation Methods for Inference in First-Order Logic
Journal of Automated Reasoning
Holism, Conceptual-Role Semantics, and Syntactic Semantics
Minds and Machines
A Method for Reasoning with Ontologies Represented as Conceptual Graphs
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Complexity and Algorithms for the Matching of Bag and Set Terms
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Reasoning with Ontologies by Using Knowledge Conjunction in Conceptual Graphs
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
On the Unification of Substitutions in Type Interfaces
IFL '98 Selected Papers from the 10th International Workshop on 10th International Workshop
CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
Connectors Synthesis for Deadlock-Free Component-Based Architectures
Proceedings of the 16th IEEE international conference on Automated software engineering
Preference formulas in relational queries
ACM Transactions on Database Systems (TODS)
Journal of Functional Programming
The interface between phrasal and functional constraints
Computational Linguistics
A delayed syntactic-encoding-based LFG parsing strategy for an Indian language: Bangla
Computational Linguistics
Types in Functional Unification Grammars
ACL '90 Proceedings of the 28th annual meeting on Association for Computational Linguistics
Feature structure based semantic head driven generation
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 1
Journal of Logic, Language and Information
Information and Computation
Modeling dialogue with mixed initiative in design space exploration
Artificial Intelligence for Engineering Design, Analysis and Manufacturing - Special Issue: Design Spaces: The Explicit Representation of Spaces of Alternatives
An algebraic array shape inference system for MATLAB®
ACM Transactions on Programming Languages and Systems (TOPLAS)
GenI: natural language generation in Haskell
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell
Efficient finite state unification morphology
COLING '04 Proceedings of the 20th international conference on Computational Linguistics
Parsimony principles for software components and metalanguages
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Binary Search Trees, Recurrent Properties andWave Equations
Fundamenta Informaticae
Failure-free coordinators synthesis for component-based architectures
Science of Computer Programming
Analysis and Reuse of Plots Using Similarity and Analogy
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Computational Linguistics
A unification-based approach to configure generic protocols into agent interaction models
International Journal of Agent-Oriented Software Engineering
Information and Computation
Journal of Visual Languages and Computing
Incremental speech translation
Incremental speech translation
SecPAL: Design and semantics of a decentralized authorization language
Journal of Computer Security - Digital Identity Management (DIM 2007)
A probabilistic evaluation function for relaxed unification
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
Agreement constraints for statistical machine translation into German
WMT '11 Proceedings of the Sixth Workshop on Statistical Machine Translation
Binary Search Trees, Recurrent Properties andWave Equations
Fundamenta Informaticae
Towards probabilistic acceptors and transducers for feature structures
SSST-6 '12 Proceedings of the Sixth Workshop on Syntax, Semantics and Structure in Statistical Translation
Machine translation based on unification link grammar
Artificial Intelligence Review
Closed type families with overlapping equations
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
| Hi-index | 0.00 |
The unification problem and several variants are presented. Various algorithms and data structures are discussed. Research on unification arising in several areas of computer science is surveyed; these areas include theorem proving, logic programming, and natural language processing. Sections of the paper include examples that highlight particular uses of unification and the special problems encountered. Other topics covered are resolution, higher order logic, the occur check, infinite terms, feature structures, equational theories, inheritance, parallel algorithms, generalization, lattices, and other applications of unification. The paper is intended for readers with a general computer science background—no specific knowledge of any of the above topics is assumed.