mpomarlan's repositories
ruleml2024
Code to run experiments for the "Revising Defeasible Theories with Instructions" paper
whisper_multicandidate
Robust Speech Recognition via Large-Scale Weak Supervision :: with some hacks to allow other modules to do more reasoning based on context
whisper_real_time
Real time transcription with OpenAI Whisper.
KPML_examples
Examples for KPML, updated from the LOOM to the Racer SPL
ease_ontology
general categories of everyday activity that are applicable across multiple disciplines
bullet3
Bullet Physics SDK: real-time collision detection and multi-physics simulation for VR, games, visual effects, robotics, machine learning etc.
schemasim
Naive physics reasoning with simulation: go from a qualitative description of a scene to a qualitative description of observed behaviors, and assign responsibility for the observed behaviors to objects in the scene.
robontics2022
Scratchpad for code associated with a RobOntics 2022 paper
Konclude
Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL
ISD6_HeavyBlends
Contains example OWL files for the "It Is What It Tends To Do" paper submitted to Image Schema Day 2021.
robontics2020.github.io
Webpage for the RobOntics2020 workshop
mpomarlan.github.io
Page for the RobOntics2020 workshop
mm-github-pages-starter
Minimal Mistakes GitHub Pages site starter
rafaelcartenet.github.io
My portfolio
knowrob_addons
Packages outside of the core KnowRob stack that are e.g. too large to include them into the standard distribution
oink
Oink, an implementation of modern parity game solvers
grammaregex
Regex like pattern tree matching but on sentence's tree instead of Strings
cram
CRAM software stack
skram
SKematic Robot Abstract Machine
ease_ph_rosws
A ROS workspace for the PH subprojects of EASE
iai_maps
The semantic and ground lab and environment maps for projects in the IAI group in the University of Bremen
ease_ph_pr2_scenes
A Unity project with scenes involving the PR2.
pr2_controllers
The controllers that run in realtime on the PR2 and supporting packages.