FIRST-ORDER PREDICATE LOGIC: Related Papers in ACL Anthology
Back to Document Index
Back to Term Index
-
Concordance view (Keyword-In-Context) for the term first-order predicate logic in the ACL ARC 2.0;
- Concordance view in the ACL ARC 1.0 (Sketch Engine Service).
FIRST-ORDER PREDICATE LOGIC can be found in the following ACL ARC 1.0 documents (click to explore):
- (ACL ID: C82-1022) a lesniewskian version of montague grammar
- (ACL ID: C90-2025) functor-driven natural language generation with categorial-unification grammars
- (ACL ID: C96-2165) on inference-based procedures for lexical disambiguation
- (ACL ID: H91-1022) the use of a commercial natural language interface in the atis task
- (ACL ID: P84-1065) using focus to generate complex and simple sentences
- (ACL ID: W04-1005) vocabulary usage in newswire summaries
- (ACL ID: W04-2502) answering questions using advanced semantics and probabilistic inference
- (ACL ID: W06-3503) understanding complex natural language explanations in tutorial applications
* See also a list of some of the related terms to first-order predicate logic.
Back to Description Index
