Did I damage my ontology S Ghilardi, C Lutz, F Wolter Proc. of KR2006, 187-197, 2006 | 297 | 2006 |
Unification in intuitionistic logic S Ghilardi The Journal of Symbolic Logic 64 (2), 859-880, 1999 | 252 | 1999 |
Best solving modal equations S Ghilardi Annals of Pure and Applied Logic 102 (3), 183-198, 2000 | 180 | 2000 |
MCMT: A model checker modulo theories S Ghilardi, S Ranise Automated Reasoning: 5th International Joint Conference, IJCAR 2010 …, 2010 | 169 | 2010 |
LTL over description logic axioms F Baader, S Ghilardi, C Lutz ACM Transactions on Computational Logic (TOCL) 13 (3), 1-32, 2012 | 157 | 2012 |
9 First-order modal logic T Braüner, S Ghilardi Studies in Logic and Practical Reasoning 3, 549-620, 2007 | 145 | 2007 |
Unification through projectivity S Ghilardi Journal of Logic and Computation 7 (6), 733-752, 1997 | 145 | 1997 |
Backward reachability of array-based systems by SMT solving: Termination and invariant synthesis S Ghilardi, S Ranise Logical Methods in Computer Science 6, 2010 | 138 | 2010 |
Model-theoretic methods in combined constraint satisfiability S Ghilardi Journal of Automated Reasoning 33, 221-249, 2004 | 122 | 2004 |
Unified correspondence W Conradie, S Ghilardi, A Palmigiano Johan van Benthem on logic and information dynamics, 933-975, 2014 | 114 | 2014 |
ITALIAN CANCER FIGURES-REPORT 2015: The burden of rare cancers in Italy= I TUMORI IN ITALIA-RAPPORTO 2015: I tumori rari in Italia S Busco, C Buzzoni, S Mallone, A Trama, M Castaing, F Bella, R Amodio, ... Epidemiologia e prevenzione 40 (1, suppl. 2), 1-120, 2016 | 111 | 2016 |
An algebraic theory of normal forms S Ghilardi Annals of Pure and Applied Logic 71 (3), 189-245, 1995 | 111 | 1995 |
Unification in modal and description logics F Baader, S Ghilardi Logic Journal of IGPL 19 (6), 705-730, 2011 | 106 | 2011 |
Sheaves, games, and model completions: A categorical approach to nonclassical propositional logics S Ghilardi, M Zawadowski Springer Science & Business Media, 2013 | 104 | 2013 |
Towards SMT model checking of array-based systems S Ghilardi, E Nicolini, S Ranise, D Zucchelli Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney …, 2008 | 101 | 2008 |
Undefinability of propositional quantifiers in the modal system S4 S Ghilardi, M Zawadowski Studia Logica 55, 259-271, 1995 | 92 | 1995 |
Constructive canonicity in non-classical logics S Ghilardi, G Meloni Annals of Pure and Applied Logic 86 (1), 1-32, 1997 | 78 | 1997 |
Incompleteness results in Kripke semantics S Ghilardi The Journal of Symbolic Logic 56 (2), 517-538, 1991 | 76 | 1991 |
Italian cancer figures, report 2014: prevalence and cure of cancer in Italy MS Adamo, D Alessi, P Aletta, R Amodio, S Andreone, T Angelin, ... Epidemiologia e prevenzione 38 (6), 1-122, 2014 | 72 | 2014 |
Decidability and undecidability results for Nelson-Oppen and rewrite-based decision procedures MP Bonacina, S Ghilardi, E Nicolini, S Ranise, D Zucchelli Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006 | 72 | 2006 |