| 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 | 2393 | 2002 |
| Nonmonotonic causal theories E Giunchiglia, J Lee, V Lifschitz, N McCain, H Turner Artificial Intelligence 153 (1-2), 49-104, 2004 | 573 | 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 | 204* | |
| Answer set programming based on propositional satisfiability E Giunchiglia, Y Lierler, M Maratea Journal of Automated reasoning 36, 345-377, 2006 | 202 | 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 | 176 | 2001 |
| SAT-based procedures for temporal reasoning A Armando, C Castellini, E Giunchiglia Recent Advances in AI Planning: 5th European Conference on Planning, ECP’99 …, 2000 | 165 | 2000 |
| Representing action: Indeterminacy and ramifications E Giunchiglia, GN Kartha, V Lifschitz Artificial Intelligence 95 (2), 409-438, 1997 | 142 | 1997 |
| Backjumping for quantified Boolean logic satisfiability E Giunchiglia, M Narizzano, A Tacchella Artificial Intelligence 145 (1-2), 99-120, 2003 | 139 | 2003 |
| 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 | 138* | 2011 |
| 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 | 115 | 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 | 93 | 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 | 89 | 2005 |
| SAT-based answer set programming E Giunchiglia, Y Lierler, M Maratea AAAI 4, 61-66, 2004 | 88 | 2004 |
| 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 |
| Efficient semantic matching F Giunchiglia, M Yatskevich, E Giunchiglia The Semantic Web: Research and Applications: Second European Semantic Web …, 2005 | 85 | 2005 |
| Planning as satisfiability in nondeterministic domains P Ferraris, E Giunchiglia AAAI/IAAI, 748-753, 2000 | 76 | 2000 |
Armando TacchellaProfessor, Information Processing Systems, University of GenoaEmail verificata su unige.it
