GIUNCHIGLIA, ENRICO
GIUNCHIGLIA, ENRICO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
A Simple Proof-theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments
2024-01-01 Gebser, Martin; Giunchiglia, Enrico; Maratea, Marco; Mochi, Marco
A Subset-matching Size-bounded Cache for Testing Satisfiability in Modal Logics
2001-01-01 Giunchiglia, Enrico; Tacchella, Armando
An Action-based Approach to the Formal Specification and Automated Analysis of Business Processes under Authorization Constraints
2012-01-01 Armando, Alessandro; Giunchiglia, Enrico; Maratea, Marco; Ponta, Serena Elisa
Answer Set Programming based on Propositional Satisfiability
2006-01-01 Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco
Backjumping for Quantified Boolean Logic satisfiability
2003-01-01 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas
2006-01-01 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Combining approaches for solving satisfiability problems with qualitative preferences
2013-01-01 E., Di Rosa; Giunchiglia, Enrico
Constraints and AI Planning
2005-01-01 Alexander, Nareyek; EUGENE C., Freuder; Robert, Fourer; Giunchiglia, Enrico; ROBERT P., Goldman; HENRY A., Kautz; Jussi, Rintanen; Austin, Tate
Editorial: Nonmonotonic Reasoning
2004-01-01 Salem, Benferhat; Giunchiglia, Enrico
Embedding complex decision procedures inside an interactive theorem prover
1993-01-01 Armando, Alessandro; Giunchiglia, Enrico
Flexible planning by integrating multilevel reasoning
1995-01-01 Armando, Alessandro; Cimatti, A.; Giunchiglia, Enrico; Pecchiari, P.; Spalazzi, L.; Traverso, P.
Ideal and Real Belief about Belief
2001-01-01 Giunchiglia, Enrico; Giunchiglia, Fausto
Introducing Preferences in Planning as Satisfiability
2011-01-01 Giunchiglia, Enrico; Maratea, Marco
MRG: Building Planners for Real World Complex Applications
1994-01-01 P., Traverso; A., Cimatti; L., Spalazzi; Armando, Alessandro; Giunchiglia, Enrico
Nonmonotonic causal theories
2004-01-01 Giunchiglia, Enrico; Joohyung, Lee; Vladimir, Lifschitz; Norman, Mccain; Hudson, Turner
On the Relation among Answer Set Solvers
2008-01-01 Giunchiglia, Enrico; Leone, Nicola; Maratea, Marco
Parallel QBF Solving with Advanced Knowledge Sharing
2011-01-01 M. D., T.; T., Schubert; B., Becker; P., Marin; Narizzano, Massimo; Giunchiglia, Enrico
Quantifier Structure in search based procedures for QBFs
2007-01-01 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
QuBE7.0
2010-01-01 Giunchiglia, Enrico; P., Marin; Narizzano, Massimo
Representing Action: Indeterminacy and Ramifications
1997-01-01 Giunchiglia, Enrico; G. N., Kartha; V., Lifschitz
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Simple Proof-theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments | 1-gen-2024 | Gebser, Martin; Giunchiglia, Enrico; Maratea, Marco; Mochi, Marco | |
| A Subset-matching Size-bounded Cache for Testing Satisfiability in Modal Logics | 1-gen-2001 | Giunchiglia, Enrico; Tacchella, Armando | |
| An Action-based Approach to the Formal Specification and Automated Analysis of Business Processes under Authorization Constraints | 1-gen-2012 | Armando, Alessandro; Giunchiglia, Enrico; Maratea, Marco; Ponta, Serena Elisa | |
| Answer Set Programming based on Propositional Satisfiability | 1-gen-2006 | Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco | |
| Backjumping for Quantified Boolean Logic satisfiability | 1-gen-2003 | Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando | |
| Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas | 1-gen-2006 | Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando | |
| Combining approaches for solving satisfiability problems with qualitative preferences | 1-gen-2013 | E., Di Rosa; Giunchiglia, Enrico | |
| Constraints and AI Planning | 1-gen-2005 | Alexander, Nareyek; EUGENE C., Freuder; Robert, Fourer; Giunchiglia, Enrico; ROBERT P., Goldman; HENRY A., Kautz; Jussi, Rintanen; Austin, Tate | |
| Editorial: Nonmonotonic Reasoning | 1-gen-2004 | Salem, Benferhat; Giunchiglia, Enrico | |
| Embedding complex decision procedures inside an interactive theorem prover | 1-gen-1993 | Armando, Alessandro; Giunchiglia, Enrico | |
| Flexible planning by integrating multilevel reasoning | 1-gen-1995 | Armando, Alessandro; Cimatti, A.; Giunchiglia, Enrico; Pecchiari, P.; Spalazzi, L.; Traverso, P. | |
| Ideal and Real Belief about Belief | 1-gen-2001 | Giunchiglia, Enrico; Giunchiglia, Fausto | |
| Introducing Preferences in Planning as Satisfiability | 1-gen-2011 | Giunchiglia, Enrico; Maratea, Marco | |
| MRG: Building Planners for Real World Complex Applications | 1-gen-1994 | P., Traverso; A., Cimatti; L., Spalazzi; Armando, Alessandro; Giunchiglia, Enrico | |
| Nonmonotonic causal theories | 1-gen-2004 | Giunchiglia, Enrico; Joohyung, Lee; Vladimir, Lifschitz; Norman, Mccain; Hudson, Turner | |
| On the Relation among Answer Set Solvers | 1-gen-2008 | Giunchiglia, Enrico; Leone, Nicola; Maratea, Marco | |
| Parallel QBF Solving with Advanced Knowledge Sharing | 1-gen-2011 | M. D., T.; T., Schubert; B., Becker; P., Marin; Narizzano, Massimo; Giunchiglia, Enrico | |
| Quantifier Structure in search based procedures for QBFs | 1-gen-2007 | Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando | |
| QuBE7.0 | 1-gen-2010 | Giunchiglia, Enrico; P., Marin; Narizzano, Massimo | |
| Representing Action: Indeterminacy and Ramifications | 1-gen-1997 | Giunchiglia, Enrico; G. N., Kartha; V., Lifschitz |