Semantic Scholar uses AI to extract papers important to this topic.
The population of a predefined relational schema from textual content, commonly known as Information Extraction (IE), is a… Expand A reading comprehension tool for people with ASD is exposed.The tool assist people with ASD and careers to simplify texts.A key… Expand Is Man the only animal that laughs? Why are clowns so scary? Do jokes make children more intelligent? Are men funnier than women… Expand We present a program logic for verifying the heap consumption of low-level programs. The proof rules employ a uniform assertion… Expand This paper describes a research project into undergraduates’ use of a software tool to learn symbolic logic—a complex abstract… Expand Jape is a program which supports the step-by-step interactive development of proofs in formal logics, in the style of proofs-on… Expand We have developed a formal model of certain types of riddles, and implemented it in a computer program, JAPE, which generates… Expand This thesis describes a formal model of a subtype of humour, and the implementation of that model in a program that generates… Expand In this paper, we discuss a model of simple question-answer punning, implemented in a program, JAPE-1, which generates riddles… Expand "WELL said, by *corpus Domini,"* quoth our Host; *the Lord's body* "Now longe may'st thou saile by the coast, Thou gentle Master… Expand