2395 search results - page 29 / 479 » Reasoning in Semantic Wikis |
AAAI
1996
14 years 14 days ago
1996
In recent years, a number of different semantics for defaults have been proposed, such as preferential structures, semantics, possibilistic structures, and
ICFP
2003
ACM
14 years 4 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...
AI
2008
Springer
14 years 1 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 ...
ECSQARU
2007
Springer
14 years 5 months ago
2007
Springer
AI
2000
Springer
13 years 11 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...