Alessandro Previti

31 papers A* 7A 9B 3Misc 1Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2026 A* conf
On Generating Monolithic and Model Reconciling Explanations in Probabilistic Scenarios (Abstract Reprint).
AAAI
Stylianos Loukas Vasileiou, William Yeoh, Alessandro Previti, Tran Cao Son
2025 J jnl
On Generating Monolithic and Model Reconciling Explanations in Probabilistic Scenarios.
J. Artif. Intell. Res.
Stylianos Loukas Vasileiou, William Yeoh, Alessandro Previti, Tran Cao Son
2024 — conf
Integrate: Intent-Driven Router Queue Depth Configuration via Reinforcement Learning.
6GNet
Ajay Kattepur, Pedro Batista, Alessandro Previti, Konstantinos Vandikas
2024 J jnl
On Generating Monolithic and Model Reconciling Explanations in Probabilistic Scenarios.
CoRR
Stylianos Loukas Vasileiou, William Yeoh, Alessandro Previti, Tran Cao Son
2023 J jnl
ASP and subset minimality: Enumeration, cautious reasoning and MUSes.
Artif. Intell.
Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca
2022 B conf
Enumeration of Minimal Models and MUSes in WASP.
LPNMR
Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca
2021 A* conf
On Exploiting Hitting Sets for Model Reconciliation.
AAAI
Stylianos Loukas Vasileiou, Alessandro Previti, William Yeoh
2020 J jnl
Machine Reasoning Explainability.
CoRR
Kristijonas Cyras, Ramamurthy Badrinath, Swarup Kumar Mohalik, Anusha Mujumdar, Alexandros Nikou, Alessandro Previti, Vaishnavi Sundararajan, Aneta Vulgarakis Feljan
2020 J jnl
On Exploiting Hitting Sets for Model Reconciliation.
CoRR
Stylianos Loukas Vasileiou, Alessandro Previti, William Yeoh
2019 — conf
Minipref: A Tool for Preferences in SAT (short paper).
RCRA/RiCeRcA@AI*IA
Carmine Dodaro, Alessandro Previti
2018 Misc conf
A preference-based approach to backbone computation with application to argumentation.
SAC
Alessandro Previti, Matti Järvisalo
2018 J jnl
Cautious reasoning in ASP via minimal models and unsatisfiable cores.
CoRR
Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti
2018 J jnl
Cautious reasoning in ASP via minimal models and unsatisfiable cores.
Theory Pract. Log. Program.
Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti
2018 A* conf
Premise Set Caching for Enumerating Minimal Correction Subsets.
AAAI
Alessandro Previti, Carlos Mencía, Matti Järvisalo, João Marques-Silva
2017 A conf
Improving MCS Enumeration via Caching.
SAT
Alessandro Previti, Carlos Mencía, Matti Järvisalo, João Marques-Silva
2017 B conf
On Computing Generalized Backbones.
ICTAI
Alessandro Previti, Alexey Ignatiev, Matti Järvisalo, João Marques-Silva
2016 J jnl
Fast, flexible MUS enumeration.
Constraints An Int. J.
Mark H. Liffiton, Alessandro Previti, Ammar Malik, João Marques-Silva
2016 A conf
MCS Extraction with Sublinear Oracle Queries.
SAT
Carlos Mencía, Alexey Ignatiev, Alessandro Previti, João Marques-Silva
2016 A conf
On Finding Minimum Satisfying Assignments.
CP
Alexey Ignatiev, Alessandro Previti, João Marques-Silva
2015 A* conf
Literal-Based MCS Extraction.
IJCAI
Carlos Mencía, Alessandro Previti, João Marques-Silva
2015 A* conf
Prime Compilation of Non-Clausal Formulae.
IJCAI
Alessandro Previti, Alexey Ignatiev, António Morgado, João Marques-Silva
2015 A conf
SAT-Based Formula Simplification.
SAT
Alexey Ignatiev, Alessandro Previti, João Marques-Silva
2015 A conf
SAT-Based Horn Least Upper Bounds.
SAT
Carlos Mencía, Alessandro Previti, João Marques-Silva
2015 A conf
Smallest MUS Extraction with Minimal Hitting Set Dualization.
CP
Alexey Ignatiev, Alessandro Previti, Mark H. Liffiton, João Marques-Silva
2014 B conf
A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems.
CPAIOR
Yuri Malitsky, Barry O'Sullivan, Alessandro Previti, João Marques-Silva
2014 A conf
On Computing Preferred MUSes and MCSes.
SAT
João Marques-Silva, Alessandro Previti
2014 A conf
Timeout-Sensitive Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems.
ECAI
Yuri Malitsky, Barry O'Sullivan, Alessandro Previti, João Marques-Silva
2013 A* conf
On Computing Minimal Correction Subsets.
IJCAI
João Marques-Silva, Federico Heras, Mikolás Janota, Alessandro Previti, Anton Belov
2013 A* conf
Partial MUS Enumeration.
AAAI
Alessandro Previti, João Marques-Silva
2011 A conf
Applying UCT to Boolean Satisfiability.
SAT
Alessandro Previti, Raghuram Ramanujan, Marco Schaerf, Bart Selman
2011 — conf
Monte-Carlo Style UCT Search for Boolean Satisfiability.
AI*IA
Alessandro Previti, Raghuram Ramanujan, Marco Schaerf, Bart Selman