silvio ghilardi
silvio ghilardi
Bestätigte E-Mail-Adresse bei unimi.it - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Did I damage my ontology
S Ghilardi, C Lutz, F Wolter
Proc. of KR2006, 187-197, 2006
2712006
Unification in intuitionistic logic
S Ghilardi
Journal of Symbolic Logic, 859-880, 1999
2161999
Best solving modal equations
S Ghilardi
Annals of Pure and Applied Logic 102 (3), 183-198, 2000
1482000
MCMT: A model checker modulo theories
S Ghilardi, S Ranise
International Joint Conference on Automated Reasoning, 22-29, 2010
1322010
9 First-order modal logic
T Braüner, S Ghilardi
Studies in Logic and Practical Reasoning 3, 549-620, 2007
1142007
Unification through projectivity
S Ghilardi
Journal of Logic and Computation 7 (6), 733-752, 1997
1141997
Backward reachability of array-based systems by SMT solving: Termination and invariant synthesis
S Ghilardi, S Ranise
arXiv preprint arXiv:1010.1872, 2010
1062010
Model-theoretic methods in combined constraint satisfiability
S Ghilardi
Journal of Automated Reasoning 33 (3-4), 221-249, 2004
1012004
An algebraic theory of normal forms
S Ghilardi
Annals of Pure and Applied Logic 71 (3), 189-245, 1995
931995
LTL over description logic axioms
F Baader, S Ghilardi, C Lutz
ACM Transactions on Computational Logic (TOCL) 13 (3), 1-32, 2012
892012
Towards SMT model checking of array-based systems
S Ghilardi, E Nicolini, S Ranise, D Zucchelli
International Joint Conference on Automated Reasoning, 67-82, 2008
872008
Unified correspondence
W Conradie, S Ghilardi, A Palmigiano
Johan van Benthem on logic and information dynamics, 933-975, 2014
832014
Unification in modal and description logics
F Baader, S Ghilardi
Logic Journal of IGPL 19 (6), 705-730, 2011
822011
Sheaves, games, and model completions: A categorical approach to nonclassical propositional logics
S Ghilardi, M Zawadowski
Springer Science & Business Media, 2013
722013
Constructive canonicity in non-classical logics
S Ghilardi, G Meloni
Annals of Pure and Applied Logic 86 (1), 1-32, 1997
681997
Incompleteness results in Kripke semantics
S Ghilardi
Journal of Symbolic Logic, 517-538, 1991
671991
Decidability and undecidability results for Nelson-Oppen and rewrite-based decision procedures
MP Bonacina, S Ghilardi, E Nicolini, S Ranise, D Zucchelli
International Joint Conference on Automated Reasoning, 513-527, 2006
662006
Undefinability of propositional quantifiers in the modal system S4
S Ghilardi, M Zawadowski
Studia Logica 55 (2), 259-271, 1995
651995
Decision procedures for extensions of the theory of arrays
S Ghilardi, E Nicolini, S Ranise, D Zucchelli
Annals of Mathematics and Artificial Intelligence 50 (3), 231-254, 2007
592007
LTL over Description Logic Axioms.
F Baader, S Ghilardi, C Lutz
KR, 684-694, 2008
572008
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20