Method Term: horn clause resolution

To view the usage of horn clause resolution in the ACL ARC 2.0 corpus click here (i.e., KWIC using NoSke).

Terms semantically related to horn clause resolution:

• local ambiguity reduction
• automatic corpus correction
• clause resolution
• weighted-majority learning
• sm feature selection
• discourse-level inference
• errorreduction learning
• modeling information-seeking
• iterativc optimization
• kalman predictor
• likelihood identification
• maximum likelihood identification
• ltag representation

Note that only terms are manually validated, not their relationships. See the ACL RD-TEC 1.0 documentations.