Enrico Giunchiglia

Citée par

	Toutes	Depuis 2018
Citations	7997	1374
indice h	43	16
indice i10	80	26

500

250

125

375

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202326 44 49 71 78 103 148 174 247 304 424 424 407 490 460 447 386 452 389 355 351 360 254 286 272 194 245 208 168

Accès public

Tout afficher

4 articles

2 articles

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Armando TacchellaProfessor, Information Processing Systems, University of GenoaAdresse e-mail validée de unige.it
Fausto GiunchigliaProfessor of Computer Science, Università di TrentoAdresse e-mail validée de unitn.it
Massimo NarizzanoUnige, DIBRIS (Dipartimento di Informatica, Bioingegneria, Robotica, e Ingegneria dei Sistemi)Adresse e-mail validée de unige.it
Marco MarateaUniversity of GenovaAdresse e-mail validée de dibris.unige.it
Alessandro CimattiFondazione Bruno KesslerAdresse e-mail validée de fbk.eu
Roberto SebastianiFull Professor in Computer Science, DISI, University of Trento, ItalyAdresse e-mail validée de unitn.it
Paolo TraversoDirector of Research, FBK ICT IRST, TrentoAdresse e-mail validée de fbk.eu
Alessandro ArmandoUniversity of GenovaAdresse e-mail validée de unige.it
Vladimir LifschitzUniversity of Texas at AustinAdresse e-mail validée de cs.utexas.edu
Marco PistoreDirector, Digital Society Center, Fondazione Bruno Kessler, ItalyAdresse e-mail validée de fbk.eu
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceAdresse e-mail validée de unitn.it
Claudio CastelliniProfessor of Medical Robotics at FAU Erlangen and senior researcher at the German Aerospace CenterAdresse e-mail validée de fau.de
Paolo MarinAdresse e-mail validée de bankmedia.de

Suivre

Enrico Giunchiglia

DIBRIS - Università di Genova

Adresse e-mail validée de unige.it


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Nusmv 2: An opensource tool for symbolic model checking A Cimatti, E Clarke, E Giunchiglia, F Giunchiglia, M Pistore, M Roveri, ... Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002	2473	2002
Nonmonotonic causal theories E Giunchiglia, J Lee, V Lifschitz, N McCain, H Turner Artificial Intelligence 153 (1-2), 49-104, 2004	577	2004
An action language based on causal explanation: Preliminary report E Giunchiglia, V Lifschitz AAAI/IAAI, 623-630, 1998	291	1998
Benefits of bounded model checking at an industrial setting F Copty, L Fix, R Fraer, E Giunchiglia, G Kamhi, A Tacchella, MY Vardi Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001	275	2001
Planning via model checking: A decision procedure for AR A Cimatti, E Giunchiglia, F Giunchiglia, P Traverso Proceedings of the 4th European Conference on Planning (ECP’97), 130-142, 0	205*
Answer set programming based on propositional satisfiability E Giunchiglia, Y Lierler, M Maratea Journal of Automated reasoning 36, 345-377, 2006	204	2006
QUBE: A system for deciding quantified boolean formulas satisfiability E Giunchiglia, M Narizzano, A Tacchella Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001	178	2001
SAT-based procedures for temporal reasoning A Armando, C Castellini, E Giunchiglia European Conference on Planning, 97-108, 1999	168	1999
Representing action: Indeterminacy and ramifications E Giunchiglia, GN Kartha, V Lifschitz Artificial Intelligence 95 (2), 409-438, 1997	141	1997
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas E Giunchiglia, M Narizzano, A Tacchella arXiv e-prints, arXiv: 1111.0860, 2011	139*	2011
Backjumping for quantified Boolean logic satisfiability E Giunchiglia, M Narizzano, A Tacchella Artificial Intelligence 145 (1-2), 99-120, 2003	138	2003
Learning for quantified Boolean logic satisfiability E Giunchiglia, M Narizzano, A Tacchella AAAI/IAAI, 649-654, 2002	128	2002
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism C Castellini, E Giunchiglia, A Tacchella Artificial Intelligence 147 (1-2), 85-117, 2003	116	2003
SAT-based decision procedures for classical modal logics E Giunchiglia, A Tacchella, F Giunchiglia Journal of automated reasoning 28, 143-171, 2002	104	2002
Non-omniscient belief as context-based reasoning F Giunchiglia, L Serafini, E Giunchiglia, M Frixione IJCAI 93, 548-554, 1993	100	1993
Constraints and AI planning A Nareyek, EC Freuder, R Fourer, E Giunchiglia, RP Goldman, H Kautz, ... IEEE Intelligent Systems 20 (2), 62-72, 2005	90	2005
SAT-based answer set programming E Giunchiglia, Y Lierler, M Maratea	90	2004
Efficient semantic matching F Giunchiglia, M Yatskevich, E Giunchiglia European Semantic Web Conference, 272-289, 2005	89	2005
Act, and the rest will follow: Exploiting determinism in planning as satisfiability E Giunchiglia, A Massarotto, R Sebastiani AAAI/IAAI, 948-953, 1998	88	1998
Planning as satisfiability in nondeterministic domains P Ferraris, E Giunchiglia AAAI/IAAI, 748-753, 2000	78	2000

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs