Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEnrico Giunchiglia
Person information
- affiliation: University of Genoa, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c79]Enrico Giunchiglia
, Armando Tacchella:
Optimal Planning with Expressive Action Languages as Constraint Optimization. JELIA 2023: 621-637- [c78]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: 1675-1682 - [i2]Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Hudson Turner:
Causal Laws and Multi-Valued Fluents. CoRR abs/2307.10227 (2023) - 2021
- [p2]Enrico Giunchiglia, Paolo Marin, Massimo Narizzano:
Reasoning with Quantified Boolean Formulas. Handbook of Satisfiability 2021: 1157-1176 - 2020
- [c77]Francesco Leofante, Enrico Giunchiglia, Erika Ábrahám, Armando Tacchella:
Optimal Planning Modulo Theories. IJCAI 2020: 4128-4134
2010 – 2019
- 2018
- [j36]Enrico Giunchiglia, Marco Maratea, Luca Pulina:
Translation-based approaches for solving disjunctive temporal problems with preferences. Constraints An Int. J. 23(4): 383-402 (2018) - 2016
- [j35]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): 133-158 (2016) - 2015
- [c76]Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia:
An Empirical Perspective on Ten Years of QBF Solving. RCRA@AI*IA 2015: 62-75 - [c75]Ali Khalili, Massimo Narizzano, Armando Tacchella, Enrico Giunchiglia:
Automatic Test-Pattern Generation for Grey-Box Programs. AST@ICSE 2015: 33-37 - 2013
- [j34]Emanuele Di Rosa, Enrico Giunchiglia:
Combining approaches for solving satisfiability problems with qualitative preferences. AI Commun. 26(4): 395-408 (2013) - [c74]Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena Elisa Ponta:
Modeling and Reasoning about Business Processes under Authorization Constraints: A Planning-Based Approach. ICAPS 2013 - [c73]Michael Cashmore, Maria Fox, Enrico Giunchiglia:
Partially Grounded Planning as Quantified Boolean Formula. ICAPS 2013 - 2012
- [j33]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) - [c72]Enrico Giunchiglia, Marco Maratea:
Algorithms for Solving Satisfiability Problems with Qualitative Preferences. Correct Reasoning 2012: 327-344 - [c71]Michael Cashmore, Maria Fox, Enrico Giunchiglia:
Planning as Quantified Boolean Formula. ECAI 2012: 217-222 - 2011
- [j32]Matthew Lewis, Tobias Schubert, Bernd Becker, Paolo Marin, Massimo Narizzano, Enrico Giunchiglia:
Parallel QBF Solving with Advanced Knowledge Sharing. Fundam. Informaticae 107(2-3): 139-166 (2011) - [j31]Enrico Giunchiglia, Marco Maratea:
Introducing Preferences in Planning as Satisfiability. J. Log. Comput. 21(2): 205-229 (2011) - [c70]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 - [i1]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas. CoRR abs/1111.0860 (2011) - 2010
- [j30]Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea:
Solving satisfiability problems with preferences. Constraints An Int. J. 15(4): 485-515 (2010) - [j29]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): 397-414 (2010) - [j28]Enrico Giunchiglia, Paolo Marin, Massimo Narizzano:
QuBE7.0. J. Satisf. Boolean Model. Comput. 7(2-3): 83-88 (2010) - [c69]Emanuele Di Rosa, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu:
Automatic generation of high quality test sets via CBMC. VERIFY@IJCAR 2010: 65-78 - [c68]Enrico Giunchiglia, Paolo Marin, Massimo Narizzano:
sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning. SAT 2010: 85-98
2000 – 2009
- 2009
- [j27]Enrico Giunchiglia, Kostas Stergiou:
Introduction to the special issue on quantified CSPs and QBF. Constraints An Int. J. 14(1): 1-2 (2009) - [c67]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 - [c66]Enrico Giunchiglia, Marco Maratea:
Improving Plan Quality in SAT-Based Planning. AI*IA 2009: 253-263 - [c65]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 - [c64]Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina:
Automatic Test Generation for Coverage Analysis Using CBMC. EUROCAST 2009: 287-294 - [c63]Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina:
Automatic Test Generation for Coverage Analysis of ERTMS Software. ICST 2009: 303-306 - [c62]Paolo Marin, Massimo Narizzano, Enrico Giunchiglia, Matthew Lewis, Tobias Schubert, Bernd Becker:
Comparison of knowledge sharing strategies in a parallel QBF solver. HPCS 2009: 161-167 - [c61]Matthew Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia:
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. SAT 2009: 509-523 - [c60]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 - [p1]Enrico Giunchiglia, Paolo Marin, Massimo Narizzano:
Reasoning with Quantified Boolean Formulas. Handbook of Satisfiability 2009: 761-780 - 2008
- [j26]Enrico Giunchiglia, Nicola Leone, Marco Maratea:
On the relation among answer set solvers. Ann. Math. Artif. Intell. 53(1-4): 169-204 (2008) - [c59]Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea:
Computing All Optimal Solutions in Satisfiability Problems with Preferences. CP 2008: 603-607 - [c58]Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea:
A new Approach for Solving Satisfiability Problems with Qualitative Preferences. ECAI 2008: 510-514 - [c57]Enrico Giunchiglia, Paolo Marin, Massimo Narizzano:
Preprocessing Techniques for QBFs. RCRA 2008 - 2007
- [j25]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Quantifier Structure in Search-Based Procedures for QBFs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26(3): 497-507 (2007) - [c56]Enrico Giunchiglia, Marco Maratea:
Planning as Satisfiability with Preferences. AAAI 2007: 987-992 - [c55]Enrico Giunchiglia, Marco Maratea:
SAT-Based Planning with Minimal-#actions Plans and "soft" Goals. AI*IA 2007: 422-433 - 2006
- [j24]Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini:
Logics For Artificial Intelligence. Intelligenza Artificiale 3(1-2): 7-13 (2006) - [j23]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas. J. Artif. Intell. Res. 26: 371-416 (2006) - [j22]Enrico Giunchiglia, Yuliya Lierler, Marco Maratea:
Answer Set Programming Based on Propositional Satisfiability. J. Autom. Reason. 36(4): 345-377 (2006) - [c54]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Quantifier structure in search based procedures for QBFs. DATE 2006: 812-817 - [c53]Enrico Giunchiglia, Marco Maratea:
Solving Optimization Problems with DLL. ECAI 2006: 377-381 - [c52]Enrico Giunchiglia, Marco Maratea:
optsat: A Tool for Solving SAT Related Optimization Problems. JELIA 2006: 485-489 - 2005
- [j21]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): 62-72 (2005) - [j20]Enrico Giunchiglia, Toby Walsh:
Satisfiability in the Year 2005. J. Autom. Reason. 35(1-3): 1-2 (2005) - [j19]Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea:
The SAT-based Approach to Separation Logic. J. Autom. Reason. 35(1-3): 237-263 (2005) - [c51]Enrico Giunchiglia, Marco Maratea:
Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming. AI*IA 2005: 122-134 - [c50]Enrico Giunchiglia, Marco Maratea:
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming. Answer Set Programming 2005 - [c49]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 - [c48]Fausto Giunchiglia, Mikalai Yatskevich, Enrico Giunchiglia:
Efficient Semantic Matching. ESWC 2005: 272-289 - [c47]Enrico Giunchiglia, Marco Maratea:
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels). ICLP 2005: 37-51 - 2004
- [j18]Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner:
Nonmonotonic causal theories. Artif. Intell. 153(1-2): 49-104 (2004) - [j17]Salem Benferhat, Enrico Giunchiglia:
Editorial: Nonmonotonic Reasoning. Artif. Intell. 157(1-2): 1-3 (2004) - [j16]Enrico Giunchiglia, Nicola Muscettola, Dana S. Nau:
The 2003 International Conference on Automated Planning and Scheduling (ICAPS-03). AI Mag. 25(2): 129-132 (2004) - [c46]Enrico Giunchiglia, Yuliya Lierler, Marco Maratea:
SAT-Based Answer Set Programming. AAAI 2004: 61-66 - [c45]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Monotone Literals and Learning in QBF Reasoning. CP 2004: 260-273 - [c44]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
QuBE++: An Efficient QBF Solver. FMCAD 2004: 201-213 - [c43]Enrico Giunchiglia, Yuliya Lierler, Marco Maratea:
A SAT-based polynomial space algorithm for answer set programming. NMR 2004: 189-196 - [c42]Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea:
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints. SAT 2004 - [c41]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 - [c40]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
QBF Reasoning on Real-World Instances. SAT 2004 - [c39]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
QBF Reasoning on Real-World Instances. SAT (Selected Papers 2004: 105-121 - [c38]Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Massimo Idini, Marco Maratea:
TSAT++: an Open Platform for Satisfiability Modulo Theories. D/PDPAR@IJCAR 2004: 25-36 - [e3]Enrico Giunchiglia, Armando Tacchella:
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 [contents] - 2003
- [j15]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Backjumping for Quantified Boolean Logic satisfiability. Artif. Intell. 145(1-2): 99-120 (2003) - [j14]Claudio Castellini, Enrico Giunchiglia, Armando Tacchella:
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. Artif. Intell. 147(1-2): 85-117 (2003) - [c37]Enrico Giunchiglia, Marco Maratea, Armando Tacchella:
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver. CP 2003: 842-846 - [c36]Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella:
Watched Data Structures for QBF Solvers. SAT 2003: 25-36 - [e2]Enrico Giunchiglia, Nicola Muscettola, Dana S. Nau:
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 [contents] - 2002
- [j13]Enrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia:
SAT-Based Decision Procedures for Classical Modal Logics. J. Autom. Reason. 28(2): 143-171 (2002) - [c35]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Learning for Quantified Boolean Logic Satisfiability. AAAI/IAAI 2002: 649-654 - [c34]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 - [c33]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 - [c32]Enrico Giunchiglia, Marco Maratea, Armando Tacchella:
Dependent and Independent Variables in Propositional Satisfiability. JELIA 2002: 296-307 - [e1]Salem Benferhat, Enrico Giunchiglia:
9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings. 2002 [contents] - 2001
- [j12]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) - [j11]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella, Moshe Y. Vardi:
Towards an Efficient Library for SAT: a Manifesto. Electron. Notes Discret. Math. 9: 290-310 (2001) - [j10]Enrico Giunchiglia, Fausto Giunchiglia:
Ideal and Real Belief about Belief. J. Log. Comput. 11(1): 157-192 (2001) - [c31]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability. AI*IA 2001: 111-122 - [c30]Enrico Giunchiglia, Marco Maratea, Armando Tacchella, Davide Zambonin:
Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability. IJCAR 2001: 347-363 - [c29]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. IJCAR 2001: 364-369 - [c28]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 - [c27]Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella:
Backjumping for Quantified Boolean Logic Satisfiability. IJCAI 2001: 275-281 - 2000
- [j9]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): 145-172 (2000) - [c26]Paolo Ferraris, Enrico Giunchiglia:
Planning as Satisfiability in Nondeterministic Domains. AAAI/IAAI 2000: 748-753 - [c25]Enrico Giunchiglia, Armando Tacchella:
System Description: *SAT: A Platform for the Development of Modal Decision Procedures. CADE 2000: 291-296 - [c24]Enrico Giunchiglia:
Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism. KR 2000: 657-666 - [c23]Enrico Giunchiglia, Armando Tacchella:
A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics. TABLEAUX 2000: 237-251
1990 – 1999
- 1999
- [j8]Massimo Benerecetti, Enrico Giunchiglia, Luciano Serafini, Adolfo Villafiorita:
Formal specification of beliefs in multi-agent systems. Int. J. Intell. Syst. 14(10): 1021-1040 (1999) - [c22]Enrico Giunchiglia, Roberto Sebastiani:
Applying the Davis-Putnam Procedure to Non-clausal Formulas. AI*IA 1999: 84-94 - [c21]Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella:
The SAT-Based Approach for Classical Modal Logics. AI*IA 1999: 95-106 - [c20]Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella:
*SAT, KSATC, DLP and TA: a comparative analysis. Description Logics 1999 - [c19]Alessandro Armando, Claudio Castellini, Enrico Giunchiglia:
SAT-Based Procedures for Temporal Reasoning. ECP 1999: 97-108 - 1998
- [c18]Enrico Giunchiglia, Vladimir Lifschitz:
An Action Language Based on Causal Explanation: Preliminary Report. AAAI/IAAI 1998: 623-630 - [c17]Enrico Giunchiglia, Alessandro Massarotto, Roberto Sebastiani:
Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability. AAAI/IAAI 1998: 948-953 - [c16]Mauro Di Manzo, Enrico Giunchiglia, Simone Ruffino:
Planning via Model Checking in Deterministic Domains: Preliminary Report. AIMSA 1998: 221-229 - [c15]Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella:
More Evaluation of Decision Procedures for Modal Logics. KR 1998: 626-635 - 1997
- [j7]Enrico Giunchiglia, G. Neelakantan Kartha, Vladimir Lifschitz:
Representing Action: Indeterminacy and Ramifications. Artif. Intell. 95(2): 409-438 (1997) - [c14]Alessandro Cimatti, Fausto Giunchiglia, Enrico Giunchiglia, Paolo Traverso:
Planning via Model Checking: A Decision Procedure for AR. ECP 1997: 130-142 - 1996
- [j6]Fausto Giunchiglia, Enrico Giunchiglia, Tom Costello, Paolo Bouquet:
Dealing with expected and unexpected obstacles. J. Exp. Theor. Artif. Intell. 8(2): 173-190 (1996) - [j5]Enrico Giunchiglia, Alessandro Armando, Paolo Traverso, Alessandro Cimatti:
Visual representation of natural language scene descriptions. IEEE Trans. Syst. Man Cybern. Part B 26(4): 575-589 (1996) - [c13]Massimo Benerecetti, Alessandro Cimatti, Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini:
Formal Specification of Beliefs in Multi-Agent Systems. ATAL 1996: 117-130 - [c12]Enrico Giunchiglia, Fausto Giunchiglia:
Ideal and Real Belief about Belief. FAPR 1996: 261-275 - [c11]Enrico Giunchiglia:
Determining Ramifications in the Situation Calculus. KR 1996: 76-86 - [c10]Fausto Giunchiglia, Enrico Giunchiglia:
Ideal and Real Belief aobout Belief: Some Intuitions. MAAMAW 1996: 1-12 - 1995
- [j4]Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari:
Structured Proof Procedures. Ann. Math. Artif. Intell. 15(1): 1-18 (1995) - [j3]Enrico Giunchiglia, Paolo Traverso:
A multicontext architecture for formalizing complex reasoning. Int. J. Intell. Syst. 10(5): 501-539 (1995) - [c9]Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini:
Agents as Reasoners, Observers or Believers. AI*IA 1995: 414-425 - [c8]Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini:
Agents as Reasoners, Observers, or Arbitrary Believers. ICMAS 1995: 448 - [c7]Enrico Giunchiglia, Vladimir Lifschitz:
Dependent Fluents. IJCAI 1995: 1964-1969 - 1994
- [j2]Paolo Traverso, Alessandro Cimatti, Luca Spalazzi, Alessandro Armando, Enrico Giunchiglia:
MRG: Building planers for real-world complex applications. Appl. Artif. Intell. 8(3): 333-357 (1994) - 1993
- [j1]