peschue
Fascinated by logic programming, natural language, and space travel.
TU Wien & Self-EmployedAustria
Pinned Repositories
core
DLVHEX solver: core system and plugin API
hexlite
Python-based HEX implementation for a fragment of the HEX language and a subset of features.
hexlite-owlapi-plugin
An OWLAPI Plugin for the Hexlite solver
manual
Manual for the HEX language and the dlvhex and hexlite solvers
ai4eu-ai4industry
Repository for the AI4Industry Pilot of the AI4EU project (GUI, Planner, Dummy-Skillmatcher, Dummy-Timeestimation).
ai4eu-sudoku
PoC for a Sudoku design assistant based on ASP, gRPC, and Protobuf, deployable in AI4EU Experiments.
asap
Answer Set Application Programming
boost.m4
M4 macros to use Boost with the autotools
shell_wrapper
Protobuf-based service for generic Shell Applications, indented for usage in Acumos in the AI4EU Project
peschue's Repositories
peschue/ai4eu-sudoku
PoC for a Sudoku design assistant based on ASP, gRPC, and Protobuf, deployable in AI4EU Experiments.
peschue/ai4eu-ai4industry
Repository for the AI4Industry Pilot of the AI4EU project (GUI, Planner, Dummy-Skillmatcher, Dummy-Timeestimation).
peschue/asap
Answer Set Application Programming
peschue/boost.m4
M4 macros to use Boost with the autotools
peschue/shell_wrapper
Protobuf-based service for generic Shell Applications, indented for usage in Acumos in the AI4EU Project
peschue/ai4eu-customcollator
Custom Collator for AI4EU Experiments Platform
peschue/ai4eu-hexlite-bundle
AI4EU Experiments Component containing Hexlite and several plugins
peschue/clingo
A grounder and solver for logic programs.
peschue/clingo-1
This repository contains clingo codes for KBS course
peschue/conda
OS-agnostic, system-level binary package manager and ecosystem
peschue/factorie
FACTORIE is a toolkit for deployable probabilistic modeling, implemented as a software library in Scala. It provides its users with a succinct language for creating relational factor graphs, estimating parameters and performing inference.
peschue/factorio
Factorio Planner
peschue/fastText
Library for fast text representation and classification.
peschue/form2latex
Tool for filling in forms and render their contents using LaTeX
peschue/kendoku
Kendoku solver in clingo
peschue/Large-Margin-Structured-Perceptron
Implementation of a large margin structured perceptron, including instances for sequence labeling, quotation extraction and dependency parsing.
peschue/littlefs
A little fail-safe filesystem designed for microcontrollers
peschue/Magneticraft
Magneticraft
peschue/moveit_planners
Interfaces for motion planning libraries
peschue/presentations
MarmaraGNU presentations.
peschue/reference-coreference-scorers
This is the reference implementation of commonly used coreference metrics.
peschue/RoboCupAtWorkRefereeBox
RoboCup@Work Referee Box
peschue/scryer-prolog
A modern Prolog implementation written mostly in Rust.
peschue/stm32loader
Flash firmware to STM32 microcontrollers using Python.
peschue/stog
AMR Parsing as Sequence-to-Graph Transduction
peschue/test
peschue/xdot.py
Interactive viewer for graphs written in Graphviz's dot language.