| 2008 |
|---|
| 38 | EE | Franz Baader,
Silvio Ghilardi,
Carsten Lutz:
LTL over Description Logic Axioms.
Description Logics 2008 |
| 37 | EE | Silvio Ghilardi,
Enrica Nicolini,
Silvio Ranise,
Daniele Zucchelli:
Towards SMT Model Checking of Array-Based Systems.
IJCAR 2008: 67-82 |
| 36 | | Franz Baader,
Silvio Ghilardi,
Carsten Lutz:
LTL over Description Logic Axioms.
KR 2008: 684-694 |
| 35 | EE | Silvio Ghilardi,
Enrica Nicolini,
Daniele Zucchelli:
A comprehensive combination framework.
ACM Trans. Comput. Log. 9(2): (2008) |
| 2007 |
|---|
| 34 | EE | Silvio Ghilardi,
Enrica Nicolini,
Silvio Ranise,
Daniele Zucchelli:
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems.
CADE 2007: 362-378 |
| 33 | EE | Silvio Ghilardi,
Silvio Ranise,
Enrica Nicolini,
Daniele Zucchelli:
From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems.
Deduction and Decision Procedures 2007 |
| 32 | EE | Silvio Ghilardi,
Enrica Nicolini,
Silvio Ranise,
Daniele Zucchelli:
Noetherianity and Combination Problems.
FroCos 2007: 206-220 |
| 31 | EE | Silvio Ghilardi,
Enrica Nicolini,
Silvio Ranise,
Daniele Zucchelli:
Decision procedures for extensions of the theory of arrays.
Ann. Math. Artif. Intell. 50(3-4): 231-254 (2007) |
| 30 | EE | Guram Bezhanishvili,
Silvio Ghilardi:
An algebraic approach to subframe logics. Intuitionistic case.
Ann. Pure Appl. Logic 147(1-2): 84-100 (2007) |
| 2006 |
|---|
| 29 | EE | Silvio Ghilardi,
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev:
Conservative extensions in modal logic.
Advances in Modal Logic 2006: 187-207 |
| 28 | EE | Maria Paola Bonacina,
Silvio Ghilardi,
Enrica Nicolini,
Silvio Ranise,
Daniele Zucchelli:
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures.
IJCAR 2006: 513-527 |
| 27 | EE | Silvio Ghilardi,
Enrica Nicolini,
Silvio Ranise,
Daniele Zucchelli:
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies.
JELIA 2006: 177-189 |
| 26 | | Silvio Ghilardi,
Carsten Lutz,
Frank Wolter:
Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics.
KR 2006: 187-197 |
| 25 | EE | Franz Baader,
Silvio Ghilardi,
Cesare Tinelli:
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics.
Inf. Comput. 204(10): 1413-1452 (2006) |
| 2005 |
|---|
| 24 | EE | Franz Baader,
Silvio Ghilardi:
Connecting Many-Sorted Theories.
CADE 2005: 278-294 |
| 23 | EE | Silvio Ghilardi,
Enrica Nicolini,
Daniele Zucchelli:
A Comprehensive Framework for Combined Decision Procedures.
FroCos 2005: 1-30 |
| 22 | EE | Franz Baader,
Silvio Ghilardi:
Connecting Many-Sorted Structures and Theories Through Adjoint Functions.
FroCos 2005: 31-47 |
| 2004 |
|---|
| 21 | EE | Franz Baader,
Silvio Ghilardi,
Cesare Tinelli:
A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics.
IJCAR 2004: 183-197 |
| 20 | EE | Silvio Ghilardi:
Unification, finite duality and projectivity in varieties of Heyting algebras.
Ann. Pure Appl. Logic 127(1-3): 99-115 (2004) |
| 19 | EE | Silvio Ghilardi:
Model-Theoretic Methods in Combined Constraint Satisfiability.
J. Autom. Reasoning 33(3-4): 221-249 (2004) |
| 2003 |
|---|
| 18 | EE | Silvio Ghilardi,
Luigi Santocanale:
Algebraic and Model Theoretic Techniques for Fusion Decidability in Modal Logics.
LPAR 2003: 152-166 |
| 17 | EE | Silvio Ghilardi:
Quantifier Elimination and Provers Integration.
Electr. Notes Theor. Comput. Sci. 86(1): (2003) |
| 16 | | Silvio Ghilardi,
Daniele Mundici:
Foreword.
Studia Logica 73(1): 3 (2003) |
| 15 | | Camillo Fiorentini,
Silvio Ghilardi:
Combining word problems through rewriting in categories with products.
Theor. Comput. Sci. 294(1/2): 103-149 (2003) |
| 2002 |
|---|
| 14 | EE | Silvio Ghilardi:
A Resolution/Tableaux Algorithm for Projective Approximations in IPC.
Logic Journal of the IGPL 10(3): 229-243 (2002) |
| 2000 |
|---|
| 13 | | Silvio Ghilardi,
Marek W. Zawadowski:
From Bisimulation Quantifiers to Classifying Toposes.
Advances in Modal Logic 2000: 193-220 |
| 12 | | Silvio Ghilardi:
Best Solving Modal Equations.
Ann. Pure Appl. Logic 102(3): 183-198 (2000) |
| 1999 |
|---|
| 11 | | Silvio Ghilardi:
Unification in Intuitionistic Logic.
J. Symb. Log. 64(2): 859-880 (1999) |
| 10 | | Silvio Ghilardi,
Pierangelo Miglioli:
On Canonicity and Strong Completeness Conditions in Intermediate Propositional Logics.
Studia Logica 63(3): 353-385 (1999) |
| 1997 |
|---|
| 9 | | Silvio Ghilardi,
Giancarlo Meloni:
Constructive Canonicity in Non-Classical Logics.
Ann. Pure Appl. Logic 86(1): 1-32 (1997) |
| 8 | | Silvio Ghilardi,
Marek W. Zawadowski:
Model Completions, r-Heyting Categories.
Ann. Pure Appl. Logic 88(1): 27-46 (1997) |
| 7 | | Silvio Ghilardi:
Unification Through Projectivity.
J. Log. Comput. 7(6): 733-752 (1997) |
| 1996 |
|---|
| 6 | | Silvio Ghilardi,
Giancarlo Meloni:
Relational and Partial Variable Sets and Basic Predicate Logic.
J. Symb. Log. 61(3): 843-872 (1996) |
| 1995 |
|---|
| 5 | | Silvio Ghilardi:
An Algebraic Theory of Normal Forms.
Ann. Pure Appl. Logic 71(3): 189-245 (1995) |
| 4 | | Silvio Ghilardi,
Marek W. Zawadowski:
A Sheaf Representation and Duality for Finitely Presenting Heyting Algebras.
J. Symb. Log. 60(3): 911-939 (1995) |
| 3 | | Silvio Ghilardi,
Marek W. Zawadowski:
Undefinability of propositional quantifiers in the modal system S4.
Studia Logica 55(2): 259-271 (1995) |
| 1992 |
|---|
| 2 | | Silvio Ghilardi:
Quantified Extensions of Canonical Propositional Intermediate Logics.
Studia Logica 51(2): 195-214 (1992) |
| 1991 |
|---|
| 1 | | Silvio Ghilardi:
Incompleteness Results in Kripke Semantics.
J. Symb. Log. 56(2): 517-538 (1991) |
