Enrico Giunchiglia

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): 119-141 (2012)

Enrico Giunchiglia, Marco Maratea: Algorithms for Solving Satisfiability Problems with Qualitative Preferences. Correct Reasoning 2012: 327-344

Michael Cashmore, Maria Fox, Enrico Giunchiglia: Planning as Quantified Boolean Formula. ECAI 2012: 217-222

Matthew D. T. Lewis, Tobias Schubert, Bernd Becker, Paolo Marin, Massimo Narizzano, Enrico Giunchiglia: Parallel QBF Solving with Advanced Knowledge Sharing. Fundam. Inform. 107(2-3): 139-166 (2011)

Enrico Giunchiglia, Marco Maratea: Introducing Preferences in Planning as Satisfiability. J. Log. Comput. 21(2): 205-229 (2011)

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

Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas. CoRR abs/1111.0860 (2011)

Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea: Solving satisfiability problems with preferences. Constraints 15(4): 485-515 (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. Reasoning 45(4): 397-414 (2010)

Enrico Giunchiglia, Paolo Marin, Massimo Narizzano: QuBE7.0. JSAT 7(2-3): 83-88 (2010)

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

Enrico Giunchiglia, Marco Maratea: Improving Plan Quality in SAT-Based Planning. AI*IA 2009: 253-263

Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina: Automatic Test Generation for Coverage Analysis Using CBMC. EUROCAST 2009: 287-294

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

Paolo Marin, Massimo Narizzano, Enrico Giunchiglia, Matthew D. T. Lewis, Tobias Schubert, Bernd Becker: Comparison of knowledge sharing strategies in a parallel QBF solver. HPCS 2009: 161-167

Matthew D. T. Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia: PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. SAT 2009: 509-523

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

Enrico Giunchiglia, Paolo Marin, Massimo Narizzano: Reasoning with Quantified Boolean Formulas. Handbook of Satisfiability 2009: 761-780

Enrico Giunchiglia, Nicola Leone, Marco Maratea: On the relation among answer set solvers. Ann. Math. Artif. Intell. 53(1-4): 169-204 (2008)

Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea: Computing All Optimal Solutions in Satisfiability Problems with Preferences. CP 2008: 603-607

Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea: A new Approach for Solving Satisfiability Problems with Qualitative Preferences. ECAI 2008: 510-514

Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: Quantifier Structure in Search-Based Procedures for QBFs. IEEE Trans. on CAD of Integrated Circuits and Systems 26(3): 497-507 (2007)

Enrico Giunchiglia, Marco Maratea: Planning as Satisfiability with Preferences. AAAI 2007: 987-992

Enrico Giunchiglia, Marco Maratea: SAT-Based Planning with Minimal-#actions Plans and "soft" Goals. AI*IA 2007: 422-433

Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini: Logics For Artificial Intelligence. Intelligenza Artificiale 3(1-2): 7-13 (2006)

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

Enrico Giunchiglia, Yuliya Lierler, Marco Maratea: Answer Set Programming Based on Propositional Satisfiability. J. Autom. Reasoning 36(4): 345-377 (2006)

Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: Quantifier structure in search based procedures for QBFs. DATE 2006: 812-817

Enrico Giunchiglia, Marco Maratea: Solving Optimization Problems with DLL. ECAI 2006: 377-381

Enrico Giunchiglia, Marco Maratea: optsat: A Tool for Solving SAT Related Optimization Problems. JELIA 2006: 485-489

Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Massimo Idini, Marco Maratea: TSAT++: an Open Platform for Satisfiability Modulo Theories. Electr. Notes Theor. Comput. Sci. 125(3): 25-36 (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 Intelligent Systems 20(2): 62-72 (2005)

Enrico Giunchiglia, Toby Walsh: Satisfiability in the Year 2005. J. Autom. Reasoning 35(1-3): 1-2 (2005)

Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea: The SAT-based Approach to Separation Logic. J. Autom. Reasoning 35(1-3): 237-263 (2005)

Enrico Giunchiglia, Marco Maratea: Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming. AI*IA 2005: 122-134

Enrico Giunchiglia, Marco Maratea: An Experimental Study of Search Strategies and Heuristics in Answer Set Programming. Answer Set Programming 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: 46-58

Fausto Giunchiglia, Mikalai Yatskevich, Enrico Giunchiglia: Efficient Semantic Matching. ESWC 2005: 272-289

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

Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner: Nonmonotonic causal theories. Artif. Intell. 153(1-2): 49-104 (2004)

Salem Benferhat, Enrico Giunchiglia: Editorial: Nonmonotonic Reasoning. Artif. Intell. 157(1-2): 1-3 (2004)

Enrico Giunchiglia, Nicola Muscettola, Dana S. Nau: The 2003 International Conference on Automated Planning and Scheduling (ICAPS-03). AI Magazine 25(2): 129-132 (2004)

Enrico Giunchiglia, Yuliya Lierler, Marco Maratea: SAT-Based Answer Set Programming. AAAI 2004: 61-66

Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: Monotone Literals and Learning in QBF Reasoning. CP 2004: 260-273

Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: QuBE++: An Efficient QBF Solver. FMCAD 2004: 201-213

Enrico Giunchiglia, Yuliya Lierler, Marco Maratea: A SAT-based polynomial space algorithm for answer set programming. NMR 2004: 189-196

Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea: A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints. SAT 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: 16-29

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

Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: QBF Reasoning on Real-World Instances. SAT (Selected Papers 2004: 105-121

Enrico Giunchiglia, Armando Tacchella (Eds.): Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers. Lecture Notes in Computer Science 2919, Springer 2004, isbn 3-540-20851-8

Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: Backjumping for Quantified Boolean Logic satisfiability. Artif. Intell. 145(1-2): 99-120 (2003)

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

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

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

Enrico Giunchiglia, Nicola Muscettola, Dana S. Nau (Eds.): Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), June 9-13, 2003, Trento, Italy. AAAI 2003, isbn 1-57735-187-8

Enrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia: SAT-Based Decision Procedures for Classical Modal Logics. J. Autom. Reasoning 28(2): 143-171 (2002)

Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: Learning for Quantified Boolean Logic Satisfiability. AAAI/IAAI 2002: 649-654

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: 359-364

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

Enrico Giunchiglia, Marco Maratea, Armando Tacchella: Dependent and Independent Variables in Propositional Satisfiability. JELIA 2002: 296-307

Salem Benferhat, Enrico Giunchiglia (Eds.): 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings. 2002

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

Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella, Moshe Y. Vardi: Towards an Efficient Library for SAT: a Manifesto. Electronic Notes in Discrete Mathematics 9: 290-310 (2001)

Enrico Giunchiglia, Fausto Giunchiglia: Ideal and Real Belief about Belief. J. Log. Comput. 11(1): 157-192 (2001)

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

Enrico Giunchiglia, Marco Maratea, Armando Tacchella, Davide Zambonin: Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability. IJCAR 2001: 347-363

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

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: 436-453

Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella: Backjumping for Quantified Boolean Logic Satisfiability. IJCAI 2001: 275-281

Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella: SAT vs. translation based decision procedures for modal logics: a comparative evaluation. Journal of Applied Non-Classical Logics 10(2): 145-172 (2000)

Paolo Ferraris, Enrico Giunchiglia: Planning as Satisfiability in Nondeterministic Domains. AAAI/IAAI 2000: 748-753

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

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

Enrico Giunchiglia, Armando Tacchella: A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics. TABLEAUX 2000: 237-251

Enrico Giunchiglia, Roberto Sebastiani: Applying the Davis-Putnam Procedure to Non-clausal Formulas. AI*IA 1999: 84-94

Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella: The SAT-Based Approach for Classical Modal Logics. AI*IA 1999: 95-106

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

Alessandro Armando, Claudio Castellini, Enrico Giunchiglia: SAT-Based Procedures for Temporal Reasoning. ECP 1999: 97-108

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

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

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

Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella: More Evaluation of Decision Procedures for Modal Logics. KR 1998: 626-635

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

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

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

Enrico Giunchiglia, Alessandro Armando, Paolo Traverso, Alessandro Cimatti: Visual representation of natural language scene descriptions. IEEE Transactions on Systems, Man, and Cybernetics, Part B 26(4): 575-589 (1996)

Massimo Benerecetti, Alessandro Cimatti, Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini: Formal Specification of Beliefs in Multi-Agent Systems. ATAL 1996: 117-130

Enrico Giunchiglia, Fausto Giunchiglia: Ideal and Real Belief about Belief. FAPR 1996: 261-275

Enrico Giunchiglia: Determining Ramifications in the Situation Calculus. KR 1996: 76-86

Fausto Giunchiglia, Enrico Giunchiglia: Ideal and Real Belief aobout Belief: Some Intuitions. MAAMAW 1996: 1-12

Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari: Structured Proof Procedures. Ann. Math. Artif. Intell. 15(1): 1-18 (1995)

Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini: Agents as Reasoners, Observers or Believers. AI*IA 1995: 414-425

Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini: Agents as Reasoners, Observers, or Arbitrary Believers. ICMAS 1995: 448

Enrico Giunchiglia, Vladimir Lifschitz: Dependent Fluents. IJCAI 1995: 1964-1969

Paolo Traverso, Alessandro Cimatti, Luca Spalazzi, Alessandro Armando, Enrico Giunchiglia: MRG: Building planers for real-world complex applications. Applied Artificial Intelligence 8(3): 333-357 (1994)

Alessandro Armando, Enrico Giunchiglia: Embedding Complex Decision Procedures Inside an Interactive Theorem Prover. Ann. Math. Artif. Intell. 8(3-4): 475-502 (1993)

Mauro Di Manzo, Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari: Proving Formulas through Reduction to Decidable Classes. AI*IA 1993: 1-10

Fausto Giunchiglia, Luciano Serafini, Enrico Giunchiglia, Marcello Frixione: Non-Omniscient Belief as Context-Based Resoning. IJCAI 1993: 548-554

Mauro Di Manzo, Enrico Giunchiglia: Multi-Context Systems as a Tool to Model Temporal Evolution. ISMIS 1993: 548-557

Paolo Traverso, Alessandro Armando, Enrico Giunchiglia: A Knowledge Based System for Automatic 3D Scene. AIMSA 1992: 255-264

Enrico Giunchiglia: A Set of Hierarchically Structured Decision Procedures for Some Subclasses of First Order Logic. SCAI 1991: 84-89

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