Sciweavers

2395 search results - page 168 / 479
» Reasoning in Semantic Wikis
Sort
View
LICS
2006
IEEE
16 years 8 days ago
A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
Marcelo P. Fiore, Sam Staton
190
Voted
ESWS
2007
Springer
15 years 10 months ago
Semantic Group Formation
Many approaches to learning and teaching rely upon students working in groups. Formation of optimal groups can be a time consuming and complex task, particularly when the list of ...
Asma Ounnas
AGI
2008
15 years 7 months ago
Distance-Based Non-Deterministic Semantics
Representing uncertainty and reasoning with dynamically evolving systems are two related issues that are in the heart of many information systems. In this paper we show that these ...
Ofer Arieli, Anna Zamansky
IJCAI
2003
15 years 7 months ago
Extended Gloss Overlaps as a Measure of Semantic Relatedness
This paper presents a new measure of semantic relatedness between concepts that is based on the number of shared words (overlaps) in their definitions (glosses). This measure is ...
Satanjeev Banerjee, Ted Pedersen
RR
2009
Springer
16 years 24 days ago
Belief Logic Programming with Cyclic Dependencies
Our previous work [26] introduced Belief Logic Programming (BLP), a novel form of quantitative logic programming with correlation of evidence. Unlike other quantitative approaches ...
Hui Wan