NATURAL DEDUCTION: Related Papers in ACL Anthology
Back to Document Index
Back to Term Index
-
Concordance view (Keyword-In-Context) for the term natural deduction in the ACL ARC 2.0;
- Concordance view in the ACL ARC 1.0 (Sketch Engine Service).
NATURAL DEDUCTION can be found in the following ACL ARC 1.0 documents (click to explore):
- (ACL ID: C90-2030) normal form theorem proving for the lambek calculus
- (ACL ID: C92-1024) chart parsing lambek grammars
- (ACL ID: C92-2111) explanatory text planning in logic based systems
- (ACL ID: C94-2201) discontinuity and the lambek calculus
- (ACL ID: C96-1091) a compilation-chart method for linear categorial deduction
- (ACL ID: E91-1035) proof figures and structural operators for categorial grammar
- (ACL ID: E95-1018) mixing modes of linguistic description in categorial grammar
- (ACL ID: E99-1009) geometry of lexico-syntactic interaction
- (ACL ID: E99-1012) ambiguous propositions typed
- (ACL ID: J00-3002) incremental processing and acceptability
- (ACL ID: J92-2005) incremental processing and the hierarchical lexicon
- (ACL ID: N04-4033) polarity sensitivity and evaluation order in type-logical grammar
- (ACL ID: P01-1047) extending lambek grammars
- (ACL ID: P84-1044) representing knowledge about knowledge and mutual knowledge
- (ACL ID: P89-1019) a calculus for semantic composition and scoping
- (ACL ID: P89-1033) parsing as natural deduction
- (ACL ID: P91-1011) efficient incremental processing with categorial grammar
- (ACL ID: P92-1005) monotonic semantic interpretation
- (ACL ID: P95-1010) features and agreement
- (ACL ID: P97-1025) planning reference choices for argumentative teas
- (ACL ID: P97-1044) maximal incrementality in linear categorial deduction
- (ACL ID: P98-1088) memoisation for glue language deduction and categorial parsing
- (ACL ID: P99-1060) an earley-style predictive chart parsing method for lambek grammars
- (ACL ID: T75-2035) formal reasoning and language understanding system
- (ACL ID: W04-1507) categorial type logic meets dependency grammar to annotate an italian corpus
- (ACL ID: W06-1806) natural language understanding using temporal action logic
- (ACL ID: W94-0317) planning reference choices for argumentative texts
- (ACL ID: W97-1408) generating referential descriptions in multimedia environments
- (ACL ID: W98-1410) macroplanning with a cognitive architecture for the adaptive explanation of proofs
* See also a list of some of the related terms to natural deduction.
Back to Description Index
