Enrico Giunchiglia

Citado por

	Total	Desde 2019
Citas	8254	1317
Índice h	43	15
Índice i10	80	25

520

260

130

390

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202427 45 53 67 84 106 148 177 245 302 421 429 401 501 463 433 394 448 399 369 347 354 252 286 270 198 248 211 214 176

Acceso público

Ver todo

5 artículos

2 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Armando TacchellaProfessor, Information Processing Systems, University of GenoaDirección de correo verificada de unige.it
Fausto GiunchigliaProfessor of Computer Science, Università di TrentoDirección de correo verificada de unitn.it
Massimo NarizzanoUnige, DIBRIS (Dipartimento di Informatica, Bioingegneria, Robotica, e Ingegneria dei Sistemi)Dirección de correo verificada de unige.it
Marco MarateaUniversity of GenovaDirección de correo verificada de dibris.unige.it
Alessandro CimattiFondazione Bruno KesslerDirección de correo verificada de fbk.eu
Roberto SebastianiFull Professor in Computer Science, DISI, University of Trento, ItalyDirección de correo verificada de unitn.it
Paolo TraversoDirector of Research, FBK ICT IRST, TrentoDirección de correo verificada de fbk.eu
Alessandro ArmandoUniversity of GenovaDirección de correo verificada de unige.it
Vladimir LifschitzUniversity of Texas at AustinDirección de correo verificada de cs.utexas.edu
Marco PistoreDirector, Digital Society Center, Fondazione Bruno Kessler, ItalyDirección de correo verificada de fbk.eu
Marco RoveriUniversity of Trento - Department of Information Engineering and Computer ScienceDirección de correo verificada de unitn.it
Claudio CastelliniProfessor of Medical Robotics at FAU Erlangen and senior researcher at the German Aerospace CenterDirección de correo verificada de fau.de
Paolo MarinDirección de correo verificada de bankmedia.de

Seguir

Enrico Giunchiglia

DIBRIS - Università di Genova

Dirección de correo verificada de unige.it


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	2615	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	292	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	279	2001
Answer set programming based on propositional satisfiability E Giunchiglia, Y Lierler, M Maratea Journal of Automated reasoning 36, 345-377, 2006	212	2006
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	210*
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	180	2001
SAT-based procedures for temporal reasoning A Armando, C Castellini, E Giunchiglia European Conference on Planning, 97-108, 1999	173	1999
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	142*	2011
Representing action: Indeterminacy and ramifications E Giunchiglia, GN Kartha, V Lifschitz Artificial Intelligence 95 (2), 409-438, 1997	141	1997
Backjumping for quantified Boolean logic satisfiability E Giunchiglia, M Narizzano, A Tacchella Artificial Intelligence 145 (1-2), 99-120, 2003	140	2003
Learning for quantified Boolean logic satisfiability E Giunchiglia, M Narizzano, A Tacchella AAAI/IAAI, 649-654, 2002	127	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	119	2003
SAT-based decision procedures for classical modal logics E Giunchiglia, A Tacchella, F Giunchiglia Journal of automated reasoning 28, 143-171, 2002	108	2002
Non-omniscient belief as context-based reasoning F Giunchiglia, L Serafini, E Giunchiglia, M Frixione IJCAI 93, 548-554, 1993	100	1993
Efficient semantic matching F Giunchiglia, M Yatskevich, E Giunchiglia European Semantic Web Conference, 272-289, 2005	94	2005
Constraints and AI planning A Nareyek, EC Freuder, R Fourer, E Giunchiglia, RP Goldman, H Kautz, ... IEEE Intelligent Systems 20 (2), 62-72, 2005	93	2005
SAT-based answer set programming E Giunchiglia, Y Lierler, M Maratea AAAI 4, 61-66, 2004	92	2004
Act, and the rest will follow: Exploiting determinism in planning as satisfiability E Giunchiglia, A Massarotto, R Sebastiani AAAI/IAAI, 948-953, 1998	89	1998
Solving satisfiability problems with preferences E Di Rosa, E Giunchiglia, M Maratea Constraints 15, 485-515, 2010	82	2010

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores