1094 search results - page 148 / 219 » On Computing Explanations in Argumentation |
LPNMR
2009
Springer
14 years 5 months ago
2009
Springer
We consider random logic programs with two-literal rules and study their properties. In particular, we obtain results on the probability that random “sparse” and “dense” pr...
LICS
2008
IEEE
14 years 5 months ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
LICS
2008
IEEE
14 years 5 months ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
IJCNN
2006
IEEE
14 years 5 months ago
2006
IEEE
— We present a simple, intuitive argument based on “invariant imbedding” in the spirit of dynamic programming to derive a stagewise second-order backpropagation (BP) algorith...
TRIDENTCOM
2005
IEEE
14 years 4 months ago
2005
IEEE
Mobile ad hoc networking allows the development of several infrastructure free applications. One of the arguments we focused on is the possibility of deploying a set of services i...