Sciweavers

1498 search results - page 24 / 300
» Description logic for coalitions
Sort
View
ATAL
2006
Springer
15 years 3 months ago
Reasoning about action and cooperation
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...
Luigi Sauro, Jelle Gerbrandy, Wiebe van der Hoek, ...
CBMS
2009
IEEE
15 years 6 months ago
ADONIS: Automated diagnosis system based on sound and precise logical descriptions
Automated medical diagnosis systems based on knowledge-oriented descriptions have gained momentum with the emergence of Semantic Descriptions. However, soundness and efficiency of...
Alejandro Rodríguez González, Jos&ea...
IADIS
2004
15 years 22 days ago
OWL DL: description logic's syntactic variant for the semantic web
OWL DL, being established by W3C, is a Knowledge Representation Markup Language for the Semantic Web. OWL DL is a new synthesis of research on KRML for the Semantic Web, which nee...
Wei Ming Zhang, Jun-feng Song
86
Voted
DLOG
2009
14 years 9 months ago
A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics
Least Common Subsumers (LCS) have been proposed in Description Logics (DL) to capture the commonalities between two or more concepts.
Francesco M. Donini, Simona Colucci, Tommaso Di No...
RWEB
2009
Springer
15 years 5 months ago
Description Logics
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an a...
Franz Baader