3119 search results - page 52 / 624 » General Default Logic |
ENTCS
2006
13 years 7 months ago
2006
Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program variables are treated as resource, generalizing earlier work based on separati...
EOR
2010
13 years 7 months ago
2010
We consider the problem of accurately measuring the credit risk of a portfolio consisting of loans, bonds and other financial assets. One particular performance measure of interes...
FS
2010
13 years 6 months ago
2010
This paper considers a general reduced form pricing model for credit derivatives where default intensities are driven by some factor process X. The process X is not directly observ...
EPIA
2001
Springer
14 years 6 days ago
2001
Springer
Abstract. Multi-adjoint logic program generalise monotonic logic programs introduced in [1] in that simultaneous use of several implications in the rules and rather general connect...
DLOG
2003
13 years 9 months ago
2003
In this paper we introduce a decidable fixpoint extension of temporal Description Logics. We exploit the decidability results obtained for various monodic extensions of Descripti...