4573 search results - page 198 / 915 » Automated Reasoning |
128
Voted
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community:
115
Voted
DLOG
2009
15 years 1 months ago
2009
Least Common Subsumers (LCS) have been proposed in Description Logics (DL) to capture the commonalities between two or more concepts.
127
Voted
GIS
2010
ACM
14 years 10 months ago
2010
ACM
160
Voted
CSL
2011
Springer
14 years 7 months ago
2011
Springer
98
Voted
CADE
2007
Springer
16 years 4 months ago
2007
Springer
