Jape is a configurable, graphical proof assistant, originally developed by Richard Bornat at Queen Mary, University of London and Bernard Sufrin the University...

electronic/rock band JAPE (linguistics), a transformation language widely used in natural language processing JAPE, an automated pun generator Jape (software), a Java-based...

and Kim Binsted in their 1994 research paper described a computer program, JAPE, designed to generate question-answer-type puns from a general, i.e., non-humorous...

supposed deaths. In 2016, the rock and roll legend was immortalized by software studio Realtime Gaming in a slot game named appropriately - The Big Bopper...

(Fernando Otero album), 2015 Ritual (In This Moment album), 2017 Ritual (Jape album), 2008 Ritual (Keith Jarrett album) or the title song, 1982 Ritual...

tasks. A related area of NLG application is computational humor production.  JAPE (Joke Analysis and Production Engine) is one of the earliest large, automated...

Isabelle distribution bundles many add-on tools with different licenses. Jape – Java based. Lean LEGO Matita – A light system based on the Calculus of...

Bernard Sufrin of the Oxford University Computing Laboratory) developed Jape, a proof calculator; he is involved in research on the usability of this...

Yes May 2019 Prover9/Otter Public Domain Via System on TPTP Yes No 2009 Jape GPLv2 Yes Yes No May 15, 2015 PVS GPLv2 No Yes No January 14, 2013 EQP ?...

foundation. JAPE – the Java Annotation Patterns Engine, a component of the open-source General Architecture for Text Engineering (GATE) platform. JAPE is a finite...