Men have been using herbal medicines for thousands of years. The advantages of this type of therapeutics include good availability, local cultural aspects, individual preferences, the increasing demand for natural and organic products, and the already validated synergistic effects of herbal medicines. However, ethically, the scope and limits of these drugs need to be established not only by eth...

Our group (OKSAT) submitted two types of runs named SMP and REF for every subtasks of NTCIR-10 Cross-lingual Link Discovery (CLLD). Our method uses titles in Wikipedia pages (corpus) of source language as a entries of a dictionary, so no external dictionary is required. For SMP, we aimed to discover cross-lingual links of actual Wikipedia, in other words it targets Wikipedia ground truth. For R...

Medical image mining is one of the most rewarding and challenging field of application in data mining and knowledge discovery. Soft computing is a consortium of methodologies that provides flexible information processing capability. Its aim is to exploit the tolerance for imprecision, uncertainty, approximate reasoning, and limited truth in order to achieve tractability, robustness, and low-cos...

Discovering router-level IPv6 topologies is important to understanding IPv6 growth, structure, and evolution and relation to IPv4. This work presents a fingerprint-based IPv6 alias resolution technique that induces fragmented responses from IPv6 router interfaces. We leverage the way in which IPv6 implements fragmentation to provide reliable inferences. We demonstrate perfect alias resolution a...

This paper describes a novel approach to the description and discovery of Semantic Web services. We propose SPARQL as a formal language to describe the preconditions and postconditions of services, as well as the goals of agents. In addition, we show that SPARQL query evaluation can be used to check the truth of preconditions in a given context, construct the postconditions that will result fro...

It is widely held, to the point of being the received interpretation, that Frank Ramsey was the first to defend the so-called Redundancy Theory of Truth in his landmark article ‘Facts and Propositions’ (hereafter ‘FP’) of 1927. For instance, A.J. Ayer cited this article in the context of arguing that saying that p is true is simply a way of asserting p and that truth is not a real quality or re...

We show that the set of ultimately true sentences in Hartry Field’s Revenge-immune solution model to the semantic paradoxes is recursively isomorphic to the set of stably true sentences obtained in Hans Herzberger’s revision sequence starting from the null hypothesis. We further remark that this shows that a substantial subsystem of second order number theory is needed to establish the semantic...