1223 search results - page 23 / 245 » A Logic for Reasoning about Evidence |
106
click to vote
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
Reasoning about perception of depth and about spatial relations between moving physical objects is a challenging problem. We investigate the representation of depth and motion by m...
130
click to vote
AGP
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract The Semantic Web (SW) can be seen as abstract representation and exchange of data and metadata. Metadata is given in terms of data mark-up and reference to shared, Web-acc...
103
click to vote
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...
114
click to vote
TARK
1998
Springer
15 years 6 months ago
1998
Springer
If one has attributed certain initial beliefs to an agent, it is sometimes possible to reason about further beliefs the agent must hold by observing what conclusions one's ow...
112
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...