2501 search results - page 7 / 501 » Logics with Rank Operators |
KR
1994
Springer
13 years 11 months ago
1994
Springer
We define a new operation in description logics, the difference operation or subtraction operation. This operation allows to remove from a description as much as possible of the i...
CADE
2006
Springer
14 years 7 months ago
2006
Springer
AGP
2003
IEEE
14 years 20 days ago
2003
IEEE
DEON
2010
Springer
13 years 9 months ago
2010
Springer
We propose a normal modal deontic logic based on a dyadic operator, similar in structure to the temporal "until". By bringing significant expressiveness to the logic, it ...
APWEB
2003
Springer
14 years 17 days ago
2003
Springer
Search engines are among the most important applications or services on the web. Most existing successful search engines use global ranking algorithms to generate the ranking of do...