11 citations · 47 across the 17 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.AI2019
PIE -- Proving, Interpolating and Eliminating on the Basis of First-Order Logic
Christoph Wernhard
PIE is a Prolog-embedded environment for automated reasoning on the basis of first-order logic. It includes a versatile formula macro system and supports the creation of documents…
cs.AI2019
KBSET -- Knowledge-Based Support for Scholarly Editing and Text Processing
Jana Kittelmann, Christoph Wernhard
KBSET supports a practical workflow for scholarly editing, based on using LaTeX with dedicated commands for semantics-oriented markup and a Prolog-implemented core system. Prolog p…