Sciweavers

5671 search results - page 702 / 1135
» A Semantic Approach to Interpolation
Sort
View
AIMS
2009
Springer
16 years 1 months ago
Knowledge Management and Promises
Ontological modelling for machine inference has featured prominently in IT management research recently, but there is more immediate scope for knowledge modelling in the realm of h...
Mark Burgess
ICANN
2009
Springer
16 years 1 months ago
Logics and Networks for Human Reasoning
We propose to model human reasoning tasks using completed logic programs interpreted under the three-valued Lukasiewicz semantics. Given an appropriate immediate consequence operat...
Steffen Hölldobler, Carroline Dewi Puspa Kenc...
SEMWEB
2009
Springer
16 years 1 months ago
Uncertainty Reasoning for Linked Data
Linked open data offers a set of design patterns and conventions for sharing data across the semantic web. In this position paper we enumerate some key uncertainty representation i...
Dave Reynolds
UC
2009
Springer
16 years 1 months ago
Reasoning about Entanglement and Separability in Quantum Higher-Order Functions
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...
Frédéric Prost, Chaouki Zerrari
WECWIS
2008
IEEE
134views ECommerce» more  WECWIS 2008»
16 years 1 months ago
Creating User Profiles of Web Visitors Using Zones, Weights and Actions
In this paper, we report our experience in the implementation of a module for creating user profiles of Web visitors by using Zones, Weights and Actions. The module is part of Gug...
Natascha Hoebel, Roberto Zicari