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

Symmetry Breaking in Quantified Boolean Formulae., , and . IJCAI, page 2262-2267. (2007)On repairing queries in cloud computing., and . AICCSA, page 1-6. IEEE Computer Society, (2016)Exploiting MUS Structure to Measure Inconsistency of Knowledge Bases., and . ECAI, volume 285 of Frontiers in Artificial Intelligence and Applications, page 991-998. IOS Press, (2016)On Minimal and Maximal High Utility Itemsets Mining using Propositional Satisfiability., , , and . IEEE BigData, page 622-628. IEEE, (2021)Towards a Unified Symbolic AI Framework for Mining High Utility Itemsets., , and . iiWAS, volume 14416 of Lecture Notes in Computer Science, page 77-91. Springer, (2023)Measuring Inconsistency through Minimal Proofs., and . ECSQARU, volume 7958 of Lecture Notes in Computer Science, page 290-301. Springer, (2013)Quantifying conflicts in propositional logic through prime implicates., , , and . Int. J. Approx. Reason., (2017)Control-Based Clause Sharing in Parallel SAT Solving., , and . Autonomous Search, Springer, (2012)Detecting and exploiting symmetries in sequential pattern mining., , , and . Int. J. Data Min. Model. Manag., 14 (4): 309-334 (2022)Handling Disagreement in Ontologies-Based Reasoning via Argumentation., , and . WISE, volume 11881 of Lecture Notes in Computer Science, page 389-406. Springer, (2019)