Ondrej Kuzelka

112 papers A* 20A 13B 12Misc 1Journal 48Unranked 17
YearRankTypeTitle / Venue / Authors
2026 B conf
CSL
Qipeng Kuang, Ondrej Kuzelka, Yuanhong Wang, Yuyi Wang
2026 A* conf
AAAI
Václav Kula, Qipeng Kuang, Yuyi Wang, Yuanhong Wang, Ondrej Kuzelka
2025 A conf
ECAI
Kuncheng Zou, Jiahao Mai, Yonggang Zhang, Yuyi Wang, Ondrej Kuzelka, Yuanhong Wang, Yi Chang
2025 J jnl
CoRR
Kuncheng Zou, Jiahao Mai, Yonggang Zhang, Yuyi Wang, Ondrej Kuzelka, Yuanhong Wang, Yi Chang
2025 A* conf
LICS
Qiaolan Meng, Juhua Pu, Hongting Niu, Yuyi Wang, Yuanhong Wang, Ondrej Kuzelka
2025 J jnl
CoRR
Qiaolan Meng, Juhua Pu, Hongting Niu, Yuyi Wang, Yuanhong Wang, Ondrej Kuzelka
2025 J jnl
CoRR
Václav Kula, Qipeng Kuang, Yuyi Wang, Yuanhong Wang, Ondrej Kuzelka
2025 J jnl
CoRR
Qipeng Kuang, Václav Kula, Ondrej Kuzelka, Yuanhong Wang, Yuyi Wang
2024 A conf
ECAI
Qiaolan Meng, Jan Tóth, Yuanhong Wang, Yuyi Wang, Ondrej Kuzelka
2024 J jnl
CoRR
Qipeng Kuang, Ondrej Kuzelka, Yuanhong Wang, Yuyi Wang
2024 A* conf
KR
Jan Tóth, Ondrej Kuzelka
2024 J jnl
CoRR
Jan Tóth, Ondrej Kuzelka
2024 A* conf
NeurIPS
Lorenzo Cascioli, Laurens Devos, Ondrej Kuzelka, Jesse Davis
2024 J jnl
CoRR
Lorenzo Cascioli, Laurens Devos, Ondrej Kuzelka, Jesse Davis
2024 J jnl
Artif. Intell.
Yuanhong Wang, Juhua Pu, Yuyi Wang, Ondrej Kuzelka
2024 conf
Description Logics
Ondrej Kuzelka
2024 J jnl
Int. J. Approx. Reason.
Peter Jung, Giuseppe Marra, Ondrej Kuzelka
2023 A* conf
IJCAI
Ondrej Kuzelka
2023 J jnl
J. Artif. Intell. Res.
Nitesh Kumar, Ondrej Kuzelka, Luc De Raedt
2023 J jnl
CoRR
Yuanhong Wang, Juhua Pu, Yuyi Wang, Ondrej Kuzelka
2023 A* conf
AAAI
Jan Tóth, Ondrej Kuzelka
2023 ch.
Compendium of Neurosymbolic Artificial Intelligence
Gustav Sír, Filip Zelezný, Ondrej Kuzelka
2023 J jnl
Artif. Intell.
Timothy van Bremen, Ondrej Kuzelka
2023 A* conf
IJCAI
Martin Svatos, Peter Jung, Jan Tóth, Yuyi Wang, Ondrej Kuzelka
2023 J jnl
CoRR
Martin Svatos, Peter Jung, Jan Tóth, Yuyi Wang, Ondrej Kuzelka
2023 A* conf
LICS
Yuanhong Wang, Juhua Pu, Yuyi Wang, Ondrej Kuzelka
2023 J jnl
CoRR
Yuanhong Wang, Juhua Pu, Yuyi Wang, Ondrej Kuzelka
2022 A* conf
AAAI
Yuanhong Wang, Timothy van Bremen, Yuyi Wang, Ondrej Kuzelka
2022 J jnl
CoRR
Nitesh Kumar, Ondrej Kuzelka, Luc De Raedt
2022 J jnl
Theory Pract. Log. Program.
Nitesh Kumar, Ondrej Kuzelka, Luc De Raedt
2022 J jnl
CoRR
Jan Tóth, Ondrej Kuzelka
2021 B conf
ILP
Jáchym Barvínek, Timothy van Bremen, Yuyi Wang, Filip Zelezný, Ondrej Kuzelka
2021 J jnl
Mach. Learn.
Gustav Sourek, Filip Zelezný, Ondrej Kuzelka
2021 A conf
AISTATS
Nitesh Kumar, Ondrej Kuzelka
2021 J jnl
CoRR
Nitesh Kumar, Ondrej Kuzelka
2021 A* conf
IJCAI
Yuanhong Wang, Timothy van Bremen, Juhua Pu, Yuyi Wang, Ondrej Kuzelka
2021 A conf
UAI
Timothy van Bremen, Ondrej Kuzelka
2021 A* conf
KR
Timothy van Bremen, Ondrej Kuzelka
2021 A* conf
ICLR
Gustav Sourek, Filip Zelezný, Ondrej Kuzelka
2021 A conf
UAI
Giuseppe Marra, Ondrej Kuzelka
2021 J jnl
J. Artif. Intell. Res.
Ondrej Kuzelka
2020 A* conf
IJCAI
Timothy van Bremen, Ondrej Kuzelka
2020 J jnl
CoRR
Timothy van Bremen, Ondrej Kuzelka
2020 J jnl
CoRR
Gustav Sourek, Filip Zelezný, Ondrej Kuzelka
2020 A conf
UAI
Ondrej Kuzelka
2020 A conf
AISTATS
Ondrej Kuzelka, Yuyi Wang
2020 J jnl
CoRR
Ondrej Kuzelka, Yuyi Wang
2020 J jnl
CoRR
Nitesh Kumar, Ondrej Kuzelka, Luc De Raedt
2020 J jnl
CoRR
Gustav Sourek, Filip Zelezný, Ondrej Kuzelka
2020 J jnl
CoRR
Ondrej Kuzelka
2020 conf
PGM
Ondrej Kuzelka, Vyacheslav Kungurtsev, Yuyi Wang
2020 J jnl
CoRR
Ondrej Kuzelka
2020 A conf
ECAI
Martin Svatos, Steven Schockaert, Jesse Davis, Ondrej Kuzelka
2020 J jnl
CoRR
Ondrej Kuzelka
2019 A conf
AISTATS
Ondrej Kuzelka, Vyacheslav Kungurtsev
2019 J jnl
CoRR
Ondrej Kuzelka, Vyacheslav Kungurtsev
2019 A conf
UAI
Ondrej Kuzelka, Jesse Davis
2019 J jnl
CoRR
Giuseppe Marra, Ondrej Kuzelka
2019 conf
AKBC
Arcchit Jain, Tal Friedman, Ondrej Kuzelka, Guy Van den Broeck, Luc De Raedt
2019 conf
NeSy@IJCAI
Gustav Sourek, Filip Zelezný, Ondrej Kuzelka
2018 J jnl
J. Artif. Intell. Res.
Gustav Sourek, Vojtech Aschenbrenner, Filip Zelezný, Steven Schockaert, Ondrej Kuzelka
2018 J jnl
CoRR
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ondrej Kuzelka
2018 B conf
CoNLL
Thomas Ager, Ondrej Kuzelka, Steven Schockaert
2018 A conf
UAI
Ondrej Kuzelka, Yuyi Wang, Jesse Davis, Steven Schockaert
2018 J jnl
CoRR
Ondrej Kuzelka, Yuyi Wang, Jesse Davis, Steven Schockaert
2018 A* conf
KR
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ondrej Kuzelka
2018 A* conf
AAAI
Ondrej Kuzelka, Yuyi Wang, Jesse Davis, Steven Schockaert
2018 conf
ECML/PKDD (2)
Ondrej Kuzelka, Yuyi Wang, Steven Schockaert
2018 J jnl
CoRR
Ondrej Kuzelka, Yuyi Wang, Steven Schockaert
2017 A* conf
IJCAI
Ondrej Kuzelka, Jesse Davis, Steven Schockaert
2017 J jnl
CoRR
Ondrej Kuzelka, Jesse Davis, Steven Schockaert
2017 B conf
ILP
Martin Svatos, Gustav Sourek, Filip Zelezný, Steven Schockaert, Ondrej Kuzelka
2017 J jnl
CoRR
Ondrej Kuzelka, Yuyi Wang, Jesse Davis, Steven Schockaert
2017 B conf
ILP
Gustav Sourek, Martin Svatos, Filip Zelezný, Steven Schockaert, Ondrej Kuzelka
2017 J jnl
CoRR
Gustav Sourek, Martin Svatos, Filip Zelezný, Steven Schockaert, Ondrej Kuzelka
2016 A* conf
IJCAI
Ondrej Kuzelka, Yuyi Wang, Jan Ramon
2016 conf
NeSy@HLAI
Thomas Ager, Ondrej Kuzelka, Steven Schockaert
2016 A conf
ECAI
Ondrej Kuzelka, Jesse Davis, Steven Schockaert
2016 A* conf
IJCAI
Ondrej Kuzelka, Jesse Davis, Steven Schockaert
2016 J jnl
CoRR
Ondrej Kuzelka, Jesse Davis, Steven Schockaert
2016 B conf
ILP
Gustav Sourek, Suresh Manandhar, Filip Zelezný, Steven Schockaert, Ondrej Kuzelka
2016 J jnl
Appl. Artif. Intell.
Radomír Cernoch, Ondrej Kuzelka, Filip Zelezný
2016 J jnl
CoRR
Ondrej Kuzelka, Jesse Davis, Steven Schockaert
2015 conf
ILP (Late Breaking Papers)
Ondrej Kuzelka, Jan Ramon
2015 B conf
ILP
Ondrej Kuzelka, Jesse Davis, Steven Schockaert
2015 J jnl
CoRR
Ondrej Kuzelka, Jesse Davis, Steven Schockaert
2015 A conf
UAI
Ondrej Kuzelka, Jesse Davis, Steven Schockaert
2015 conf
AIMS
Gustav Sourek, Ondrej Kuzelka, Filip Zelezný
2015 conf
CoCo@NIPS
Gustav Sourek, Vojtech Aschenbrenner, Filip Zelezný, Ondrej Kuzelka
2015 J jnl
CoRR
Gustav Sourek, Vojtech Aschenbrenner, Filip Zelezný, Ondrej Kuzelka
2015 B conf
ILP
Ondrej Kuzelka, Jan Ramon
2015 J jnl
BMC Bioinform.
Matej Holec, Ondrej Kuzelka, Filip Zelezný
2014 J jnl
J. Intell. Inf. Syst.
Ondrej Kuzelka, Andrea Szabóová, Filip Zelezný
2013 J jnl
Constraints An Int. J.
Roman Barták, Radomír Cernoch, Ondrej Kuzelka, Filip Zelezný
2013 conf
ILP (Late Breaking Papers)
Gustav Sourek, Ondrej Kuzelka, Filip Zelezný
2012 B conf
ILP
Ondrej Kuzelka, Andrea Szabóová, Filip Zelezný
2012 conf
BIBM
Ondrej Kuzelka, Andrea Szabóová, Filip Zelezný
2012 J jnl
BMC Bioinform.
Andrea Szabóová, Ondrej Kuzelka, Filip Zelezný, Jakub Tolar
2012 conf
BIBM Workshops
Andrea Szabóová, Ondrej Kuzelka, Filip Zelezný
2012 conf
NFMCP
Ondrej Kuzelka, Andrea Szabóová, Filip Zelezný
2012 B conf
ICTAI
Ondrej Kuzelka, Andrea Szabóová, Filip Zelezný
2011 J jnl
Mach. Learn.
Ondrej Kuzelka, Filip Zelezný
2011 conf
ECML/PKDD (2)
Ondrej Kuzelka, Andrea Szabóová, Matej Holec, Filip Zelezný
2011 conf
BCB
Ondrej Kuzelka, Andrea Szabóová, Filip Zelezný
2011 conf
ISBRA
Andrea Szabóová, Ondrej Kuzelka, Sergio Morales E., Filip Zelezný, Jakub Tolar
2010 conf
Abstraction, Reformulation, and Approximation
Roman Barták, Ondrej Kuzelka, Filip Zelezný
2010 B conf
ILP
Ondrej Kuzelka, Filip Zelezný
2010 B conf
SOFSEM
Filip Zelezný, Ondrej Kuzelka
2010 Misc conf
FLAIRS
Roman Barták, Ondrej Kuzelka, Filip Zelezný
2009 A* conf
ICML
Ondrej Kuzelka, Filip Zelezný
2008 J jnl
Fundam. Informaticae
Ondrej Kuzelka, Filip Zelezný
2008 A* conf
ICML
Ondrej Kuzelka, Filip Zelezný
docker-build.sh
← Index docker-build.sh bash
#!/bin/bash

set -e

echo "Building REDB Docker image for linux/amd64 platform..."

# Function to tag the most recent <none> image
tag_unnamed_image() {
    local tag_name=$1
    local expected_size=$2
    
    # Get the most recent <none> image
    local image_id=$(docker images --filter "dangling=true" --format "{{.ID}}" | head -1)
    
    if [ -z "$image_id" ]; then
        echo "ERROR: No unnamed image found. Build may have failed."
        return 1
    fi
    
    local actual_size=$(docker images --format "table {{.ID}}\t{{.Size}}" | grep $image_id | awk '{print $2}')
    echo "Found image $image_id with size: $actual_size (expected: $expected_size)"
    
    # Tag the image
    echo "Tagging as $tag_name..."
    docker tag $image_id $tag_name
    
    return 0
}

# Build single unified image
echo ""
echo "Building REDB unified image - Supports both feature extraction and decompilation..."
echo "NOTE: If build hangs at 'exporting to image', press Ctrl+C - the image will still be created!"
echo ""

docker build --platform linux/amd64 -f Dockerfile -t redb:latest . || echo "Build interrupted (this is expected due to Docker Desktop bug)"

# Tag the image if it was built as unnamed
if docker images --filter "dangling=true" --format "{{.ID}}" | head -1 | grep -q "."; then
    tag_unnamed_image "redb:latest" "500MB"
fi

echo ""
echo "Docker build completed!"
echo ""
echo "Available images:"
docker images | grep redb

echo ""
echo "Image size:"
echo "REDB unified image: $(docker images redb:latest --format "{{.Size}}")"

echo ""
echo "Usage:"
echo "  Feature extraction: docker run redb:latest python3 start.py --nomad-job"
echo "  Decompilation:      docker run redb:latest python3 start.py --nomad-job --decompile"
echo "  Custom modules:     docker run redb:latest python3 start.py --nomad-job --modules BasicPropertiesExtractor,PEFeaturesExtractor"