1941 search results - page 116 / 389 » Reasoning about Computations Using Two-Levels of Logic |
154
click to vote
SAC
2010
ACM
15 years 10 months ago
2010
ACM
Extensive research activities are recently directed towards the Semantic Web as a future form of the Web. Consequently, Web search as the key technology of the Web is evolving tow...
120
click to vote
KES
2004
Springer
15 years 8 months ago
2004
Springer
ConceptNet is a very large semantic network of commonsense knowledge suitable for making various kinds of practical inferences over text. ConceptNet captures a wide range of common...
171
Voted
OAS
2003
15 years 4 months ago
2003
Computing is moving toward a pervasive context-aware environment in which agents with limited resources will require external support to help them become context-aware. In this pa...
143
Voted
CLIMA
2007
15 years 4 months ago
2007
We present a sound and complete tableau calculus for a class BReg of extended regular modal logics which contains useful epistemic logics for reasoning about agent beliefs. Our cal...
178
click to vote
TABLEAUX
2000
Springer
15 years 7 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...