Searching for "On the Logic of Unification." – sorted by Relevance.
76 documents found, showing 1 through 10.
Next 10 →
-
Feature Constraint Logics for Unification Grammars
- …Feature Constraint Logics for Unification Grammars Gert Smolka German Research Center…
- Cited by 81 (10 self) – Add To MetaCart
-
Logic as Information Compression by Multiple Alignment, Unification and Search
- …LOGIC AS INFORMATION COMPRESSION BY MULTIPLE ALIGNMENT, UNIFICATION AND SEARCH J Gerard Wolff…
- Cited by 6 (6 self) – Add To MetaCart
-
Clausal Proofs and Discontinuity
- … by SLD resolution in linear logic with unification on labels/terms limited to one way matching. A…
- Cited by 11 (3 self) – Add To MetaCart
-
Clausal Proof Nets and Discontinuity
- … by SLD resolution in linear logic with unification on labels/terms limited to one-way matching. A…
- Cited by 1 (0 self) – Add To MetaCart
-
Position Paper
- …: unificational, combinatory, and logical. The unificational school is represented by such names as Klein, Pollard…
- Add To MetaCart
-
Unification and the New Grammarism
- … (first order) logical unification to more or less arbitrarily powerful pattern matching (Functional…
- Add To MetaCart
-
Source-tracking Unification
- …. The objects of source-tracking are deductions in the logic of unification. The semantics of deductions…
- Cited by 2 (1 self) – Add To MetaCart
-
Using Spatial Structure in the Associative Retrieval of 2-D Line Drawings
- … logical unification and resolution to accomplish the matching; the second family of methods heuristically…
- Cited by 1 (0 self) – Add To MetaCart
-
and
- …Undecidability of the unification and admissibility problems for modal and description logics…
- Add To MetaCart
-
Source-tracking Unification using semi-Dyck labeled reachability
- … programming. The objects of source-tracking are deductions in the logic of term unification. The semantics…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
