Sciweavers

8337 search results - page 126 / 1668
» Reasoning With Characteristic Models
Sort
View
FM
2003
Springer
169views Formal Methods» more  FM 2003»
15 years 9 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
LPNMR
1993
Springer
15 years 8 months ago
An Assumption-Based Framework for Non-Monotonic Reasoning
The notion of assumption-based framework generalises and re nes the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-mon...
Andrei Bondarenko, Francesca Toni, Robert A. Kowal...
GRID
2006
Springer
15 years 4 months ago
Performance models for hierarchical grid architectures
Main characteristics of large
Paolo Cremonesi, Roberto Turrin
HUC
2007
Springer
15 years 10 months ago
A Statistical Reasoning System for Medication Prompting
We describe our experience building and using a reasoning system for providing context-based prompts to elders to take their medication. We describe the process of specification, ...
Sengul Vurgun, Matthai Philipose, Misha Pavel
AAAI
2010
15 years 5 months ago
Reasoning about Imperfect Information Games in the Epistemic Situation Calculus
Approaches to reasoning about knowledge in imperfect information games typically involve an exhaustive description of the game, the dynamics characterized by a tree and the incomp...
Vaishak Belle, Gerhard Lakemeyer