The following pages link to Mauro Vallati (Q1687274):
Displaying 13 items.
- On the impact of configuration on abstract argumentation automated reasoning (Q1687275) (← links)
- How we designed winning algorithms for abstract argumentation and which insight we attained (Q2289004) (← links)
- An ASP-based framework for the manipulation of articulated objects using dual-arm robots (Q2326711) (← links)
- On the importance of domain model configuration for automated planning engines (Q2666958) (← links)
- Solving Set Optimization Problems by Cardinality Optimization with an Application to Argumentation (Q4576229) (← links)
- Exploiting macro-actions and predicting plan length in planning as satisfiability (Q4589099) (← links)
- Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming (Q4957224) (← links)
- (Q5039124) (← links)
- Planning with Critical Section Macros: Theory and Practice (Q5094030) (← links)
- (Q5145819) (← links)
- Inner entanglements: Narrowing the search in classical planning by problem reformulation (Q5204967) (← links)
- Computing Preferred Extensions in Abstract Argumentation: A SAT-Based Approach (Q5405019) (← links)
- A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning (Q5870537) (← links)
