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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1993-2016
01219932016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Humor is an integral part of our day-to-day communication making it interesting and plausible. The growing demand in robotics and… (More)
Is this relevant?
2006
2006
Children who are deprived of language play are likely to experience impaired linguistic development and this can in turn inhibit… (More)
Is this relevant?
2003
2003
Although the JAPE riddle generator has attracted significant attention and there are published accounts of its performance, there… (More)
  • figure 1
Is this relevant?
Review
2003
Review
2003
This paper describes a research project into undergraduates’ use of a software tool to learn symbolic logic—a complex abstract… (More)
  • figure 1
  • figure 4
  • figure 6
  • figure 7
Is this relevant?
2001
2001
We present JAPE, a flexible prototyping system to support the design of a new advanced collaborative virtual environment. We… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
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… (More)
  • figure 4
  • figure 10
Is this relevant?
1999
1999
GUI design isn't simply a matter of putting a nice front-end on a capable program. It requires thought about the way in which… (More)
  • figure 3
  • figure 4
  • figure 5
  • figure 7
  • figure 8
Is this relevant?
Review
1999
Review
1999
  • O’Shea
  • 1999
The program Jape [2] allows interactive, step-by-step construction of proofs for a variety of logics. It allows a teacher some… (More)
Is this relevant?
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… (More)
  • figure 2.1
  • table 4.1
  • table 4.2
  • table 4.3
  • figure 5.1
Is this relevant?