1094 search results - page 179 / 219 » On Computing Explanations in Argumentation |
LICS
2005
IEEE
14 years 3 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā...
FCT
2005
Springer
14 years 3 months ago
2005
Springer
We reļ¬ne the genericity concept of Ambos-Spies, by assigning a real number in [0, 1] to every generic set, called its generic density. We construct sets of generic density any E...
FOSSACS
2005
Springer
14 years 3 months ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
IPSN
2005
Springer
14 years 3 months ago
2005
Springer
We bound the number of sensors required to achieve a desired level of sensing accuracy in a discrete sensor network application (e.g. distributed detection). We model the state of...
PVM
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. An MPI proļ¬ling library is a standard mechanism for intercepting MPI calls by applications. Proļ¬ling libraries are so named because they are commonly used to gather p...