Skip to content
View martinsvat's full-sized avatar

Block or report martinsvat

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. nslc nslc Public

    Neural-Symbolic Learning Cycle framework

    2

  2. SentenceFinder SentenceFinder Public

    Just a one tiny bit of a larger project, i.e. generating C^2 sentence for Fluffy Broccoli -- M. Svatoš, P. Jung, J. Tóth, Y. Wang, and O. Kuželka: On Discovering Interesting Combinatorial Integer S…

    Java 2

  3. Pruning-Hypotheses Pruning-Hypotheses Public

    Implementation of pruning hypothesis space using domain theories -- M. Svatoš, G. Šourek, F. Zeležný, S. Schockaert, and O. Kuželka: Pruning Hypothesis Spaces Using Learned Domain Theories, ILP'17

    Java 1

  4. STRiKE STRiKE Public

    Implementation of a learning and fragment-based rule inference engine -- M. Svatoš, S. Schockaert, J. Davis, and O. Kuželka: STRiKE: Rule-driven relational learning using stratified k-entailment, E…

    Java

  5. my_new_repo my_new_repo Public

    Yet_another_repo