Sciweavers

2291 search results - page 123 / 459
» Representational Reasoning and Verification
Sort
View
CIKM
2007
Springer
14 years 4 months ago
Reasoning about vague topological information
Topological information plays a fundamental role in the human perception of spatial configurations and is thereby one of the most prominent geographical features in natural langu...
Steven Schockaert, Martine De Cock
ICAIL
2003
ACM
14 years 3 months ago
A Model Based Reasoning Approach for Generating Plausible Crime Scenarios from Evidence
Robust decision support systems (DSSs) for crime investigation are difficult to construct because of the almost infinite variation of plausible crime scenarios. Thus, existing ap...
Jeroen Keppens, John Zeleznikow
FM
2003
Springer
169views Formal Methods» more  FM 2003»
14 years 3 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
ICCBR
2001
Springer
14 years 2 months ago
A Case-Based Reasoning View of Automated Collaborative Filtering
From some perspectives Automated Collaborative Filtering (ACF) appears quite similar to Case-Based Reasoning (CBR). It works on data organised around users and assets that might be...
Conor Hayes, Padraig Cunningham, Barry Smyth
HUC
2007
Springer
14 years 4 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