Author of the publication

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

A logic-algebraic tool for reasoning with Knowledge-Based Systems., , , , and . CoRR, (2018)Selecting Attributes for Sport Forecasting using Formal Concept Analysis, , and . CoRR, (2011)Specifying and Verifying Meta-Security by Means of Semantic Web Methods., , , and . SOCO-CISIS-ICEUTE, volume 299 of Advances in Intelligent Systems and Computing, page 355-365. Springer, (2014)Algebraic combinatorics in bounded induction.. Ann. Pure Appl. Log., 172 (2): 102885 (2021)A Topological Study of the Upward Refinement Operators in ILP., , and . ILP Work-in-progress reports, volume 35 of CEUR Workshop Proceedings, CEUR-WS.org, (2000)Semantics for incident identification and resolution reports., , , and . Logic Journal of the IGPL, 24 (6): 916-932 (2016)On Overspill Principles and Axiom Schemes for Bounded Formulas., , and . Math. Log. Q., (1996)Discovering New Sentiments from the Social Web., and . CoRR, (2014)Generalizing Programs vis Subsumption., , and . EUROCAST, volume 2809 of Lecture Notes in Computer Science, page 115-126. Springer, (2003)Confidence-Based Reasoning with Local Temporal Formal Contexts., , and . IWANN (2), volume 6692 of Lecture Notes in Computer Science, page 461-468. Springer, (2011)