861 search results - page 20 / 173 » Predicting change impact from logical models |
ICAIL
2007
ACM
13 years 11 months ago
2007
ACM
This paper proposes some variants of Temporal Defeasible Logic (TDL) to reason about normative modifications. These variants make it possible to differentiate cases in which, for ...
IJCNN
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— Artificial neural networks have proved an attractive approach to non-linear regression problems arising in environmental modelling, such as statistical downscaling, sh...
ISQED
2009
IEEE
14 years 2 months ago
2009
IEEE
With technology scaling, the occurrence rate of not only single, but also multiple transients resulting from a single hit is increasing. In this work, we consider the effect of th...
NMR
2004
Springer
14 years 22 days ago
2004
Springer
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting a...
SGAI
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we describe a novel technique which implements a spatiotemporal model as a set of sub-models based on first order logic. These sub-models model different, typicall...