Showing 2025Show all
2 papers · 1 filter
cs.AI2025
Non-Monotonic S4F Standpoint Logic (Extended Version with Proofs)
Piotr Gorczyca, Hannes Strass
Standpoint logics offer unified modal logic-based formalisms for representing multiple heterogeneous viewpoints. At the same time, many non-monotonic reasoning frameworks can be na…
cs.LO2025
Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (Extended Version)
Pascal Kettmann, Jesse Heyninck, Hannes Strass
Fuzzy logic programming is an established approach for reasoning under uncertainty. Several semantics from classical, two-valued logic programming have been generalized to the case…