Mauro Vallati

From MaRDI portal
(Redirected from Person:1687274)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Algorithms for computing the set of acceptable arguments
International Journal of Approximate Reasoning
2025-07-10Paper
On the configuration of more and less expressive logic programs
Theory and Practice of Logic Programming
2025-02-14Paper
Comparing planning domain models using answer set programming2024-05-29Paper
A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning
Journal of Artificial Intelligence Research
2023-01-09Paper
scientific article; zbMATH DE number 7599947 (Why is no real title available?)2022-10-12Paper
Planning with Critical Section Macros: Theory and Practice
Journal of Artificial Intelligence Research
2022-08-02Paper
On the importance of domain model configuration for automated planning engines
Journal of Automated Reasoning
2021-11-23Paper
Manipulation of articulated objects using dual-arm robots via answer set programming
Theory and Practice of Logic Programming
2021-09-03Paper
On computing the set of acceptable arguments in abstract argumentation2021-01-21Paper
How we designed winning algorithms for abstract argumentation and which insight we attained
Artificial Intelligence
2020-01-20Paper
Inner entanglements: narrowing the search in classical planning by problem reformulation
Computational Intelligence
2019-12-10Paper
An ASP-based framework for the manipulation of articulated objects using dual-arm robots2019-10-10Paper
Solving set optimization problems by cardinality optimization with an application to argumentation
(available as arXiv preprint)
2018-07-12Paper
On the impact of configuration on abstract argumentation automated reasoning
International Journal of Approximate Reasoning
2017-12-22Paper
Exploiting macro-actions and predicting plan length in planning as satisfiability
AI Communications
2017-11-07Paper
Computing preferred extensions in abstract argumentation: a SAT-based approach
Theory and Applications of Formal Argumentation
2014-03-31Paper


Research outcomes over time


This page was built for person: Mauro Vallati