Alessandro Previti

According to our database, Alessandro Previti authored at least 25 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

ASP and subset minimality: Enumeration, cautious reasoning and MUSes.

Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca

Artif. Intell., July, 2023

2022

Enumeration of Minimal Models and MUSes in WASP.

Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

2021

On Exploiting Hitting Sets for Model Reconciliation.

Stylianos Loukas Vasileiou, Alessandro Previti, William Yeoh

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Machine Reasoning Explainability.

Kristijonas Cyras, Ramamurthy Badrinath, Swarup Kumar Mohalik, Anusha Mujumdar, Alexandros Nikou, Alessandro Previti, Vaishnavi Sundararajan, Aneta Vulgarakis Feljan

CoRR, 2020

2019

Minipref: A Tool for Preferences in SAT (short paper).

Carmine Dodaro, Alessandro Previti

Proceedings of the Joint Proceedings of the RCRA International Workshop and of the RCRA Incontri e Confronti Workshop co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AIIA 2019), 2019

2018

Cautious reasoning in ASP via minimal models and unsatisfiable cores.

Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti

Theory Pract. Log. Program., 2018

A preference-based approach to backbone computation with application to argumentation.

Alessandro Previti, Matti Järvisalo

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Premise Set Caching for Enumerating Minimal Correction Subsets.

Alessandro Previti, Carlos Mencía, Matti Järvisalo, João Marques-Silva

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Improving MCS Enumeration via Caching.

Alessandro Previti, Carlos Mencía, Matti Järvisalo, João Marques-Silva

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

On Computing Generalized Backbones.

Alessandro Previti, Alexey Ignatiev, Matti Järvisalo, João Marques-Silva

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

2016

Fast, flexible MUS enumeration.

Mark H. Liffiton, Alessandro Previti, Ammar Malik, João Marques-Silva

Constraints An Int. J., 2016

MCS Extraction with Sublinear Oracle Queries.

Carlos Mencía, Alexey Ignatiev, Alessandro Previti, João Marques-Silva

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

On Finding Minimum Satisfying Assignments.

Alexey Ignatiev, Alessandro Previti, João Marques-Silva

Proceedings of the Principles and Practice of Constraint Programming, 2016

2015

SAT-Based Horn Least Upper Bounds.

Carlos Mencía, Alessandro Previti, João Marques-Silva

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

SAT-Based Formula Simplification.

Alexey Ignatiev, Alessandro Previti, João Marques-Silva

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

Prime Compilation of Non-Clausal Formulae.

Alessandro Previti, Alexey Ignatiev, António Morgado, João Marques-Silva

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Literal-Based MCS Extraction.

Carlos Mencía, Alessandro Previti, João Marques-Silva

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Smallest MUS Extraction with Minimal Hitting Set Dualization.

Alexey Ignatiev, Alessandro Previti, Mark H. Liffiton, João Marques-Silva

Proceedings of the Principles and Practice of Constraint Programming, 2015

2014

On Computing Preferred MUSes and MCSes.

João Marques-Silva, Alessandro Previti

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

Timeout-Sensitive Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems.

Yuri Malitsky, Barry O'Sullivan, Alessandro Previti, João Marques-Silva

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems.

Yuri Malitsky, Barry O'Sullivan, Alessandro Previti, João Marques-Silva

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

2013

On Computing Minimal Correction Subsets.

João Marques-Silva, Federico Heras, Mikolás Janota, Alessandro Previti, Anton Belov

Proceedings of the IJCAI 2013, 2013

Partial MUS Enumeration.

Alessandro Previti, João Marques-Silva

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2011

Applying UCT to Boolean Satisfiability.

Alessandro Previti, Raghuram Ramanujan, Marco Schaerf, Bart Selman

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

Monte-Carlo Style UCT Search for Boolean Satisfiability.

Alessandro Previti, Raghuram Ramanujan, Marco Schaerf, Bart Selman

Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011