Sciweavers

3793 search results - page 100 / 759
» Expressive Description Logics
Sort
View
43
Voted
ATAL
2009
Springer
15 years 4 months ago
Description logic for coalitions
Inanç Seylan, Wojciech Jamroga
FROCOS
2009
Springer
15 years 4 months ago
Runtime Verification Using a Temporal Description Logic
Franz Baader, Andreas Bauer 0002, Marcel Lippmann