2395 search results - page 29 / 479 » Reasoning in Semantic Wikis |
135
click to vote
AAAI
1996
15 years 7 months ago
1996
In recent years, a number of different semantics for defaults have been proposed, such as preferential structures, semantics, possibilistic structures, and
143
click to vote
ICFP
2003
ACM
15 years 11 months ago
2003
ACM
In this paper we extend the model of program variables from the Refinement Calculus [2] in order to be able to reason more algebraically about recursive procedures with parameter...
146
click to vote
AI
2008
Springer
15 years 7 months ago
2008
Springer
Distance semantics is a robust way of handling dynamically evolving and possibly contradictory information. In this paper we show that in many cases distance-based entailments can ...
161
Voted
AI
2000
Springer
15 years 5 months ago
2000
Springer
We present a new approach to dealing with default information based on the theory of belief functions. Our semantic structures, inspired by Adams' -semantics, are epsilon-beli...