14 citations · 56 across the 15 of their papers we have counts for
Showing 2014 · cs.LOShow all
3 papers · 2 filters
cs.LO2014★ 6 cited
Logic of temporal attribute implications
Jan Triska, Vilem Vychodil
We study logic for reasoning with if-then formulas describing dependencies between attributes of objects which are observed in consecutive points in time. We introduce semantic ent…
cs.LO2014★ 1 cited
Fuzzy inequational logic
Vilem Vychodil
We present a logic for reasoning about graded inequalities which generalizes the ordinary inequational logic used in universal algebra. The logic deals with atomic predicate formul…
cs.LO2014★ 6 cited
Attribute Dependencies for Data with Grades
Radim Belohlavek, Vilem Vychodil
This paper examines attribute dependencies in data that involve grades, such as a grade to which an object is red or a grade to which two objects are similar. We thus extend the cl…