Sciweavers

5818 search results - page 833 / 1164
» A reasonable Semantic Web
Sort
View
ICAS
2006
IEEE
114views Robotics» more  ICAS 2006»
16 years 26 days 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
DSVIS
2005
Springer
16 years 11 days 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
16 years 10 days 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
16 years 10 days 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...
LPAR
2005
Springer
16 years 10 days ago
Incremental Integrity Checking: Limitations and Possibilities
Integrity checking is an essential means for the preservation of the intended semantics of a deductive database. Incrementality is the only feasible approach to checking and can be...
Henning Christiansen, Davide Martinenghi