3717 search results - page 199 / 744 » Representing Multiple Theories |
126
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
Causation is defined recursively: event e is the cause of condition φ in context c iff e is the only sufficient cause of φ in c, and removing e from c either removes φ from c...
125
Voted
ISIPTA
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper studies the possibility of representing lower previsions by continuous linear functionals. We prove the existence of a linear isomorphism between the linear space spann...
119
Voted
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
We present some new decision and comparison problems of unusually high computational complexity. Most of the problems are strictly combinatorial in nature; others involve basic lo...
118
click to vote
DGCI
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Existing theories on shape digitization impose strong constraints on feasible shapes and require error-free measurements. We use Delaunay triangulation and -shapes to pro...
147
click to vote
ASWC
2009
Springer
15 years 7 months ago
2009
Springer
Many tasks within semantic web service discovery can be formalized as reasoning problems related to the partial ordering of subactivity occurrences in a complex activity. We show h...