Vallati, Mauro
- On the manipulation of articulated objects in human-robot cooperation\n scenarios
2018/01/05 by Alessio Capitanelli, Marco Maratea, Capitanelli, Alessio +5 · 2 citations
Engineering · Computer Science · #Robot Manipulation and Learning #Robotic Path Planning Algorithms #Modular Robots and Swarm Intelligence
- On the Importance of Domain Model Configuration for Automated Planning\n Engines
2020/10/15 by Mauro Vallati, Lukáš Chrpa, Vallati, Mauro +5 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Service-Oriented Architecture and Web Services
- Manipulation of Articulated Objects using Dual-arm Robots via Answer Set\n Programming
2020/10/02 by Riccardo Bertolucci, Alessio Capitanelli, Bertolucci, Riccardo +11 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Robotics (cs.RO)
- Fudge: A light-weight solver for abstract argumentation based on SAT\n reductions
2021/09/07 by Matthias Thimm, Thimm, Matthias, Federico Cerutti +3 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Model-Driven Software Engineering Techniques #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies
- Reformulation Techniques for Automated Planning: A Systematic Review
2023/01/24 by Diaeddin Alarnaouti, Alarnaouti, Diaeddin, George Baryannis +3 · 1 citation
Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Semantic Web and Ontologies