Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas. - Fausto Giunchiglia; Enrico Giunchiglia (ECAI, 1988)

Reasoning About Time in Qualitative Modeling. - Enrico Giunchiglia; D. Tezza (Modelling the Innovation, 1990)

A Set of Hierarchically Structured Decision Procedures for Some Subclasses of First Order Logic. - Enrico Giunchiglia (SCAI, 1991)

A Knowledge Based System for Automatic 3D Scene. - Paolo Traverso; Alessandro Armando; Enrico Giunchiglia (AIMSA, 1992)

Proving Formulas through Reduction to Decidable Classes. - Mauro Di Manzo; Enrico Giunchiglia; Alessandro Armando; Paolo Pecchiari (AI*IA, 1993)

Non-Omniscient Belief as Context-Based Resoning. - Fausto Giunchiglia; Luciano Serafini; Enrico Giunchiglia; Marcello Frixione (IJCAI, 1993)

Multi-Context Systems as a Tool to Model Temporal Evolution. - Mauro Di Manzo; Enrico Giunchiglia (ISMIS, 1993)

Embedding Complex Decision Procedures Inside an Interactive Theorem Prover. - Alessandro Armando; Enrico Giunchiglia (Ann. Math. Artif. Intell., 1993)

MRG: Building planers for real-world complex applications. - Paolo Traverso; Alessandro Cimatti; Luca Spalazzi; Alessandro Armando; Enrico Giunchiglia (Appl. Artif. Intell., 1994)

Agents as Reasoners, Observers or Believers. - Enrico Giunchiglia; Fausto Giunchiglia; Luciano Serafini (AI*IA, 1995)

Agents as Reasoners, Observers, or Arbitrary Believers. - Enrico Giunchiglia; Fausto Giunchiglia; Luciano Serafini (ICMAS, 1995)

Dependent Fluents. - Enrico Giunchiglia; Vladimir Lifschitz (IJCAI, 1995)

Structured Proof Procedures. - Enrico Giunchiglia; Alessandro Armando; Paolo Pecchiari (Ann. Math. Artif. Intell., 1995)

A multicontext architecture for formalizing complex reasoning. - Enrico Giunchiglia; Paolo Traverso (Int. J. Intell. Syst., 1995)

Formal Specification of Beliefs in Multi-Agent Systems. - Massimo Benerecetti; Alessandro Cimatti; Enrico Giunchiglia; Fausto Giunchiglia; Luciano Serafini (ATAL, 1996)

Determining Ramifications in the Situation Calculus. - Enrico Giunchiglia (KR, 1996)

Ideal and Real Belief aobout Belief: Some Intuitions. - Fausto Giunchiglia; Enrico Giunchiglia (MAAMAW, 1996)

Dealing with expected and unexpected obstacles. - Fausto Giunchiglia; Enrico Giunchiglia; Tom Costello; Paolo Bouquet (J. Exp. Theor. Artif. Intell., 1996)

Visual representation of natural language scene descriptions. - Enrico Giunchiglia; Alessandro Armando; Paolo Traverso; Alessandro Cimatti (IEEE Trans. Syst. Man Cybern. Part B, 1996)

Planning via Model Checking: A Decision Procedure for AR. - Alessandro Cimatti; Fausto Giunchiglia; Enrico Giunchiglia; Paolo Traverso (ECP, 1997)

Representing Action: Indeterminacy and Ramifications. - Enrico Giunchiglia; G. Neelakantan Kartha; Vladimir Lifschitz (Artif. Intell., 1997)

An Action Language Based on Causal Explanation: Preliminary Report. - Enrico Giunchiglia; Vladimir Lifschitz (AAAI/IAAI, 1998)

Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability. - Enrico Giunchiglia; Alessandro Massarotto; Roberto Sebastiani (AAAI/IAAI, 1998)

Planning via Model Checking in Deterministic Domains: Preliminary Report. - Mauro Di Manzo; Enrico Giunchiglia; Simone Ruffino (AIMSA, 1998)

More Evaluation of Decision Procedures for Modal Logics. - Enrico Giunchiglia; Fausto Giunchiglia; Roberto Sebastiani; Armando Tacchella (KR, 1998)

The SAT-Based Approach for Classical Modal Logics. - Enrico Giunchiglia; Fausto Giunchiglia; Armando Tacchella (AI*IA, 1999)

Applying the Davis-Putnam Procedure to Non-clausal Formulas. - Enrico Giunchiglia; Roberto Sebastiani (AI*IA, 1999)

*SAT, KSATC, DLP and TA: a comparative analysis. - Enrico Giunchiglia; Fausto Giunchiglia; Armando Tacchella (Description Logics, 1999)

SAT-Based Procedures for Temporal Reasoning. - Alessandro Armando; Claudio Castellini; Enrico Giunchiglia (ECP, 1999)

Formal specification of beliefs in multi-agent systems. - Massimo Benerecetti; Enrico Giunchiglia; Luciano Serafini; Adolfo Villafiorita (Int. J. Intell. Syst., 1999)

Planning as Satisfiability in Nondeterministic Domains. - Paolo Ferraris; Enrico Giunchiglia (AAAI/IAAI, 2000)

System Description: *SAT: A Platform for the Development of Modal Decision Procedures. - Enrico Giunchiglia; Armando Tacchella (CADE, 2000)

Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism. - Enrico Giunchiglia (KR, 2000)

A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics. - Enrico Giunchiglia; Armando Tacchella (TABLEAUX, 2000)

SAT vs. translation based decision procedures for modal logics: a comparative evaluation. - Enrico Giunchiglia; Fausto Giunchiglia; Roberto Sebastiani; Armando Tacchella (J. Appl. Non Class. Logics, 2000)

An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability. - Enrico Giunchiglia; Massimo Narizzano; Armando Tacchella (AI*IA, 2001)

Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability. - Enrico Giunchiglia; Marco Maratea; Armando Tacchella; Davide Zambonin (IJCAR, 2001)

QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. - Enrico Giunchiglia; Massimo Narizzano; Armando Tacchella (IJCAR, 2001)

Benefits of Bounded Model Checking at an Industrial Setting. - Fady Copty; Limor Fix; Ranan Fraer; Enrico Giunchiglia; Gila Kamhi; Armando Tacchella; Moshe Y. Vardi (CAV, 2001)

A Subset-Matching Size-Bounded Cache for Testing Satisfiability in Modal Logics. - Enrico Giunchiglia; Armando Tacchella (Ann. Math. Artif. Intell., 2001)

Towards an Efficient Library for SAT: a Manifesto. - Enrico Giunchiglia; Massimo Narizzano; Armando Tacchella; Moshe Y. Vardi (Electron. Notes Discret. Math., 2001)

Ideal and Real Belief about Belief. - Enrico Giunchiglia; Fausto Giunchiglia (J. Log. Comput., 2001)

Learning for Quantified Boolean Logic Satisfiability. - Enrico Giunchiglia; Massimo Narizzano; Armando Tacchella (AAAI/IAAI, 2002)

NuSMV 2: An OpenSource Tool for Symbolic Model Checking. - Alessandro Cimatti; Edmund M. Clarke; Enrico Giunchiglia; Fausto Giunchiglia; Marco Pistore; Marco Roveri; Roberto Sebastiani; Armando Tacchella (CAV, 2002)

Integrating BDD-Based and SAT-Based Symbolic Model Checking. - Alessandro Cimatti; Enrico Giunchiglia; Marco Pistore; Marco Roveri; Roberto Sebastiani; Armando Tacchella (FroCoS, 2002)

Dependent and Independent Variables in Propositional Satisfiability. - Enrico Giunchiglia; Marco Maratea; Armando Tacchella (JELIA, 2002)

SAT-Based Decision Procedures for Classical Modal Logics. - Enrico Giunchiglia; Armando Tacchella; Fausto Giunchiglia (J. Autom. Reason., 2002)

(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver. - Enrico Giunchiglia; Marco Maratea; Armando Tacchella (CP, 2003)

Watched Data Structures for QBF Solvers. - Ian P. Gent; Enrico Giunchiglia; Massimo Narizzano; Andrew G. D. Rowley; Armando Tacchella (SAT, 2003)

SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. - Claudio Castellini; Enrico Giunchiglia; Armando Tacchella (Artif. Intell., 2003)

Backjumping for Quantified Boolean Logic satisfiability. - Enrico Giunchiglia; Massimo Narizzano; Armando Tacchella (Artif. Intell., 2003)

SAT-Based Answer Set Programming. - Enrico Giunchiglia; Yuliya Lierler; Marco Maratea (AAAI, 2004)

Monotone Literals and Learning in QBF Reasoning. - Enrico Giunchiglia; Massimo Narizzano; Armando Tacchella (CP, 2004)

QuBE++: An Efficient QBF Solver. - Enrico Giunchiglia; Massimo Narizzano; Armando Tacchella (FMCAD, 2004)

A SAT-based polynomial space algorithm for answer set programming. - Enrico Giunchiglia; Yuliya Lierler; Marco Maratea (NMR, 2004)

A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints. - Alessandro Armando; Claudio Castellini; Enrico Giunchiglia; Marco Maratea (SAT, 2004)

QBF Reasoning on Real-World Instances. - Enrico Giunchiglia; Massimo Narizzano; Armando Tacchella (SAT, 2004)

Editorial: Nonmonotonic Reasoning. - Salem Benferhat; Enrico Giunchiglia (Artif. Intell., 2004)

Nonmonotonic causal theories. - Enrico Giunchiglia; Joohyung Lee 002; Vladimir Lifschitz; Norman McCain; Hudson Turner (Artif. Intell., 2004)

The 2003 International Conference on Automated Planning and Scheduling (ICAPS-03). - Enrico Giunchiglia; Nicola Muscettola; Dana S. Nau (AI Mag., 2004)

TSAT++: an Open Platform for Satisfiability Modulo Theories. - Alessandro Armando; Claudio Castellini; Enrico Giunchiglia; Massimo Idini; Marco Maratea (D/PDPAR@IJCAR, 2004)

Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming. - Enrico Giunchiglia; Marco Maratea (AI*IA, 2005)

An Experimental Study of Search Strategies and Heuristics in Answer Set Programming. - Enrico Giunchiglia; Marco Maratea (Answer Set Programming, 2005)

SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective. - Alessandro Armando; Claudio Castellini; Enrico Giunchiglia; Fausto Giunchiglia; Armando Tacchella (Mechanizing Mathematical Reasoning, 2005)

Efficient Semantic Matching. - Fausto Giunchiglia; Mikalai Yatskevich; Enrico Giunchiglia (ESWC, 2005)

On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels). - Enrico Giunchiglia; Marco Maratea (ICLP, 2005)

Constraints and AI Planning. - Alexander Nareyek; Eugene C. Freuder; Robert Fourer; Enrico Giunchiglia; Robert P. Goldman; Henry A. Kautz; Jussi Rintanen; Austin Tate (IEEE Intell. Syst., 2005)

The SAT-based Approach to Separation Logic. - Alessandro Armando; Claudio Castellini; Enrico Giunchiglia; Marco Maratea (J. Autom. Reason., 2005)

Satisfiability in the Year 2005. - Enrico Giunchiglia; Toby Walsh (J. Autom. Reason., 2005)

Solving Optimization Problems with DLL. - Enrico Giunchiglia; Marco Maratea (ECAI, 2006)

optsat: A Tool for Solving SAT Related Optimization Problems. - Enrico Giunchiglia; Marco Maratea (JELIA, 2006)

Logics For Artificial Intelligence. - Luigia Carlucci Aiello; Enrico Giunchiglia; Luciano Serafini (Intelligenza Artificiale, 2006)

Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas. - Enrico Giunchiglia; Massimo Narizzano; Armando Tacchella (J. Artif. Intell. Res., 2006)

Answer Set Programming Based on Propositional Satisfiability. - Enrico Giunchiglia; Yuliya Lierler; Marco Maratea (J. Autom. Reason., 2006)

Planning as Satisfiability with Preferences. - Enrico Giunchiglia; Marco Maratea (AAAI, 2007)

SAT-Based Planning with Minimal-#actions Plans and "soft" Goals. - Enrico Giunchiglia; Marco Maratea (AI*IA, 2007)

Quantifier Structure in Search-Based Procedures for QBFs. - Enrico Giunchiglia; Massimo Narizzano; Armando Tacchella (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2007)

Computing All Optimal Solutions in Satisfiability Problems with Preferences. - Emanuele Di Rosa; Enrico Giunchiglia; Marco Maratea (CP, 2008)

A new Approach for Solving Satisfiability Problems with Qualitative Preferences. - Emanuele Di Rosa; Enrico Giunchiglia; Marco Maratea (ECAI, 2008)

Preprocessing Techniques for QBFs. - Enrico Giunchiglia; Paolo Marin; Massimo Narizzano (RCRA, 2008)

On the relation among answer set solvers. - Enrico Giunchiglia; Nicola Leone; Marco Maratea (Ann. Math. Artif. Intell., 2008)

Improving the Automatic Test Generation process for Coverage Analysis using CBMC. - Damiano Angeletti; Enrico Giunchiglia; Massimo Narizzano; Gabriele Palma; Alessandra Puddu; Salvatore Sabina (RCRA@AI*IA, 2009)

Improving Plan Quality in SAT-Based Planning. - Enrico Giunchiglia; Marco Maratea (AI*IA, 2009)

Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver. - Paolo Marin; Matthew Lewis 004; Tobias Schubert 001; Massimo Narizzano; Bernd Becker 001; Enrico Giunchiglia (RCRA@AI*IA, 2009)

Automatic Test Generation for Coverage Analysis Using CBMC. - Damiano Angeletti; Enrico Giunchiglia; Massimo Narizzano; Alessandra Puddu; Salvatore Sabina (EUROCAST, 2009)

Automatic Test Generation for Coverage Analysis of ERTMS Software. - Damiano Angeletti; Enrico Giunchiglia; Massimo Narizzano; Alessandra Puddu; Salvatore Sabina (ICST, 2009)

Comparison of knowledge sharing strategies in a parallel QBF solver. - Paolo Marin; Massimo Narizzano; Enrico Giunchiglia; Matthew Lewis 004; Tobias Schubert 001; Bernd Becker 001 (HPCS, 2009)

PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. - Matthew Lewis 004; Paolo Marin; Tobias Schubert 001; Massimo Narizzano; Bernd Becker 001; Enrico Giunchiglia (SAT, 2009)

Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach. - Alessandro Armando; Enrico Giunchiglia; Serena Elisa Ponta (TrustBus, 2009)

Introduction to the special issue on quantified CSPs and QBF. - Enrico Giunchiglia; Kostas Stergiou 001 (Constraints An Int. J., 2009)

Reasoning with Quantified Boolean Formulas. - Enrico Giunchiglia; Paolo Marin; Massimo Narizzano (Handbook of Satisfiability, 2009)

Automatic generation of high quality test sets via CBMC. - Emanuele Di Rosa; Enrico Giunchiglia; Massimo Narizzano; Gabriele Palma; Alessandra Puddu (VERIFY@IJCAR, 2010)

sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning. - Enrico Giunchiglia; Paolo Marin; Massimo Narizzano (SAT, 2010)

Solving satisfiability problems with preferences. - Emanuele Di Rosa; Enrico Giunchiglia; Marco Maratea (Constraints An Int. J., 2010)

Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting. - Damiano Angeletti; Enrico Giunchiglia; Massimo Narizzano; Alessandra Puddu; Salvatore Sabina (J. Autom. Reason., 2010)

QuBE7.0. - Enrico Giunchiglia; Paolo Marin; Massimo Narizzano (J. Satisf. Boolean Model. Comput., 2010)

Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences. - Emanuele Di Rosa; Enrico Giunchiglia; Barry O'Sullivan (SAC, 2011)

Parallel QBF Solving with Advanced Knowledge Sharing. - Matthew Lewis 004; Tobias Schubert 001; Bernd Becker 001; Paolo Marin; Massimo Narizzano; Enrico Giunchiglia (Fundam. Informaticae, 2011)

Introducing Preferences in Planning as Satisfiability. - Enrico Giunchiglia; Marco Maratea (J. Log. Comput., 2011)

Algorithms for Solving Satisfiability Problems with Qualitative Preferences. - Enrico Giunchiglia; Marco Maratea (Correct Reasoning, 2012)

Planning as Quantified Boolean Formula. - Michael Cashmore; Maria Fox 001; Enrico Giunchiglia (ECAI, 2012)

An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints. - Alessandro Armando; Enrico Giunchiglia; Marco Maratea; Serena Elisa Ponta (J. Comput. Syst. Sci., 2012)

Modeling and Reasoning about Business Processes under Authorization Constraints: A Planning-Based Approach. - Alessandro Armando; Enrico Giunchiglia; Marco Maratea; Serena Elisa Ponta (ICAPS, 2013)

Partially Grounded Planning as Quantified Boolean Formula. - Michael Cashmore; Maria Fox 001; Enrico Giunchiglia (ICAPS, 2013)

Combining approaches for solving satisfiability problems with qualitative preferences. - Emanuele Di Rosa; Enrico Giunchiglia (AI Commun., 2013)

An Empirical Perspective on Ten Years of QBF Solving. - Paolo Marin; Massimo Narizzano; Luca Pulina; Armando Tacchella; Enrico Giunchiglia (RCRA@AI*IA, 2015)

Automatic Test-Pattern Generation for Grey-Box Programs. - Ali Khalili; Massimo Narizzano; Armando Tacchella; Enrico Giunchiglia (AST@ICSE, 2015)

Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows. - Paolo Marin; Massimo Narizzano; Luca Pulina; Armando Tacchella; Enrico Giunchiglia (Fundam. Informaticae, 2016)

Translation-based approaches for solving disjunctive temporal problems with preferences. - Enrico Giunchiglia; Marco Maratea; Luca Pulina (Constraints An Int. J., 2018)

Optimal Planning Modulo Theories. - Francesco Leofante; Enrico Giunchiglia; Erika Ábrahám; Armando Tacchella (IJCAI, 2020)

Reasoning with Quantified Boolean Formulas. - Enrico Giunchiglia; Paolo Marin; Massimo Narizzano (Handbook of Satisfiability, 2021)

A Simple Proof-Theoretic Characterization of Stable Models. - Enrico Giunchiglia; Marco Maratea; Marco Mochi (IPS-RCRA-SPIRIT@AI*IA, 2023)

Optimal Planning with Expressive Action Languages as Constraint Optimization. - Enrico Giunchiglia; Armando Tacchella (JELIA, 2023)

Nice and Nasty Theory of Mind for Social and Antisocial Robots. - Ilenia D'Angelo; Lorenzo Morocutti; Enrico Giunchiglia; Carmine Recchiuto; Antonio Sgorbissa (RO-MAN, 2023)

Causal Laws and Multi-Valued Fluents. - Enrico Giunchiglia; Joohyung Lee 002; Vladimir Lifschitz; Hudson Turner (CoRR, 2023)

Symbolic Numeric Planning with Patterns. - Matteo Cardellini; Enrico Giunchiglia; Marco Maratea (AAAI, 2024)

Temporal Numeric Planning with Patterns. - Matteo Cardellini; Enrico Giunchiglia (AAAI, 2025)

A simple proof-theoretic characterization of stable models: Reduction to difference logic and experiments. - Martin Gebser; Enrico Giunchiglia; Marco Maratea; Marco Mochi (Artif. Intell., 2025)