Repositories list

• RiDDLe

  Public
  RiDDLe (Rational Domain Definition Language) is an object-oriented language for defining timeline-based planning domains and problems

  Rust

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 7, 2026Aug 7, 2026

• CoCo

  Public
  Combined deduCtiOn and abduCtiOn logical reasoner

  cognitive-architectureintegration-platformdual-process-ai

  cognitive-architectureintegration-platformdual-process-ai

  Rust

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 24, 2026Jul 24, 2026

• ERMES

  Public
  Urban Ecosystem for Active and Healthy Aging

  Rust

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 22, 2026Jul 22, 2026

• MetaCognition

  Public
  MetaCognition Representation and Reasoning Component developed within the CNR-DFKI collaborative project

  Java

  •00 forks•00 stars•66 issues•00 pull requests•Updated Jul 8, 2026Jul 8, 2026

• AIxIA26

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Jul 6, 2026Jul 6, 2026

• icaps2026.github.io.planrob

  Public
  Website for ICAPS 2026

  HTML

  •

  Creative Commons Zero v1.0 Universal

  •5656 forks•00 stars•00 issues•00 pull requests•Updated Jun 29, 2026Jun 29, 2026

• WatchSAT

  Public
  A high-performance CDCL SAT engine with Two-Watched Literals in Rust

  Rust

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 20, 2026Jun 20, 2026

• LinArith

  Public
  An incremental linear feasibility solver over rational numbers

  Rust

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 17, 2026Jun 17, 2026

• AC-3rm

  Public
  An incremental AC-3rm propagator in Rust with dynamic assertion and retraction of constraints

  Rust

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 15, 2026Jun 15, 2026

• PLATINUm_WS

  Public
  PLATINUm Web Application and REST API

  Java

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 15, 2026May 15, 2026

• SOHO

  Public
  Sharework Ontology for Human-Robot Collaboration

  Apache License 2.0

  •00 forks•55 stars•11 issue•00 pull requests•Updated May 14, 2026May 14, 2026

• PLATINUm

  Public
  PLanning and Acting with TImeliNes under Uncertainty

  schedulingdecision-makinguncertainty+ 7

  schedulingdecision-makinguncertaintyexecutionhuman-robot-collaborationtimelinesactingautomated-planningtemporal-planningartificial-intellige

  Java

  •

  Apache License 2.0

  •22 forks•1818 stars•11 issue•00 pull requests•Updated Apr 19, 2026Apr 19, 2026

• HERMES_API

  Public
  HERMES AI Server Component

  Java

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 13, 2026Mar 13, 2026

• HERMES_ONTOLOGY

  Public
  An ontology to support thematic descriptions of cultural heritage

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 13, 2026Mar 13, 2026

• raise-cdt

  Public
  A research-driven framework for developing and experimenting with Citizen Digital Twins within the RAISE project.

  CLIPS

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 11, 2026Feb 11, 2026

• roxanne_rosjava

  Public
  ROXANNE Package for ROSJava

  javaroboticsartificial-intelligence+ 4

  javaroboticsartificial-intelligencerostask-planningrosjavaroxanne

  Java

  •

  Apache License 2.0

  •00 forks•22 stars•00 issues•00 pull requests•Updated Nov 26, 2025Nov 26, 2025

• sharework_taskplanner

  Public
  Sharework Task Planner Module

  Java

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 26, 2025Nov 26, 2025

• RESTART

  Public archive
  Robot Enhanced Social abilities based on Theory of mind for Acceptance of Robot in assistive Treatments

  C++

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 29, 2025Jul 29, 2025

• UrbanFlow

  Public
  Interactive heatmap visualization of city occupancy data with historical and predictive insights

  TypeScript

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 22, 2025Jul 22, 2025

• SmartPaths

  Public
  🌐 A web app for computing smart, optimized paths using intelligent algorithms and dynamic data.

  TypeScript

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 21, 2025Jul 21, 2025

• roxanne_rosjava_msgs

  Public
  ROXANNE Custom messages

  CMake

  •

  Apache License 2.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Sep 18, 2024Sep 18, 2024

• sir_telepresence

  Public
  SI-Robotics Telepresence

  Python

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 3, 2023Jul 3, 2023

• oRatio

  Public archive
  oRatio is an Integrated Logic and Constraint based solver

  schedulingartificial-intelligenceconstraints+ 3

  schedulingartificial-intelligenceconstraintsplanningscheduling-algorithmsplanning-algorithms

  C++

  •

  Apache License 2.0

  •11 fork•66 stars•00 issues•11 pull request•Updated Mar 31, 2023Mar 31, 2023

• TENANT_sa

  Public
  Tool fostEriNg Ai plaNning in roboTics Stand-Alone

  Python

  •00 forks•11 star•00 issues•00 pull requests•Updated Oct 3, 2022Oct 3, 2022

• sharework_knowledge

  Public
  SHAREWORK Knowledge Module

  Java

  •

  Apache License 2.0

  •00 forks•33 stars•00 issues•00 pull requests•Updated Jul 26, 2022Jul 26, 2022

• task_planner_interface_msgs

  Public
  Sharework Messages to interact with the Task Planner Module

  CMake

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 26, 2022Jul 26, 2022

• ohmni_gui_test

  Public
  Basic ROS node running a web server for testing the Ohmni robot GUI.

  C++

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 9, 2022Apr 9, 2022

• KOaLaR

  Public
  Knowledge-based cOntinuous Loop Semantic Reasoner

  semanticslogicactivity-recognition+ 6

  semanticslogicactivity-recognitionontologyartificial-intelligencecognitive-architectureknowledge-representation-reasoninginference-enginegoal-recognition

  Java

  •

  Apache License 2.0

  •11 fork•44 stars•00 issues•22 pull requests•Updated Sep 20, 2021Sep 20, 2021

• ExPLoRAA

  Public archive
  ExPeriential LeaRning for Active Aging

  Java

  •

  GNU General Public License v3.0

  •00 forks•00 stars•00 issues•11 pull request•Updated Apr 28, 2021Apr 28, 2021

• sharework_knowledge_msgs

  Public
  SHAREWORK Knowledge Messages and Services

  CMake

  •

  Apache License 2.0

  •00 forks•22 stars•00 issues•00 pull requests•Updated Apr 19, 2021Apr 19, 2021