Seguir
silvio ghilardi
silvio ghilardi
Email confirmado em unimi.it - Página inicial
Título
Citado por
Citado por
Ano
Did I damage my ontology
S Ghilardi, C Lutz, F Wolter
Proc. of KR2006, 187-197, 2006
2962006
Unification in intuitionistic logic
S Ghilardi
The Journal of Symbolic Logic 64 (2), 859-880, 1999
2491999
Best solving modal equations
S Ghilardi
Annals of Pure and Applied Logic 102 (3), 183-198, 2000
1772000
MCMT: A model checker modulo theories
S Ghilardi, S Ranise
Automated Reasoning: 5th International Joint Conference, IJCAR 2010 …, 2010
1692010
LTL over description logic axioms
F Baader, S Ghilardi, C Lutz
ACM Transactions on Computational Logic (TOCL) 13 (3), 1-32, 2012
1552012
9 First-order modal logic
T Braüner, S Ghilardi
Studies in Logic and Practical Reasoning 3, 549-620, 2007
1432007
Unification through projectivity
S Ghilardi
Journal of Logic and Computation 7 (6), 733-752, 1997
1431997
Backward reachability of array-based systems by SMT solving: Termination and invariant synthesis
S Ghilardi, S Ranise
Logical Methods in Computer Science 6, 2010
1382010
Model-theoretic methods in combined constraint satisfiability
S Ghilardi
Journal of Automated Reasoning 33, 221-249, 2004
1222004
An algebraic theory of normal forms
S Ghilardi
Annals of Pure and Applied Logic 71 (3), 189-245, 1995
1111995
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
1102016
Unified correspondence
W Conradie, S Ghilardi, A Palmigiano
Johan van Benthem on logic and information dynamics, 933-975, 2014
1102014
Unification in modal and description logics
F Baader, S Ghilardi
Logic Journal of IGPL 19 (6), 705-730, 2011
1052011
Sheaves, games, and model completions: A categorical approach to nonclassical propositional logics
S Ghilardi, M Zawadowski
Springer Science & Business Media, 2013
1032013
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
1002008
Undefinability of propositional quantifiers in the modal system S4
S Ghilardi, M Zawadowski
Studia Logica 55, 259-271, 1995
911995
Constructive canonicity in non-classical logics
S Ghilardi, G Meloni
Annals of Pure and Applied Logic 86 (1), 1-32, 1997
771997
Incompleteness results in Kripke semantics
S Ghilardi
The Journal of Symbolic Logic 56 (2), 517-538, 1991
741991
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
722006
SAFARI: SMT-Based Abstraction for Arrays with Interpolants
F Alberti, R Bruttomesso, S Ghilardi, S Ranise, N Sharygina
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
662012
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20