-
1
-
2
-
3
Description Logic Knowledge and Action Bases
Veröffentlicht in The Journal of artificial intelligence research
VolltextArtikel -
4
-
5
-
6
-
7
Evolutionary coincidence-based ontology mapping extraction
Veröffentlicht in Expert systems
VolltextArtikel -
8
-
9
-
10
Decidability of Equivalence of Aggregate Count-Distinct Queries
Veröffentlicht in arXiv.org
VolltextArtikel -
11
-
12
-
13
-
14
Verification of Semantically-Enhanced Artifact Systems (Extended Version)
Veröffentlicht in arXiv.org
VolltextArtikel -
15
Verification of Relational Data-Centric Dynamic Systems with External Services
Veröffentlicht in arXiv.org
VolltextArtikel