397 search results - page 17 / 80 » Causal Reasoning with Contexts Using Dependent Types |
124
Voted
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Termination of recursive functions is an important property in proof assistants based on dependent type theories; it implies consistency and decidability of type checking. Type-bas...
124
Voted
ICDT
2003
ACM
15 years 8 months ago
2003
ACM
We define a boolean complete description logic dialect called DLFDreg that can be used to reason about structural equality in semistructured ordered data in the presence of docume...
125
Voted
IEAAIE
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, it is shown how behavioural properties can be specified for three types of violent criminals. Moreover, it is shown how empirical material in the form of informal de...
129
click to vote
CONTEXT
1999
Springer
15 years 7 months ago
1999
Springer
When modelling complex systems one can not include all the causal factors, but one has to settle for partial models. This is alright if the factors left out are either so constant...
133
Voted
JUCS
2010
15 years 2 months ago
2010
: The promise of smart buildings (SBs) is a safer more productive environment for users and a more operationally efficient building for owners. The automation of building function ...