1514 search results - page 20 / 303 » Cues to Common Knowledge |
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Least Common Subsumers in Description Logics have shown their usefulness for discovering commonalities among all concepts of a collection. Several applications are nevertheless foc...
AUSAI
1999
Springer
14 years 5 days ago
1999
Springer
Computing least common subsumers in description logics is an important reasoning service useful for a number of applications. As shown in the literature, this reasoning service ca...
JELIA
2004
Springer
14 years 1 months ago
2004
Springer
Methods for computing the least common subsumer (lcs) are usually restricted to rather inexpressive Description Logics (DLs) whereas existing knowledge bases are written in very e...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
We provide an epistemic analysis of arbitrary strategic games based on possibility correspondences. Such an analysis calls for the use of transfinite iterations of the correspond...
SIGCSE
2000
ACM
14 years 7 days ago
2000
ACM
It is generally acknowledged that developing correct multithreaded codes is difficult, because threads may interact with each other in unpredictable ways. The goal of this work i...