AXIOMATIZATION: Related Papers in ACL Anthology

AXIOMATIZATION can be found in the following ACL ARC 1.0 documents (click to explore):

• (ACL ID: C00-1076) extending a formal and computational model of rhetorical structure theory with intentional structures la grosz and sidner
• (ACL ID: C00-2106) parsing schemata for grammars with variable number and order of constituents
• (ACL ID: C82-1022) a lesniewskian version of montague grammar
• (ACL ID: C86-1019) methodology and verifiability in montague grammar
• (ACL ID: C86-1050) a simple reconstruction of gpsg
• (ACL ID: C86-1121) two approaches to commonsense inferencing for discourse analysis
• (ACL ID: C90-3035) expressive power of grammatical formalisms
• (ACL ID: C92-1054) redundancy in collaborative dialogue
• (ACL ID: C94-2181) consequence relations in drt
• (ACL ID: E89-1028) computational semantics of mass terms
• (ACL ID: E93-1041) a tradeoff between compositionality and complexity in the semantics of dimensional adjectives
• (ACL ID: H86-1008) a terminological simplification transformation for natural language question-answering systems 1
• (ACL ID: H86-1013) commonsense metaphysics and lexical semantics
• (ACL ID: J00-3005) the rhetorical parsing of unrestricted texts
• (ACL ID: J00-4003) an empirically based system for processing definite descriptions
• (ACL ID: J01-1004) d-tree substitution grammars
• (ACL ID: J81-3002) translating spanish into logic through logic
• (ACL ID: J84-2002) the pragmatics of referring and the modality of communication
• (ACL ID: J87-3004) commonsense metaphysics and lexlcal semantics
• (ACL ID: J89-2004) on the logic of category definitions
• (ACL ID: J91-2001) features and formulae
• (ACL ID: J94-1001) computing with features as formulae
• (ACL ID: J95-3005) squibs and discussions
• (ACL ID: J95-4001) the repair of speech act misunderstandings by abductive inference
• (ACL ID: P01-1024) topological dependency trees
• (ACL ID: P82-1027) planning natural language referring expressions
• (ACL ID: P83-1021) parsing as deduction
• (ACL ID: P84-1044) representing knowledge about knowledge and mutual knowledge
• (ACL ID: P84-1046) referring as requesting
• (ACL ID: P84-1059) building a large knowledge base for a natural language system
• (ACL ID: P86-1035) commonsense metaphysics and lexical semantics
• (ACL ID: P86-1036) a terminological simplification transformation for natural language question-answering systems
• (ACL ID: P88-1011) a logic for semantic interpretation
• (ACL ID: P88-1012) interpretation as abduction
• (ACL ID: P88-1021) a practical nonmonotonic theory for reasoning about speech acts
• (ACL ID: P88-1030) deductive parsing with multiple levels of representation.
• (ACL ID: P89-1024) a hybrid approach to representation in the janus natural language processor
• (ACL ID: P90-1022) expressing disjunctive and negative feature constraints with classical first-order logic.
• (ACL ID: P92-1013) accommodating context change
• (ACL ID: P93-1026) a complete and recursive feature theory
• (ACL ID: P93-1040) the imperfective paradox and trajectory-of-motion events
• (ACL ID: P94-1023) on determining the consistency of partial descriptions of trees
• (ACL ID: P96-1004) morphological cues for lexical semantics
• (ACL ID: P97-1013) the rhetorical parsing of unrestricted natural language texts
• (ACL ID: P98-1102) unification-based multimodal parsing
• (ACL ID: T78-1004) on primitives, prototypes, and other semantic anomalies
• (ACL ID: T87-1006) world knowledge and word meaning
• (ACL ID: W03-0907) story understanding through multi-representation model construction
• (ACL ID: W04-0408) multiword expressions as dependency subgraphs
• (ACL ID: W04-1504) axiomatization of restricted non-projective dependency trees through finite-state constraints that analyse crossing bracketings
• (ACL ID: W04-2503) using answer set programming to answer complex queries
• (ACL ID: W05-1503) switch graphs for parsing type logical grammars
• (ACL ID: W96-0410) paying heed to collocations