Enrico Giunchiglia
机构: DIBRIS - Università di Genova
每年引用次数
引用次数
引用: 8,124
H-指数: 43
I10-指数 : 80
出版物: 197
Nonmonotonic causal theories
Enrico Giunchiglia , Joohyung Lee , Vladimir Lifschitz , Norman McCain
Artificial Intelligence 153 ( 1) 49 -104
568
2004
SAT-Based Planning with Minimal-#actions Plans and soft Goals
Enrico Giunchiglia , Marco Maratea
congress of the italian association for artificial intelligence 422 -433
6
2007
Proving Formulas through Reduction to Decidable Classes
Mauro Manzo , Enrico Giunchiglia , Alessandro Armando , Paolo Pecchiari
congress of the italian association for artificial intelligence 1 -10
1
1993
TSAT++: an Open Platform for Satisfiability Modulo Theories
Alessandro Armando , Claudio Castellini , Enrico Giunchiglia , Massimo Idini
Electronic Notes in Theoretical Computer Science 125 ( 3) 25 -36
12
2005
Algorithms for solving satisfiability problems with qualitative preferences
Enrico Giunchiglia , Marco Maratea
Correct Reasoning 327 -344
5
2012
(In)Effectiveness of look-ahead techniques in a modern SAT solver
Enrico Giunchiglia , Marco Maratea , Armando Tacchella
principles and practice of constraint programming 842 -846
34
2003
Integrating BDD-Based and SAT-Based Symbolic Model Checking
Alessandro Cimatti , Enrico Giunchiglia , Marco Pistore , Marco Roveri
frontiers of combining systems 49 -56
27
2002
Agents as Reasoners, Observers or Believers
Enrico Giunchiglia , , Fausto Giunchiglia , Luciano Serafini
congress of the italian association for artificial intelligence 414 -425
1995
Embedding complex decision procedures inside an interactive theorem prover
Alessandro Armando , Enrico Giunchiglia
Annals of Mathematics and Artificial Intelligence 8 ( 3) 475 -502
35
1993
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
Journal of Computer and System Sciences 78 ( 1) 119 -141
7
2012
Automatic Test Generation for Coverage Analysis of ERTMS Software
Damiano Angeletti , Enrico Giunchiglia , Massimo Narizzano , Alessandra Puddu
international conference on software testing, verification, and validation 303 -306
4
2009
A multicontext architecture for formalizing complex reasoning
Enrico Giunchiglia , Paolo Traverso
International Journal of Intelligent Systems 10 ( 5) 501 -539
5
1995
Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences
Emanuele Di Rosa , Enrico Giunchiglia , Barry O'Sullivan
Proceedings of the 2011 ACM Symposium on Applied Computing - SAC '11 901 -906
2
2011
Multi-Context Systems as a Tool to Model Temporal Evolution
Mauro Manzo , Enrico Giunchiglia
international syposium on methodologies for intelligent systems 548 -557
1
1993
Computing All Optimal Solutions in Satisfiability Problems with Preferences
Emanuele Di Rosa , Enrico Giunchiglia , Marco Maratea
principles and practice of constraint programming 603 -607
3
2008
Quantifier Structure in Search-Based Procedures for QBFs
Enrico Giunchiglia , Massimo Narizzano , Armando Tacchella
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 26 ( 3) 497 -507
19
2007
Action Languages, Temporal Action Logics and the Situation Calculus
Enrico Giunchiglia , Vladimir Lifschitz
Smpte Journal
1999
Planning via model checking: A decision procedure for AR
Alessandro Cimatti , Enrico Giunchiglia , Fausto Giunchiglia , Paolo Traverso
Recent Advances in AI Planning: 4th European Conference on Planning, ECP'97 Toulouse, France, September 24–26, 1997 Proceedings 4 130 -142
206
1997
Formal theories for reactive planning systems: some considerations raised from an experimental application
Paolo Traverso , Enrico Giunchiglia , Luca Spalazzi , Fausto Giunchiglia
Proceedings of AAAI’96 Workshop on Theories of action, Planning and Control: Bridging the gap
9
1996
Merging Planning and Verification Techniques for” Safe Planning” in Space Robotics
L Carlucci Aiello , Amedeo Cesta , Enrico Giunchiglia , Paolo Traverso
Proc. 6th Int. Symposium on Artificial Intelligence, Robotics and Automation in Space: A New Space Odyssey
7
2001