Listar por autor "Vychodil, Vilem"
Mostrando ítems 1-2 de 2
-
Parameterized simplification logic I: reasoning with implications and classes of closure operators
Cordero-Ortega, Pablo
; Enciso-García-Oliveros, Manuel; Mora-Bonilla, Ángel; Vychodil, Vilem (Taylor & Francis, 2020)
In this paper, we present a general inference system for reasoning with if-then rules. They are defined using general lattice-theoretic notions and their semantics is defined using particular closure operators parameterized ... -
Parameterized Simplification Logic: Reasoning With Implications in an Automated Way
Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Mora-Bonilla, Ángel; Vychodil, Vilem (IEEE, 2022)
In this sequel to our previous article (Cordero et al., 2020) on general inference systems for reasoning with if–then dependencies, we study transformations of if–then rules to semantically equivalent collections of if–then ...