mpomarlan's repositories

KPML_examples

Examples for KPML, updated from the LOOM to the Racer SPL

Language:Common LispLicense:BSD-2-ClauseStargazers:2Issues:0Issues:0

silkie

An implementation of Nute's defeasible logic

Language:PythonLicense:BSD-2-ClauseStargazers:2Issues:0Issues:0

aics2022

Code for an AICS2022 submission

Language:PythonLicense:BSD-2-ClauseStargazers:1Issues:1Issues:0

abe_sim

A little agent simulation in MORSE, to be used in a MUHAI pipeline to evaluate semspecs.

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

bullet3

Bullet Physics SDK: real-time collision detection and multi-physics simulation for VR, games, visual effects, robotics, machine learning etc.

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

cram

CRAM software stack

Language:Common LispStargazers:0Issues:0Issues:0

ease_ontology

general categories of everyday activity that are applicable across multiple disciplines

Language:PythonLicense:LGPL-3.0Stargazers:0Issues:0Issues:0

ease_ph_pr2_scenes

A Unity project with scenes involving the PR2.

Language:C#License:BSD-2-ClauseStargazers:0Issues:2Issues:0

ease_ph_rosws

A ROS workspace for the PH subprojects of EASE

Language:DockerfileLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0
Language:JavaStargazers:0Issues:2Issues:0
Language:C++Stargazers:0Issues:0Issues:0

grammaregex

Regex like pattern tree matching but on sentence's tree instead of Strings

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

iai_maps

The semantic and ground lab and environment maps for projects in the IAI group in the University of Bremen

Language:CMakeStargazers:0Issues:0Issues:0

ISD6_HeavyBlends

Contains example OWL files for the "It Is What It Tends To Do" paper submitted to Image Schema Day 2021.

License:CC0-1.0Stargazers:0Issues:2Issues:0

knowrob

KnowRob core packages and general issue tracker for the KnowRob knowledge base

Language:Web Ontology LanguageStargazers:0Issues:0Issues:0

knowrob_addons

Packages outside of the core KnowRob stack that are e.g. too large to include them into the standard distribution

Language:JavaStargazers:0Issues:2Issues:0

Konclude

Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL

Stargazers:0Issues:0Issues:0

mm-github-pages-starter

Minimal Mistakes GitHub Pages site starter

Language:RubyStargazers:0Issues:1Issues:0

mpomarlan.github.io

Page for the RobOntics2020 workshop

Language:CSSStargazers:0Issues:0Issues:0

oink

Oink, an implementation of modern parity game solvers

Language:C++License:Apache-2.0Stargazers:0Issues:1Issues:0
Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

pr2_controllers

The controllers that run in realtime on the PR2 and supporting packages.

Language:C++Stargazers:0Issues:0Issues:0
Language:ShellLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0
License:NOASSERTIONStargazers:0Issues:0Issues:0

robontics2020.github.io

Webpage for the RobOntics2020 workshop

Language:CSSStargazers:0Issues:1Issues:0

robontics2022

Scratchpad for code associated with a RobOntics 2022 paper

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:3Issues:0

ros-mongodb_log

Generic MongoDB Logging for ROS

Language:PythonStargazers:0Issues:0Issues:0

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.

Language:PythonLicense:MITStargazers:0Issues:2Issues:18

skram

SKematic Robot Abstract Machine

Language:Common LispLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

smartduino_6DoF

Kinematics stuff for a smartduino 6DoF robot kit

Language:C++License:BSD-3-ClauseStargazers:0Issues:0Issues:0