Electronic Resource
Springer
Annals of mathematics and artificial intelligence
9 (1993), S. 307-325
ISSN:
1573-7470
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
,
Mathematics
Notes:
Abstract It is shown that the translation of an open default $$\frac{{\alpha (x):M\beta _1 (x),...,M\beta _m (x)}}{{w(x)}}$$ into a modal formula ∀x(Lα(x)∧LMβ 1 (x)∧...∧LMβ m (x)⊃w(x)) gives rise to an embedding of open default systems into non-monotonic logics.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01530936
|
Location |
Call Number |
Expected |
Availability |