THEOREM PROVING: Related Papers in ACL Anthology
Back to Document Index
Back to Term Index
-
Concordance view (Keyword-In-Context) for the term theorem proving in the ACL ARC 2.0;
- Concordance view in the ACL ARC 1.0 (Sketch Engine Service).
THEOREM PROVING can be found in the following ACL ARC 1.0 documents (click to explore):
- (ACL ID: A83-1010) parsing with logical variables
- (ACL ID: A92-1002) a dialog control algorithm and its performance
- (ACL ID: C69-2901) towards a computational formalization of natural language semantics
- (ACL ID: C86-1046) dependency unification grammar
- (ACL ID: C88-2120) an augmented context free grammar for discourse
- (ACL ID: C90-2030) normal form theorem proving for the lambek calculus
- (ACL ID: C92-1024) chart parsing lambek grammars
- (ACL ID: C94-2177) reverse queries in datr
- (ACL ID: C94-2201) discontinuity and the lambek calculus
- (ACL ID: C96-2153) semantic construction from parse forests
- (ACL ID: E89-1008) paradigmatic morphology
- (ACL ID: E89-1024) expressing generalizations in unification-based grammar formalisms
- (ACL ID: E89-1026) lambek theorem proving and feature unification
- (ACL ID: E95-1018) mixing modes of linguistic description in categorial grammar
- (ACL ID: H86-1017) living up to expectations
- (ACL ID: H93-1029) validation of terminological inference in an information extraction task
- (ACL ID: H93-1034) efficient collaborative discourse
- (ACL ID: J03-2002) implementing the binding and accommodation theory for anaphora resolution and presupposition projection
- (ACL ID: J79-1017) personal notes, coling 76
- (ACL ID: J79-1021) natural language processing, current bibliography
- (ACL ID: J79-1063) computation of a subclass of inferenes presupposition and entailment (aravind k joshi; ralph weischedel)
- (ACL ID: J80-1005) book reviews
- (ACL ID: J80-1006) book reviews
- (ACL ID: J81-1005) technical correspondence
- (ACL ID: J92-2005) incremental processing and the hierarchical lexicon
- (ACL ID: J93-3001) evaluating message understanding systems
- (ACL ID: J95-3001) an architecture for voice dialog systems based on prolog-style theorem proving
- (ACL ID: J97-1006) effects of variable initiative on linguistic behavior in human-computer spoken natural language dialogue
- (ACL ID: N06-1005) effectively using syntax for recognizing false entailment
- (ACL ID: N06-1006) learning to recognize features of valid textual entailments
- (ACL ID: P02-1010) ellipsis resolution with underspecified scope
- (ACL ID: P83-1021) parsing as deduction
- (ACL ID: P84-1017) the costs of inheritance in semantic networks
- (ACL ID: P84-1065) using focus to generate complex and simple sentences
- (ACL ID: P84-1082) automatic construction of discourse representation structures
- (ACL ID: P85-1017) a structure-sharing representation for unification-based grammar formalisms
- (ACL ID: P86-1037) some uses of higher-order logic in computational linguistics
- (ACL ID: P87-1014) functional unification grammar revisited
- (ACL ID: P87-1025) the logical analysis of lexical ambiguity
- (ACL ID: P88-1033) a definite clause version of categorial grammar
- (ACL ID: P89-1024) a hybrid approach to representation in the janus natural language processor
- (ACL ID: P89-1033) parsing as natural deduction
- (ACL ID: P90-1015) licensing and tree adjoining grammar in government binding parsing
- (ACL ID: P90-1023) lazy unification
- (ACL ID: P90-1025) the limits of unification
- (ACL ID: P90-1028) algorithms for generation in lambek theorem proving
- (ACL ID: P96-1001) higher-order coloured unification and natural language semantics
- (ACL ID: P97-1044) maximal incrementality in linear categorial deduction
- (ACL ID: P97-1060) representing constraints with automata
- (ACL ID: P98-1088) memoisation for glue language deduction and categorial parsing
- (ACL ID: P98-2183) a descriptive characterization of tree-adjoining languages
- (ACL ID: P99-1060) an earley-style predictive chart parsing method for lambek grammars
- (ACL ID: T75-1005) what makes sam run? script based techniques for question answering
- (ACL ID: T78-1030) on reasoning by default
- (ACL ID: W03-0102) pointing to places in a deductive geospatial theory
- (ACL ID: W03-0907) story understanding through multi-representation model construction
- (ACL ID: W04-0911) lexical-semantic interpretation of language input in mathematical dialogs
- (ACL ID: W05-0613) probabilistic head-driven parsing for discourse structure
- (ACL ID: W05-1503) switch graphs for parsing type logical grammars
- (ACL ID: W06-1408) generating references to parts of recursively structured objects
- (ACL ID: W06-1806) natural language understanding using temporal action logic
- (ACL ID: W91-0116) a
- (ACL ID: W94-0101) invited talk
- (ACL ID: W97-0621) speech-graphics dialogue systems
- (ACL ID: W98-1008) paradigmatic treatment of arabic morphology
* See also a list of some of the related terms to theorem proving.
Back to Description Index
