1247 search results - page 56 / 250 » Reasoning about Function Objects |
PET
2009
Springer
15 years 9 months ago
2009
Springer
Delivery of products bought online can violate consumers’ privacy, although not in a straightforward way. In particular, delivery companies that have contracted with a website kn...
123
click to vote
TACAS
1999
Springer
15 years 6 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
113
Voted
TARK
2009
Springer
15 years 9 months ago
2009
Springer
We introduce a logic designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent prefere...
126
click to vote
ISIPTA
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper shows that a "principle of complete ignorance" plays a central role in decisions based on Dempster belief functions. Such belief functions occur when, in a fi...
140
Voted
ECSQARU
2005
Springer
15 years 8 months ago
2005
Springer
This paper is part of a project to match real-world descriptions of instances of objects to models of objects. We use a rich ontology to describe s and models at multiple levels of...