1223 search results - page 13 / 245 » A Logic for Reasoning about Evidence |
106
click to vote
UAI
1994
15 years 1 months ago
1994
A logic is de ned that allows to express information about statistical probabilities and about degrees of belief in speci c propositions. By interpreting the twotypes of probabili...
ICDT
2003
ACM
15 years 4 months ago
2003
ACM
We define a boolean complete description logic dialect called DLFDreg that can be used to reason about structural equality in semistructured ordered data in the presence of docume...
107
click to vote
BIRTHDAY
2006
Springer
15 years 3 months ago
2006
Springer
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
CLIMA
2007
15 years 1 months ago
2007
We propose a new version of ATLP (“ATL with plausibility”), a logic for reasoning about the outcome of rational play in game-like scenarios. Unlike in [8], where two different ...
FUIN
2008
14 years 11 months ago
2008
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...