Author of the publication

Restricted ideals and the groupability property. Tools for temporal reasoning.

, , , and . Kybernetika, 39 (5): 521-546 (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Bases for closed sets of implicants and implicates in temporal logic., , and . Acta Inf., 38 (9): 599-619 (2002)On the definition of suitable orderings to generate adjunctions over an unstructured codomain., , , , and . Inf. Sci., (2014)An Efficient Algorithm for Reasoning about Fuzzy Functional Dependencies., , , , and . IWANN (2), volume 6692 of Lecture Notes in Computer Science, page 412-420. Springer, (2011)On Galois Connections and Soft Computing., , , and . IWANN (2), volume 7903 of Lecture Notes in Computer Science, page 224-235. Springer, (2013)A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic., , , , and . SBIA, volume 3171 of Lecture Notes in Computer Science, page 31-40. Springer, (2004)Closure via functional dependence simplification., , , , and . Int. J. Comput. Math., 89 (4): 510-526 (2012)Automated prover for attribute dependencies in data with grades., , , , and . Int. J. Approx. Reason., (2016)Computing Left-Minimal Direct Basis of implications., , , and . CLA, volume 1062 of CEUR Workshop Proceedings, page 293-298. CEUR-WS.org, (2013)Computing Minimal Generators from Implications: a Logic-guided Approach., , , and . CLA, volume 972 of CEUR Workshop Proceedings, page 187-198. CEUR-WS.org, (2012)Bases via Minimal Generators., , , and . FCA4AI@IJCAI, volume 1058 of CEUR Workshop Proceedings, page 33-36. CEUR-WS.org, (2013)