4224 search results - page 208 / 845 » Reasoning about Choice |
203
click to vote
FMCO
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
188
click to vote
ECSQARU
2003
Springer
16 years 11 days ago
2003
Springer
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitra...
184
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In particular, Misra showed how powerlists could be use...
202
click to vote
WSC
2007
15 years 9 months ago
2007
Two basic approaches to simulation model composition can be distinguished, depending on whether the unit of composition is a model specification according to a certain modeling f...
213
click to vote
OWLED
2007
15 years 8 months ago
2007
This analysis is to identify requirements for a Description Logic (DL) to reason about product descriptions and other information related to product development. The DL is intended...