Sciweavers

3358 search results - page 85 / 672
» Dynamic Description Logics
Sort
View
DLOG
1996
13 years 10 months ago
On the Semantics of Epistemic Description Logics
d Abstract) Riccardo Rosati Dipartimento di Informatica e Sistemistica Universita di Roma \La Sapienza" Via Salaria 113, 00198 Roma, Italy
Riccardo Rosati
DLOG
2009
13 years 10 months ago
Unification in the Description Logic EL
Franz Baader, Barbara Morawska
ENTCS
2010
119views more  ENTCS 2010»
13 years 8 months ago
Coalition Description Logic with Individuals
Inanç Seylan, Wojciech Jamroga