THEOREM PROVER: Related Papers in ACL Anthology
Back to Document Index
Back to Term Index
-
Concordance view (Keyword-In-Context) for the term theorem prover in the ACL ARC 2.0;
- Concordance view in the ACL ARC 1.0 (Sketch Engine Service).
THEOREM PROVER can be found in the following ACL ARC 1.0 documents (click to explore):
- (ACL ID: A00-2042) understanding "each other
- (ACL ID: A00-3003) generating text with a theorem prover
- (ACL ID: A83-1010) parsing with logical variables
- (ACL ID: A92-1002) a dialog control algorithm and its performance
- (ACL ID: C02-1113) natural language and inference in a computer game
- (ACL ID: C04-1203) a natural language processing infrastructure for turkish
- (ACL ID: C80-1028) levels of representation in natural language based information systems and their relation to the methodology of computational linguistics
- (ACL ID: C86-1046) dependency unification grammar
- (ACL ID: C88-2128) a uniform architecture for parsing and generation
- (ACL ID: C88-2143) massive disambiguation of large text corpora with flexible categorial grammar
- (ACL ID: C88-2163) default reasoning in natural language processing
- (ACL ID: C90-2030) normal form theorem proving for the lambek calculus
- (ACL ID: C92-1028) modularity, parallelism, and licensing in a principle-based parser for german
- (ACL ID: C92-2111) explanatory text planning in logic based systems
- (ACL ID: C92-3155) jdii
- (ACL ID: C94-2145) on the portability of complex constraint-based grammars
- (ACL ID: C94-2177) reverse queries in datr
- (ACL ID: C96-2153) semantic construction from parse forests
- (ACL ID: E85-1016) parametrized abstract objects for linguistic information processing
- (ACL ID: E89-1026) lambek theorem proving and feature unification
- (ACL ID: E91-1016) a logical approach to arabic phonology
- (ACL ID: E91-1032) multiple interpreters in a principle-based model of sentence processing
- (ACL ID: E91-1045) helpful answers to modal and hypothetical questions
- (ACL ID: E93-1033) abductive explanation of dialogue misunderstandings
- (ACL ID: E95-1042) aggregation in the nl-generator of the visual and natural language specification tool
- (ACL ID: H86-1022) a logical-form and knowledge-base design for natural language generation
- (ACL ID: H89-2075) tacitus
- (ACL ID: H92-1121) tacitus
- (ACL ID: J03-2002) implementing the binding and accommodation theory for anaphora resolution and presupposition projection
- (ACL ID: J79-1053) computer understanding of physics problems stated in natural language (gordon s novork jr)
- (ACL ID: J79-1083) a lexicon for a computer question answering system (martha m evens; radul n smith)
- (ACL ID: J81-1005) technical correspondence
- (ACL ID: J89-3002) knowledge representation for commonsense reasoning with text
- (ACL ID: J91-2001) features and formulae
- (ACL ID: J92-4006) computer rules, conversational rules
- (ACL ID: J95-3001) an architecture for voice dialog systems based on prolog-style theorem proving
- (ACL ID: J95-4001) the repair of speech act misunderstandings by abductive inference
- (ACL ID: J97-1006) effects of variable initiative on linguistic behavior in human-computer spoken natural language dialogue
- (ACL ID: J99-3004) interpreting and generating indirect answers
- (ACL ID: M91-1015) sri international's tacitus system
- (ACL ID: M91-1036) computational aspects of discourse inthe context of muc-3
- (ACL ID: N06-1006) learning to recognize features of valid textual entailments
- (ACL ID: P80-1013) capturing linguistic generalizations with metarules in an annotated phrase-structure grammar
- (ACL ID: P82-1004) what's in a semantic network?
- (ACL ID: P83-1006) a modal temporal logic for reasoning about change
- (ACL ID: P84-1017) the costs of inheritance in semantic networks
- (ACL ID: P84-1024) semantic interpretation using kl-one
- (ACL ID: P86-1037) some uses of higher-order logic in computational linguistics
- (ACL ID: P87-1030) a model for generating better explanations
- (ACL ID: P88-1012) interpretation as abduction
- (ACL ID: P88-1033) a definite clause version of categorial grammar
- (ACL ID: P89-1033) parsing as natural deduction
- (ACL ID: P90-1028) algorithms for generation in lambek theorem proving
- (ACL ID: P94-1009) a hybrid reasoning model for indirect answers
- (ACL ID: T75-2032) representation of knowledge
- (ACL ID: T78-1030) on reasoning by default
- (ACL ID: T87-1022) discourse representation theory and the semantics of natural languages
- (ACL ID: W00-0311) a compact architecture for dialogue management based on scripts and meta-outputs
- (ACL ID: W00-0604) answer extraction towards better evaluations of nlp systems
- (ACL ID: W01-1512) using an open-source unification-based system for cl/nlp teaching
- (ACL ID: W03-0102) pointing to places in a deductive geospatial theory
- (ACL ID: W03-0908) towards light semantic processing for question answering
- (ACL ID: W04-0902) solving logic puzzles
- (ACL ID: W06-1309) tracing actions helps in understanding interactions
- (ACL ID: W06-1803) interpretation and generation in a knowledge-based tutorialsystem
- (ACL ID: W06-1805) adjective based inference
- (ACL ID: W06-1806) natural language understanding using temporal action logic
- (ACL ID: W06-1909) adapting a semantic question answering system to the web
- (ACL ID: W90-0112) domain communication knowledge
- (ACL ID: W91-0205) logical structures in the lexicon
- (ACL ID: W94-0101) invited talk
- (ACL ID: W94-0322) generating indirect answers to yes-no questions
- (ACL ID: W98-1419) textual economy through close coupling of syntax and semantics
- (ACL ID: W99-0111) reference-based discourse structure for reference resolution
* See also a list of some of the related terms to theorem prover.
Back to Description Index
