Author of the publication

Complete Pruning Methods and a Practical Search Strategy for SOL.

, , and . LPAR Workshops, volume 418 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)

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.

No persons found for author name Iwanuma, Koji
add a person with the name Iwanuma, Koji
 

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)Comparison of Upward and Downward Generalizations in CF-Induction., , and . ILP, volume 7207 of Lecture Notes in Computer Science, page 373-388. Springer, (2011)An Extension of Pointwise Circumscription., and . Artif. Intell., 86 (2): 391-402 (1996)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)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)Online pattern mining for high-dimensional data streams., and . BigData, page 2880-2882. IEEE Computer Society, (2015)SOLAR: An automated deduction system for consequence finding., , , and . AI Commun., 23 (2-3): 183-203 (2010)Reconsideration of circumscriptive induction with pointwise circumscription., , and . J. Applied Logic, 7 (3): 307-317 (2009)