Abstract. In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logi...
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
Locating content efficiently and conveniently is the key issue in P2P systems. In this paper we present SemanticPeer, an Ontology-Based P2P lookup service, to address this problem,...
This paper discusses semantic interoperability issues in agentbased E-commerce systems. The literature reports various techniques to enable agents to understand the meanings of th...
Semantic Browsing provides contextualized dynamically generated Web content customizing the knowledge to better meet user expectations. The real-world medical digital library, the ...