2395 search results - page 86 / 479 » Reasoning in Semantic Wikis |
195
click to vote
UC
2009
Springer
16 years 13 days ago
2009
Springer
We present a logical approach to the separability analysis issue for a functional quantum computation language. This logic is inspired by previous works on logical analysis of alia...
162
click to vote
IJCAI
1989
15 years 7 months ago
1989
Recent results in the foundations of probability theory indicate that a conditional probability can be viewed as a probability attached to a mathematical entity called a measure-f...
153
click to vote
ECOI
2010
15 years 4 months ago
2010
We describe a semantic data validation tool that is capable of observing incoming real-time sensor data and performing reasoning against a set of rules specific to the scientific d...
147
click to vote
KES
2004
Springer
15 years 11 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...
181
click to vote
ATAL
2011
Springer
14 years 5 months ago
2011
Springer
Commitments provide a flexible means for specifying the business relationships among autonomous and heterogeneous agents, and lead to a natural way of enacting such relationships...