Back to Document Index
Back to Term Index
SLD RESOLUTION can be found in the following ACL ARC 1.0 documents (click to explore): 
- (ACL ID: J89-3002) knowledge representation for commonsense reasoning with text
- (ACL ID: P01-1054) tractability and structural closures in attribute logic type signatures
- (ACL ID: P04-1031) balancing clarity and efficiency in typed feature logic through delaying
- (ACL ID: P95-1014) memoization of coroutined constraints
- (ACL ID: P98-1088) memoisation for glue language deduction and categorial parsing
- (ACL ID: W97-1509) head-driven generation and indexing in ale
* See also a list of some of the related terms to sld resolution.
Back to Description Index
This page last edited on 12 October 2025.



