Explaining ALC Subsumption +,
DBLP:conf/ecai/BorgidaFH00 +,
Combinations of Modal Logics +,
…
Has author
Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, SEBD 2005, Brixen-Bressanone (near Bozen-Bolzano), Italy, June 19-22, 2005 +,
Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003 + Has editor
| Enrico Franconi | |
