Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Jape (software)

Known as: Jape 
Jape is a configurable, graphical proof assistant, originally developed by Richard Bornat at Queen Mary, University of London and Bernard Sufrin the… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
The population of a predefined relational schema from textual content, commonly known as Information Extraction (IE), is a… Expand
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
2015
2015
A reading comprehension tool for people with ASD is exposed.The tool assist people with ASD and careers to simplify texts.A key… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • table 2
2006
2006
Is Man the only animal that laughs? Why are clowns so scary? Do jokes make children more intelligent? Are men funnier than women… Expand
Highly Cited
2004
Highly Cited
2004
We present a program logic for verifying the heap consumption of low-level programs. The proof rules employ a uniform assertion… Expand
2003
2003
This paper describes a research project into undergraduates’ use of a software tool to learn symbolic logic—a complex abstract… Expand
  • figure 1
  • figure 4
  • figure 6
  • figure 7
1999
1999
Jape is a program which supports the step-by-step interactive development of proofs in formal logics, in the style of proofs-on… Expand
  • figure 4
  • figure 10
Highly Cited
1997
Highly Cited
1997
We have developed a formal model of certain types of riddles, and implemented it in a computer program, JAPE, which generates… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 5
Highly Cited
1996
Highly Cited
1996
This thesis describes a formal model of a subtype of humour, and the implementation of that model in a program that generates… Expand
  • figure 5.2
Highly Cited
1994
Highly Cited
1994
In this paper, we discuss a model of simple question-answer punning, implemented in a program, JAPE-1, which generates riddles… Expand
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
1960
1960
"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