Author of the publication

Effective SAT Planning by Lemma-Reusing.

, , and . Artificial Intelligence and Applications, page 1-5. IASTED/ACTA Press, (2005)

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

Approximate-Closed-Itemset Mining for Streaming Data Under Resource Constraint., , and . CoRR, (2019)A Skipping FP-Tree for Incrementally Intersecting Closed Itemsets in On-Line Stream Mining., , and . BigComp, page 1-4. IEEE, (2019)PARASOL: a hybrid approximation approach for scalable frequent itemset mining in streaming data., , and . J. Intell. Inf. Syst., 55 (1): 119-147 (2020)Comparison of Upward and Downward Generalizations in CF-Induction., , and . ILP, volume 7207 of Lecture Notes in Computer Science, page 373-388. Springer, (2011)Mining Consistent, Non-Redundant and Minimal Negative Rules Based on Minimal Generators., , and . IEEE BigData, page 5706-5709. IEEE, (2020)An Extension of Pointwise Circumscription., and . Artif. Intell., 86 (2): 391-402 (1996)Lemma Generalization and Non-unit Lemma Matching for Model Elimination., and . ASIAN, volume 1742 of Lecture Notes in Computer Science, page 163-176. Springer, (1999)Speculative Computation Through Consequence-Finding in Multi-Agent Environments., and . Ann. Math. Artif. Intell., 42 (1-3): 255-291 (2004)Complete Pruning Methods and a Practical Search Strategy for SOL., , and . LPAR Workshops, volume 418 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)An ϵ-Approximation On-line Algorithm for Quantiles Based on Counters., and . IIAI-AAI, page 721-724. IEEE, (2023)