Sciweavers

2395 search results - page 301 / 479
» Reasoning in Semantic Wikis
Sort
View
RR
2007
Springer
15 years 10 months ago
Evaluating Formalisms for Modular Ontologies in Distributed Information Systems
Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which u...
Yimin Wang, Jie Bao, Peter Haase, Guilin Qi
ICAS
2006
IEEE
114views Robotics» more  ICAS 2006»
15 years 10 months ago
Benchmarking Knowledge-based Context Delivery Systems
As context-aware systems become more widespread and mobile there is an increasing need for a common distributed event platform for gathering context information and delivering to ...
John Keeney, David Lewis, Declan O'Sullivan
162
Voted
DSVIS
2005
Springer
15 years 9 months ago
A Calculus for the Refinement and Evolution of Multi-user Mobile Applications
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
W. Greg Phillips, T. C. Nicholas Graham, Christoph...
ICNC
2005
Springer
15 years 9 months ago
Modeling Belief, Capability and Promise for Cognitive Agents - A Modal Logic Approach
From the last decade, modeling of cognitive agents have drawn great attention and provide a new paradigm for addressing fundamental questions in cognitive science. In this paper, a...
Xinyu Zhao, Zuoquan Lin
IWINAC
2005
Springer
15 years 9 months ago
Interval-Valued Neural Multi-adjoint Logic Programs
The framework of multi-adjoint logic programming has shown to cover a number of approaches to reason under uncertainty, imprecise data or incomplete information. In previous works,...
Jesús Medina, Enrique Mérida Caserme...