5 citations · 8 across the 2 of their papers we have counts for
5 papers
Testing for Renamability to Classes of Clause Sets
Albert Brandl, Christian G. Fermüller, Gernot Salzer
This paper investigates the problem of testing clause sets for membership in classes known from literature. In particular, we are interested in classes defined via renaming: Is it…
Dermtrainer: A Decision Support System for Dermatological Diseases
Gernot Salzer, Agata Ciabattoni, Christian Fermüller +6
Dermtrainer is a medical decision support system that assists general practitioners in diagnosing skin diseases and serves as a training platform for dermatologists. Its key compon…
A Game Model for Proofs with Costs
Timo Lang, Carlos Olarte, Elaine Pimentel +1
We look at substructural calculi from a game semantic point of view, guided by certain intuitions about resource conscious and, more specifically, cost conscious reasoning. To this…
Representing Strategic Games and Their Equilibria in Many-Valued Logics
Libor Běhounek, Petr Cintula, Chris Fermüller +1
We introduce the notion of logical A-games for a fairly general class of algebras A of real truth-values. This concept generalizes the Boolean games of Harrenstein et al. as well a…
Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability
Matthias Baaz, Agata Ciabattoni, Christian G Fermüller
Gödel logic with the projection operator Delta (G_Delta) is an important many-valued as well as intermediate logic. In contrast to classical logic, the validity and the satisfiabil…