ddimarco/kr_trace_query
Experimental ROS package to extract logs usable for rule learning from CRAM belief state traces
Developer Profile
ddimarco
Discovered public repositories for ddimarco in the GitHub catalog.
ddimarco/cl_prada
ROS package containing a Common Lisp wrapper for T. Lang's libPRADA
ddimarco/re_pl_utils
some utility functions for using cl_json_prolog and knowrob
ddimarco/cl_xml_namespace_read_macro
ROS package that adds a reader macro for using shortcuts for XML namespaces
ddimarco/ql2catkin
Quick hack to create ROSLisp catkin packages from software installable by Zach Beane's quicklisp
ddimarco/cram_physics
CRAM libraries for physics-based reasoning and related packages, e.g. projection.
ddimarco/shop2
ROS wrapper package for the SHOP2 planner by Nau et al.
ddimarco/cram_highlevel
Public repository.
ddimarco/cram_core
CRAM core components such as cram_language, cram_reasoning, cram_process_modules, ...