research
∙
08/24/2023
SayCanPay: Heuristic Planning with Large Language Models using Learnable Domain Knowledge
Large Language Models (LLMs) have demonstrated impressive planning abili...
share
research
∙
06/07/2023
Top-Down Knowledge Compilation for Counting Modulo Theories
Propositional model counting (#SAT) can be solved efficiently when the i...
research
∙
03/08/2023
Neural Probabilistic Logic Programming in Discrete-Continuous Domains
Neural-symbolic AI (NeSy) allows neural networks to exploit symbolic bac...
research
∙
02/21/2023
Declarative Probabilistic Logic Programming in Discrete-Continuous Domains
Over the past three decades, the logic programming paradigm has been suc...
research
∙
03/25/2021
Measure Theoretic Weighted Model Integration
Weighted model counting (WMC) is a popular framework to perform probabil...
research
∙
02/24/2020
Symbolic Learning and Reasoning with Noisy Data for Probabilistic Anchoring
Robotic agents should be able to learn from sub-symbolic sensor data, an...
research
∙
01/13/2020
Monte Carlo Anti-Differentiation for Approximate Weighted Model Integration
Probabilistic inference in the hybrid domain, i.e. inference over discre...
research
∙
04/30/2019
Learning from Implicit Information in Natural Language Instructions for Robotic Manipulations
Human-robot interaction often occurs in the form of instructions given f...
research
∙
02/26/2019
Semantic Relational Object Tracking
This paper addresses the topic of semantic world modeling by conjoining ...
research
∙
07/02/2018
