Enrico Giunchiglia

ORCID

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 11

Top Venues

Publications

Matteo Cardellini, Enrico Giunchiglia, Marco Maratea
Symbolic Numeric Planning with Patterns. AAAI (2024)
Matteo Cardellini, Enrico Giunchiglia, Marco Maratea
Symbolic Numeric Planning with Patterns. CoRR (2023)
Enrico Giunchiglia, Marco Maratea, Marco Mochi
A Simple Proof-Theoretic Characterization of Stable Models. IPS-RCRA-SPIRIT@AI*IA (2023)
Ilenia D'Angelo, Lorenzo Morocutti, Enrico Giunchiglia, Carmine Recchiuto, Antonio Sgorbissa
Nice and Nasty Theory of Mind for Social and Antisocial Robots. RO-MAN (2023)
Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Hudson Turner
Causal Laws and Multi-Valued Fluents. CoRR (2023)
Enrico Giunchiglia, Armando Tacchella
Optimal Planning with Expressive Action Languages as Constraint Optimization. JELIA (2023)
Francesco Leofante, Enrico Giunchiglia, Erika Ábrahám, Armando Tacchella
Optimal Planning Modulo Theories. IJCAI (2020)
Enrico Giunchiglia, Marco Maratea, Luca Pulina
Translation-based approaches for solving disjunctive temporal problems with preferences. Constraints An Int. J. 23 (4) (2018)
Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia
Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows. Fundam. Informaticae 149 (1-2) (2016)
Ali Khalili, Massimo Narizzano, Armando Tacchella, Enrico Giunchiglia
Automatic Test-Pattern Generation for Grey-Box Programs. AST@ICSE (2015)
Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia
An Empirical Perspective on Ten Years of QBF Solving. RCRA@AI*IA (2015)
Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena Elisa Ponta
Modeling and Reasoning about Business Processes under Authorization Constraints: A Planning-Based Approach. ICAPS (2013)
Emanuele Di Rosa, Enrico Giunchiglia
Combining approaches for solving satisfiability problems with qualitative preferences. AI Commun. 26 (4) (2013)
Michael Cashmore, Maria Fox, Enrico Giunchiglia
Partially Grounded Planning as Quantified Boolean Formula. ICAPS (2013)
Enrico Giunchiglia, Marco Maratea
Algorithms for Solving Satisfiability Problems with Qualitative Preferences. Correct Reasoning (2012)
Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena Elisa Ponta
An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints. J. Comput. Syst. Sci. 78 (1) (2012)
Michael Cashmore, Maria Fox, Enrico Giunchiglia
Planning as Quantified Boolean Formula. ECAI (2012)
Enrico Giunchiglia, Marco Maratea
Introducing Preferences in Planning as Satisfiability. J. Log. Comput. 21 (2) (2011)
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas CoRR (2011)
Emanuele Di Rosa, Enrico Giunchiglia, Barry O'Sullivan
Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences. SAC (2011)
Matthew Lewis, Tobias Schubert, Bernd Becker, Paolo Marin, Massimo Narizzano, Enrico Giunchiglia
Parallel QBF Solving with Advanced Knowledge Sharing. Fundam. Informaticae 107 (2-3) (2011)
Emanuele Di Rosa, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu
Automatic generation of high quality test sets via CBMC. VERIFY@IJCAR (2010)
Enrico Giunchiglia, Paolo Marin, Massimo Narizzano
sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning. SAT (2010)
Enrico Giunchiglia, Paolo Marin, Massimo Narizzano
QuBE7.0. J. Satisf. Boolean Model. Comput. 7 (2-3) (2010)
Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea
Solving satisfiability problems with preferences. Constraints An Int. J. 15 (4) (2010)
Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina
Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting. J. Autom. Reason. 45 (4) (2010)
Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina
Automatic Test Generation for Coverage Analysis Using CBMC. EUROCAST (2009)
Enrico Giunchiglia, Marco Maratea
Improving Plan Quality in SAT-Based Planning. AI*IA (2009)
Paolo Marin, Matthew Lewis, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia
Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver. RCRA@AI*IA (2009)
Alessandro Armando, Enrico Giunchiglia, Serena Elisa Ponta
Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach. TrustBus (2009)
Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina
Automatic Test Generation for Coverage Analysis of ERTMS Software. ICST (2009)
Paolo Marin, Massimo Narizzano, Enrico Giunchiglia, Matthew Lewis, Tobias Schubert, Bernd Becker
Comparison of knowledge sharing strategies in a parallel QBF solver. HPCS (2009)
Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu, Salvatore Sabina
Improving the Automatic Test Generation process for Coverage Analysis using CBMC. RCRA@AI*IA (2009)
Matthew Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. SAT (2009)
Enrico Giunchiglia, Nicola Leone, Marco Maratea
On the relation among answer set solvers. Ann. Math. Artif. Intell. 53 (1-4) (2008)
Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea
Computing All Optimal Solutions in Satisfiability Problems with Preferences. CP (2008)
Enrico Giunchiglia, Paolo Marin, Massimo Narizzano
Preprocessing Techniques for QBFs. RCRA (2008)
Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea
A new Approach for Solving Satisfiability Problems with Qualitative Preferences. ECAI (2008)
Enrico Giunchiglia, Marco Maratea
SAT-Based Planning with Minimal-#actions Plans and "soft" Goals. AI*IA (2007)
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
Quantifier Structure in Search-Based Procedures for QBFs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26 (3) (2007)
Enrico Giunchiglia, Marco Maratea
Planning as Satisfiability with Preferences. AAAI (2007)
Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini
Logics For Artificial Intelligence. Intelligenza Artificiale 3 (1-2) (2006)
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
Quantifier structure in search based procedures for QBFs. DATE (2006)
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas. J. Artif. Intell. Res. 26 (2006)
Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
Answer Set Programming Based on Propositional Satisfiability. J. Autom. Reason. 36 (4) (2006)
Enrico Giunchiglia, Marco Maratea
optsat: A Tool for Solving SAT Related Optimization Problems. JELIA (2006)
Enrico Giunchiglia, Marco Maratea
Solving Optimization Problems with DLL. ECAI (2006)
Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea
The SAT-based Approach to Separation Logic. J. Autom. Reason. 35 (1-3) (2005)
Enrico Giunchiglia, Marco Maratea
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming. Answer Set Programming (2005)
Enrico Giunchiglia, Marco Maratea
Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming. AI*IA (2005)
Fausto Giunchiglia, Mikalai Yatskevich, Enrico Giunchiglia
Efficient Semantic Matching. ESWC (2005)
Enrico Giunchiglia, Toby Walsh
Satisfiability in the Year 2005. J. Autom. Reason. 35 (1-3) (2005)
Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Massimo Idini, Marco Maratea
TSAT++: an Open Platform for Satisfiability Modulo Theories. Electron. Notes Theor. Comput. Sci. 125 (3) (2005)
Alexander Nareyek, Eugene C. Freuder, Robert Fourer, Enrico Giunchiglia, Robert P. Goldman, Henry A. Kautz, Jussi Rintanen, Austin Tate
Constraints and AI Planning. IEEE Intell. Syst. 20 (2) (2005)
Enrico Giunchiglia, Marco Maratea
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels). ICLP (2005)
Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective. Mechanizing Mathematical Reasoning (2005)
Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
SAT-Based Answer Set Programming. AAAI (2004)
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
QBF Reasoning on Real-World Instances. SAT (2004)
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
Monotone Literals and Learning in QBF Reasoning. CP (2004)
Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner
Nonmonotonic causal theories. Artif. Intell. 153 (1-2) (2004)
Salem Benferhat, Enrico Giunchiglia
Editorial: Nonmonotonic Reasoning. Artif. Intell. 157 (1-2) (2004)
Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints. SAT (2004)
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
QBF Reasoning on Real-World Instances. SAT (Selected Papers (2004)
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
QuBE++: An Efficient QBF Solver. FMCAD (2004)
Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
A SAT-based polynomial space algorithm for answer set programming. NMR (2004)
Enrico Giunchiglia, Nicola Muscettola, Dana S. Nau
The 2003 International Conference on Automated Planning and Scheduling (ICAPS-03). AI Mag. 25 (2) (2004)
Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea
A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints. SAT (Selected Papers (2004)
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
Backjumping for Quantified Boolean Logic satisfiability. Artif. Intell. 145 (1-2) (2003)
Enrico Giunchiglia, Marco Maratea, Armando Tacchella
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver. CP (2003)
Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella
Watched Data Structures for QBF Solvers. SAT (2003)
Claudio Castellini, Enrico Giunchiglia, Armando Tacchella
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. Artif. Intell. 147 (1-2) (2003)
Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella
NuSMV 2: An OpenSource Tool for Symbolic Model Checking. CAV (2002)
Enrico Giunchiglia, Marco Maratea, Armando Tacchella
Dependent and Independent Variables in Propositional Satisfiability. JELIA (2002)
Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella
Integrating BDD-Based and SAT-Based Symbolic Model Checking. FroCoS (2002)
Enrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia
SAT-Based Decision Procedures for Classical Modal Logics. J. Autom. Reason. 28 (2) (2002)
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
Learning for Quantified Boolean Logic Satisfiability. AAAI/IAAI (2002)
Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi
Benefits of Bounded Model Checking at an Industrial Setting. CAV (2001)
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. IJCAR (2001)
Enrico Giunchiglia, Armando Tacchella
A Subset-Matching Size-Bounded Cache for Testing Satisfiability in Modal Logics. Ann. Math. Artif. Intell. 33 (1) (2001)
Enrico Giunchiglia, Marco Maratea, Armando Tacchella, Davide Zambonin
Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability. IJCAR (2001)
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability. AI*IA (2001)
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
Backjumping for Quantified Boolean Logic Satisfiability. IJCAI (2001)
Enrico Giunchiglia, Fausto Giunchiglia
Ideal and Real Belief about Belief. J. Log. Comput. 11 (1) (2001)
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella, Moshe Y. Vardi
Towards an Efficient Library for SAT: a Manifesto. Electron. Notes Discret. Math. 9 (2001)
Enrico Giunchiglia
Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism. KR (2000)
Paolo Ferraris, Enrico Giunchiglia
Planning as Satisfiability in Nondeterministic Domains. AAAI/IAAI (2000)
Enrico Giunchiglia, Armando Tacchella
A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics. TABLEAUX (2000)
Enrico Giunchiglia, Armando Tacchella
System Description: *SAT: A Platform for the Development of Modal Decision Procedures. CADE (2000)
Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella
SAT vs. translation based decision procedures for modal logics: a comparative evaluation. J. Appl. Non Class. Logics 10 (2) (2000)
Alessandro Armando, Claudio Castellini, Enrico Giunchiglia
SAT-Based Procedures for Temporal Reasoning. ECP (1999)
Enrico Giunchiglia, Roberto Sebastiani
Applying the Davis-Putnam Procedure to Non-clausal Formulas. AI*IA (1999)
Massimo Benerecetti, Enrico Giunchiglia, Luciano Serafini, Adolfo Villafiorita
Formal specification of beliefs in multi-agent systems. Int. J. Intell. Syst. 14 (10) (1999)
Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella
The SAT-Based Approach for Classical Modal Logics. AI*IA (1999)
Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella
*SAT, KSATC, DLP and TA: a comparative analysis. Description Logics (1999)
Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella
More Evaluation of Decision Procedures for Modal Logics. KR (1998)
Mauro Di Manzo, Enrico Giunchiglia, Simone Ruffino
Planning via Model Checking in Deterministic Domains: Preliminary Report. AIMSA (1998)
Enrico Giunchiglia, Vladimir Lifschitz
An Action Language Based on Causal Explanation: Preliminary Report. AAAI/IAAI (1998)
Enrico Giunchiglia, Alessandro Massarotto, Roberto Sebastiani
Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability. AAAI/IAAI (1998)
Enrico Giunchiglia, G. Neelakantan Kartha, Vladimir Lifschitz
Representing Action: Indeterminacy and Ramifications. Artif. Intell. 95 (2) (1997)
Alessandro Cimatti, Fausto Giunchiglia, Enrico Giunchiglia, Paolo Traverso
. ECP (1997)

Enrico Giunchiglia.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Enrico Giunchiglia