Logical and Computational Aspects of Model-Based Reasoning

Front Cover
L. Magnani, Nancy Nersessian, Claudio Pizzi
Springer Science & Business Media, Sep 30, 2002 - Mathematics - 342 pages
0 Reviews
Information technology has been, in recent years, under increasing commercial pressure to provide devices and systems which help/ replace the human in his daily activity. This pressure requires the use of logic as the underlying foundational workhorse of the area. New logics were developed as the need arose and new foci and balance has evolved within logic itself. One aspect of these new trends in logic is the rising impor tance of model based reasoning. Logics have become more and more tailored to applications and their reasoning has become more and more application dependent. In fact, some years ago, I myself coined the phrase "direct deductive reasoning in application areas", advocating the methodology of model-based reasoning in the strongest possible terms. Certainly my discipline of Labelled Deductive Systems allows to bring "pieces" of the application areas as "labels" into the logic. I therefore heartily welcome this important book to Volume 25 of the Applied Logic Series and see it as an important contribution in our overall coverage of applied logic.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

II
3
III
4
IV
6
V
9
VI
10
VII
16
VIII
21
X
22
LX
163
LXII
165
LXIII
168
LXIV
173
LXV
181
LXVII
182
LXVIII
184
LXIX
191

XI
24
XII
27
XIII
28
XIV
35
XV
39
XVI
40
XVII
42
XVIII
44
XIX
47
XX
48
XXI
50
XXII
56
XXIII
60
XXIV
62
XXV
69
XXVI
73
XXVIII
75
XXIX
80
XXX
82
XXXI
84
XXXII
89
XXXIII
93
XXXV
96
XXXVI
100
XXXVII
105
XXXVIII
111
XXXIX
113
XL
114
XLI
117
XLIII
118
XLIV
122
XLV
124
XLVI
127
XLVII
129
XLVIII
130
XLIX
133
L
134
LI
137
LII
139
LIII
143
LV
146
LVI
150
LVII
154
LVIII
158
LIX
160
LXX
201
LXXII
202
LXXIII
206
LXXIV
211
LXXV
219
LXXVI
221
LXXVII
227
LXXIX
228
LXXX
234
LXXXI
237
LXXXII
239
LXXXIII
243
LXXXIV
249
LXXXV
250
LXXXVI
256
LXXXVII
260
LXXXVIII
264
LXXXIX
268
XC
273
XCII
275
XCIII
276
XCIV
277
XCVI
278
XCVII
279
XCVIII
280
XCIX
282
C
283
CI
286
CII
289
CIII
293
CIV
295
CV
300
CVI
301
CVII
308
CVIII
313
CIX
314
CX
317
CXI
322
CXII
324
CXIII
326
CXIV
328
CXV
331
CXVI
337
Copyright

Other editions - View all

Common terms and phrases

References to this book

All Book Search results »

Bibliographic information