Structure from action: Learning interactions for articulated object 3d structure discovery
We introduce Structure from Action (SfA), a framework to discover 3D part geometry and joint
parameters of unseen articulated objects via a sequence of inferred interactions. Our key …
parameters of unseen articulated objects via a sequence of inferred interactions. Our key …
Logic programming for deliberative robotic task planning
Over the last decade, the use of robots in production and daily life has increased. With
increasingly complex tasks and interaction in different environments including humans …
increasingly complex tasks and interaction in different environments including humans …
Structure from Action: Learning Interactions for 3D Articulated Object Structure Discovery
We introduce Structure from Action (SfA), a framework to discover 3D part geometry and joint
parameters of unseen articulated objects via a sequence of inferred interactions. Our key …
parameters of unseen articulated objects via a sequence of inferred interactions. Our key …
Task allocation for multi-robot task and motion planning: a case for object picking in cluttered workspaces
H Karami, A Thomas, F Mastrogiovanni - International Conference of the …, 2021 - Springer
We present an AND/OR graph-based, integrated multi-robot task and motion planning
approach which (i) performs task allocation coordinating the activity of a given number of …
approach which (i) performs task allocation coordinating the activity of a given number of …
[PDF][PDF] Introducing ASP recipes and ASP Chef.
M Alviano, D Cirimele, LAR Reiners - ICLP Workshops, 2023 - ceur-ws.org
Abstract Answer Set Programming (ASP) is gaining popularity in the Knowledge
Representation and Reasoning community thanks to its high-level modeling capabilities that …
Representation and Reasoning community thanks to its high-level modeling capabilities that …
A framework for neurosymbolic robot action planning using large language models
A Capitanelli, F Mastrogiovanni - Frontiers in Neurorobotics, 2024 - frontiersin.org
Symbolic task planning is a widely used approach to enforce robot autonomy due to its ease
of understanding and deployment in engineered robot architectures. However, techniques …
of understanding and deployment in engineered robot architectures. However, techniques …
CNL2ASP: converting controlled natural language sentences into ASP
Answer set programming (ASP) is a popular declarative programming language for solving
hard combinatorial problems. Although ASP has gained widespread acceptance in …
hard combinatorial problems. Although ASP has gained widespread acceptance in …
[PDF][PDF] ASP chef: draw and expand
M Alviano, LAR Reiners - Proceedings of the 21st International …, 2024 - proceedings.kr.org
ASP Chef is a versatile tool built upon the principles of Answer Set Programming (ASP),
offering a unique approach to problem-solving through the concept of ASP recipes. In this …
offering a unique approach to problem-solving through the concept of ASP recipes. In this …
Keep the planner in the loop: parallel planning and execution using Large Language Models
A Capitanelli - 2024 - tesidottorato.depositolegale.it
Task planning is a popular approach for autonomous agents due to its understandability,
predictability, and ease of deployment. However, it is difficult to scale in real-world, human …
predictability, and ease of deployment. However, it is difficult to scale in real-world, human …
[PDF][PDF] Complex Reasoning with Answer Set Programming
R Kaminski - 2023 - cs.uni-potsdam.de
Answer Set Programming (ASP) allows us to address knowledge-intensive search and
optimization problems in a declarative way due to its integrated modeling, grounding, and …
optimization problems in a declarative way due to its integrated modeling, grounding, and …