Enrico Giunchiglia

发表

Mauro Di Manzo, Enrico Giunchiglia, Alessandro Armando, 1993, AI*IA.
Paolo Traverso, Enrico Giunchiglia, Alessandro Armando, 1992, AIMSA.
Nicola Muscettola, Dana S. Nau, Enrico Giunchiglia, 2004, AI Mag..
Fausto Giunchiglia, Enrico Giunchiglia, Paolo Bouquet, 1996, J. Exp. Theor. Artif. Intell..
Armando Tacchella, Enrico Giunchiglia, Massimo Narizzano, 2004, FMCAD.
Enrico Giunchiglia, Alessandro Armando, Marco Maratea, 2004, SAT.
Enrico Giunchiglia, Massimo Narizzano, Damiano Angeletti, 2009, 2009 International Conference on Software Testing Verification and Validation.
Fausto Giunchiglia, Enrico Giunchiglia, Paolo Bouquet, 1996 .
Enrico Giunchiglia, Massimo Narizzano, Paolo Marin, 2010, J. Satisf. Boolean Model. Comput..
Armando Tacchella, Enrico Giunchiglia, Moshe Y. Vardi, 2001, CAV.
Armando Tacchella, Enrico Giunchiglia, Marco Maratea, 2001, IJCAR.
Luca Pulina, Armando Tacchella, Enrico Giunchiglia, 2016, Fundam. Informaticae.
Fausto Giunchiglia, Armando Tacchella, Enrico Giunchiglia, 1999, AI*IA.
Enrico Giunchiglia, Massimo Narizzano, Paolo Marin, 2010, SAT.
Nicola Leone, Enrico Giunchiglia, Marco Maratea, 2008, Annals of Mathematics and Artificial Intelligence.
Yuliya Lierler, Enrico Giunchiglia, Marco Maratea, 2004, AAAI.
Fausto Giunchiglia, Armando Tacchella, Enrico Giunchiglia, 1998, KR.
Enrico Giunchiglia, Marco Maratea, E. Giunchiglia, 2011, J. Log. Comput..
Paolo Traverso, Enrico Giunchiglia, Alessandro Armando, 1992 .
Fausto Giunchiglia, Enrico Giunchiglia, Fausto Giunchiglia, 2001, J. Log. Comput..
Marco Pistore, Armando Tacchella, Marco Roveri, 2002, FroCoS.
Enrico Giunchiglia, Alessandro Armando, Marco Maratea, 2005, Journal of Automated Reasoning.
Enrico Giunchiglia, Alessandro Armando, 1993 .
Toby Walsh, Enrico Giunchiglia, 2006 .
Enrico Giunchiglia, Vladimir Lifschitz, G. Neelakantan Kartha, 1997, Artif. Intell..
Armando Tacchella, Enrico Giunchiglia, Massimo Narizzano, 2001, AI*IA.
Armando Tacchella, Enrico Giunchiglia, Marco Maratea, 2003, CP.
Enrico Giunchiglia, Marco Maratea, E. Giunchiglia, 2007, AI*IA.
Fausto Giunchiglia, Enrico Giunchiglia, Fausto Giunchiglia, 1988, European Conference on Artificial Intelligence.
Enrico Giunchiglia, Emanuele Di Rosa, E. Giunchiglia, 2013, AI Commun..
Fausto Giunchiglia, Armando Tacchella, Enrico Giunchiglia, 2005 .
Armando Tacchella, Enrico Giunchiglia, Massimo Narizzano, 2001, Artif. Intell..
Enrico Giunchiglia, Vladimir Lifschitz, G. Neelakantan Kartha, 1995 .
Armando Tacchella, Enrico Giunchiglia, Massimo Narizzano, 2006, J. Artif. Intell. Res..
Mauro Di Manzo, Enrico Giunchiglia, Simone Ruffino, 1998, AIMSA.
Toby Walsh, Enrico Giunchiglia, 2006, Journal of Automated Reasoning.
Enrico Giunchiglia, Massimo Narizzano, Damiano Angeletti, 2009, EUROCAST.
Barry O'Sullivan, Enrico Giunchiglia, Emanuele Di Rosa, 2011, SAC '11.
Enrico Giunchiglia, Marco Maratea, E. Giunchiglia, 2012, Correct Reasoning.
Fausto Giunchiglia, Paolo Traverso, Enrico Giunchiglia, 1993 .
Paolo Traverso, Enrico Giunchiglia, P. Traverso, 1995, Int. J. Intell. Syst..
Enrico Giunchiglia, Marco Maratea, E. Giunchiglia, 2005, Answer Set Programming.
Enrico Giunchiglia, Paolo Ferraris, E. Giunchiglia, 2000, AAAI/IAAI.
Mauro Di Manzo, Enrico Giunchiglia, E. Giunchiglia, 1993, ISMIS.
Enrico Giunchiglia, Vladimir Lifschitz, V. Lifschitz, 1998, AAAI/IAAI.
Luciano Serafini, Enrico Giunchiglia, Luigia Carlucci Aiello, 2019, Lecture Notes in Computer Science.
Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, 2004, Artif. Intell..
Luca Pulina, Enrico Giunchiglia, Marco Maratea, 2018, Constraints.
Armando Tacchella, Enrico Giunchiglia, Claudio Castellini, 2014 .
Fausto Giunchiglia, Armando Tacchella, Enrico Giunchiglia, 2004, Journal of Automated Reasoning.
Armando Tacchella, Enrico Giunchiglia, Massimo Narizzano, 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Enrico Giunchiglia, Marco Maratea, E. Giunchiglia, 2007, AAAI.
Enrico Giunchiglia, Maria Fox, Michael Cashmore, 2012, ECAI.
Enrico Giunchiglia, Alessandro Armando, A. Armando, 1993, Annals of Mathematics and Artificial Intelligence.
Enrico Giunchiglia, Massimo Narizzano, Paolo Marin, 2008, RCRA.
Enrico Giunchiglia, Marco Maratea, E. Giunchiglia, 2006, ECAI.
Bernd Becker, Enrico Giunchiglia, Matthew D. T. Lewis, 2009, SAT.
Paolo Traverso, Enrico Giunchiglia, Alessandro Armando, 1995 .
Enrico Giunchiglia, Maria Fox, Michael Cashmore, 2014 .
Amedeo Cesta, Paolo Traverso, Enrico Giunchiglia, 2001 .
Enrico Giunchiglia, Massimo Narizzano, Damiano Angeletti, 2010, Journal of Automated Reasoning.
Fausto Giunchiglia, Luciano Serafini, Enrico Giunchiglia, 1996, ATAL.
Enrico Giunchiglia, Marco Maratea, Emanuele Di Rosa, 2010, Constraints.
Luca Pulina, Armando Tacchella, Enrico Giunchiglia, 2015, RCRA@AI*IA.
Fausto Giunchiglia, Armando Tacchella, Enrico Giunchiglia, 1999, Description Logics.
Armando Tacchella, Enrico Giunchiglia, Marco Maratea, 2002, JELIA.
Fausto Giunchiglia, Armando Tacchella, Enrico Giunchiglia, 2005, Mechanizing Mathematical Reasoning.
Enrico Giunchiglia, Marco Maratea, E. Giunchiglia, 2005, AI*IA.
Enrico Giunchiglia, Roberto Sebastiani, Alessandro Massarotto, 1998, AAAI/IAAI.
Paolo Traverso, Enrico Giunchiglia, Alessandro Armando, 1996, IEEE Trans. Syst. Man Cybern. Part B.
Marco Pistore, Armando Tacchella, Marco Roveri, 2001 .
Armando Tacchella, Enrico Giunchiglia, 2000, TABLEAUX.
Enrico Giunchiglia, Alessandro Armando, Marco Maratea, 2005, Electron. Notes Theor. Comput. Sci..
Fausto Giunchiglia, Luciano Serafini, Enrico Giunchiglia, 1995, AI*IA.
Bernd Becker, Enrico Giunchiglia, Matthew D. T. Lewis, 2011, Fundam. Informaticae.
Armando Tacchella, Erika Ábrahám, Enrico Giunchiglia, 2020, IJCAI.
Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari, 1995, Annals of Mathematics and Artificial Intelligence.
Enrico Giunchiglia, Vladimir Lifschitz, V. Lifschitz, 1995, IJCAI.
Armando Tacchella, Erika Ábrahám, Enrico Giunchiglia, 2020, IJCAI 2020.
Enrico Giunchiglia, Marco Maratea, 2006, JELIA.
Yuliya Lierler, Enrico Giunchiglia, Marco Maratea, 2004, NMR.
Armando Tacchella, Enrico Giunchiglia, Massimo Narizzano, 2004, CP.
Enrico Giunchiglia, Salem Benferhat, S. Benferhat, 2004, Artificial Intelligence.
Armando Tacchella, Enrico Giunchiglia, 2004, Annals of Mathematics and Artificial Intelligence.
Enrico Giunchiglia, Marco Maratea, E. Giunchiglia, 2005, ICLP.
Enrico Giunchiglia, Marco Maratea, Emanuele Di Rosa, 2008, CP.
Bernd Becker, Enrico Giunchiglia, Matthew D. T. Lewis, 2009, RCRA@AI*IA.
Enrico Giunchiglia, Alessandro Armando, Claudio Castellini, 1999, ECP.
Armando Tacchella, Enrico Giunchiglia, Ian P. Gent, 2003, SAT.
Enrico Giunchiglia, Marco Maratea, Emanuele Di Rosa, 2008, ECAI.
Bernd Becker, Enrico Giunchiglia, Matthew D. T. Lewis, 2009, 2009 International Conference on High Performance Computing & Simulation.
Paolo Traverso, Enrico Giunchiglia, Alessandro Armando, 1994, Appl. Artif. Intell..
Marco Pistore, Fausto Giunchiglia, Armando Tacchella, 2002, CAV.
Armando Tacchella, Enrico Giunchiglia, Moshe Y. Vardi, 2001, Electron. Notes Discret. Math..
Enrico Giunchiglia, Massimo Narizzano, Damiano Angeletti, 2009, RCRA@AI*IA.
Hector Geffner, Enrico Giunchiglia, 2002 .
Fausto Giunchiglia, Luciano Serafini, Enrico Giunchiglia, 1993, IJCAI.
Fausto Giunchiglia, Luciano Serafini, Enrico Giunchiglia, 1995, ICMAS.
Armando Tacchella, Enrico Giunchiglia, A. Tacchella, 2003, Lecture Notes in Computer Science.
Enrico Giunchiglia, Massimo Narizzano, Paolo Marin, 2021, Handbook of Satisfiability.
Armando Tacchella, Enrico Giunchiglia, Massimo Narizzano, 2002, AAAI/IAAI.
Fausto Giunchiglia, Enrico Giunchiglia, Fausto Giunchiglia, 1996, MAAMAW.
Luciano Serafini, Enrico Giunchiglia, Massimo Benerecetti, 1999 .
Fausto Giunchiglia, Enrico Giunchiglia, Mikalai Yatskevich, 2005, ESWC.
Armando Tacchella, Enrico Giunchiglia, Claudio Castellini, 2003, Artif. Intell..
Yuliya Lierler, Enrico Giunchiglia, Marco Maratea, 2006, Journal of Automated Reasoning.
Marco Pistore, Fausto Giunchiglia, Armando Tacchella, 2002, CAV 2002.
Enrico Giunchiglia, Marco Maratea, E. Giunchiglia, 2009, AI*IA.
Armando Tacchella, Enrico Giunchiglia, Massimo Narizzano, 2006 .
Enrico Giunchiglia, Emanuele Di Rosa, Massimo Narizzano, 2010, VERIFY@IJCAR.
Luciano Serafini, Enrico Giunchiglia, Massimo Benerecetti, 1996, International Journal of Intelligent Systems.
Armando Tacchella, Enrico Giunchiglia, Massimo Narizzano, 2004, SAT.
Enrico Giunchiglia, Maria Fox, Michael Cashmore, 2013, ICAPS.
Fausto Giunchiglia, Enrico Giunchiglia, Fausto Giunchiglia, 1996, J. Log. Comput..
Ali Khalili, Armando Tacchella, Enrico Giunchiglia, 2015, 2015 IEEE/ACM 10th International Workshop on Automation of Software Test.
Fausto Giunchiglia, Paolo Traverso, Enrico Giunchiglia, 1997, ECP.
Enrico Giunchiglia, Roberto Sebastiani, 1999, AI*IA.
Armando Tacchella, Enrico Giunchiglia, Massimo Narizzano, 2001, IJCAR.
Enrico Giunchiglia, Marco Maratea, E. Giunchiglia, 2010 .
Enrico Giunchiglia, Vladimir Lifschitz, 2001 .
Yuliya Lierler, Armando Tacchella, Enrico Giunchiglia, 2006 .
Kurt Konolige, Enrico Giunchiglia, John McCarthy, 1994 .