Concepedia

Silvio Ghilardi

SG

48

Publications

1.9K

Citations

25

H-Index

1989

Active since

Affiliations

University of Milan(Current)

Technische Universität Dresden

Free University of Bozen-Bolzano

Fondazione Bruno Kessler

Università della Svizzera italiana

Silvio Ghilardi is an author at University of Milan specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceFormal VerificationSemanticsLanguageLinguisticsVerificationRepresentation Theory

Publications per year

1989–2022

48

Publications

48

Unification in intuitionistic logic

Silvio Ghilardi · Journal of Symbolic Logic · 1999 · 178 citations

Intuitionistic Logic, Algebraic Logic, Unitary Unification Type +12

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

Silvio Ghilardi, Carsten Lutz, Frank Wolter · Principles of Knowledge Representation and Reasoning · 2006 · 174 citations

Engineering, Ontology Versioning, Semantics +18

Best solving modal equations

Silvio Ghilardi · Annals of Pure and Applied Logic · 2000 · 124 citations

Modal Analysis, Numerical Analysis, Engineering +3

Model-Theoretic Methods in Combined Constraint Satisfiability

Silvio Ghilardi · Journal of Automated Reasoning · 2004 · 93 citations

Constraint Solving, Engineering, Automated Reasoning +6

Unification through projectivity

Silvio Ghilardi · Journal of Logic and Computation · 1997 · 90 citations

Intuitionistic Logic, Project-based Organization, Engineering +17

Rows per page

1–5 of 48