Silvio Ghilardi

Best Publications

• Did I damage my ontology? A case for conservative extensions in description logic

  Silvio Ghilardi;Carsten Lutz;Frank Wolter

  282
  Citations

• Unification in Intuitionistic Logic

  Silvio Ghilardi

  256
  Citations

• LTL over description logic axioms

  Franz Baader;Silvio Ghilardi;Carsten Lutz

  200
  Citations

• Best solving modal equations

  Silvio Ghilardi

  175
  Citations

• MCMT: a model checker modulo theories

  Silvio Ghilardi;Silvio Ranise

  159
  Citations

• Unification through Projectivity

  Silvio Ghilardi

  143
  Citations

• Model-Theoretic Methods in Combined Constraint Satisfiability

  Silvio Ghilardi

  117
  Citations

• An algebraic theory of normal forms

  Silvio Ghilardi

  108
  Citations

• Unification in modal and description logics

  Franz Baader;Silvio Ghilardi

  101
  Citations

• Towards SMT Model Checking of Array-Based Systems

  Silvio Ghilardi;Enrica Nicolini;Silvio Ranise;Daniele Zucchelli

  96
  Citations

• Undefinability of propositional quantifiers in the modal system S4

  Silvio Ghilardi;Marek W. Zawadowski

  86
  Citations

• Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics

  Silvio Ghilardi;M. Zawadowski

  79
  Citations

• Incompleteness results in Kripke semantics

  Silvio Ghilardi

  76
  Citations

• Constructive canonicity in non-classical logics

  Silvio Ghilardi;Giancarlo Meloni

  76
  Citations

• Decidability and undecidability results for nelson-oppen and rewrite-based decision procedures

  Maria Paola Bonacina;Silvio Ghilardi;Enrica Nicolini;Silvio Ranise

  72
  Citations

• Decidability and undecidability results for nelson-oppen and rewrite-based decision procedures

  Maria Paola Bonacina;Silvio Ghilardi;Enrica Nicolini;Silvio Ranise

  72
  Citations

• Decision procedures for extensions of the theory of arrays

  Silvio Ghilardi;Enrica Nicolini;Silvio Ranise;Daniele Zucchelli

  67
  Citations

• SAFARI: SMT-based abstraction for arrays with interpolants

  Francesco Alberti;Roberto Bruttomesso;Silvio Ghilardi;Silvio Ranise

  66
  Citations

• Lazy abstraction with interpolants for arrays

  Francesco Alberti;Roberto Bruttomesso;Silvio Ghilardi;Silvio Ranise

  65
  Citations

• An algebraic approach to subframe logics. Intuitionistic case

  Guram Bezhanishvili;Silvio Ghilardi

  64
  Citations