From post

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.

 

Другие публикации лиц с тем же именем

Direct-optimal basis computation by means of the fusion of simplification rules., , , , и . Discret. Appl. Math., (2018)A temporal negative normal form which preserves implicants and implicates., , и . J. Appl. Non Class. Logics, 10 (3-4): 243-272 (2000)Bases for closed sets of implicants and implicates in temporal logic., , и . Acta Inf., 38 (9): 599-619 (2002)Temporal Reasoning over Linear Discrete Time., , и . JELIA, том 1126 из Lecture Notes in Computer Science, стр. 303-319. Springer, (1996)An Approach to Visualize Implications., , , и . ICFCA (Supplements), том 2378 из CEUR Workshop Proceedings, стр. 113-124. CEUR-WS.org, (2019)A New Kind of Implication to Reason with Unknown Information., , , и . ICFCA, том 12733 из Lecture Notes in Computer Science, стр. 74-90. Springer, (2021)Computing Minimal Generators from Implications: a Logic-guided Approach., , , и . CLA, том 972 из CEUR Workshop Proceedings, стр. 187-198. CEUR-WS.org, (2012)CAISL: Simplification Logic for Conditional Attribute Implications., , , , и . CLA, том 1624 из CEUR Workshop Proceedings, стр. 337-348. CEUR-WS.org, (2016)Bases via Minimal Generators., , , и . FCA4AI@IJCAI, том 1058 из CEUR Workshop Proceedings, стр. 33-36. CEUR-WS.org, (2013)Improving Recommender Systems with Simplification Logic to Manage Implications with Grades., , , , , и . ICSOFT (Selected Papers), том 457 из Communications in Computer and Information Science, стр. 290-305. Springer, (2013)