TY  - RPRT
T1  - Defaults, preorder semantics and circumscription 
T3  - Kaiserslautern ; Saarbrücken : DFKI, 1992
A1  - Schlechta,Karl
Y1  - 2011/06/27
N2  - We examine questions related to translating defaults into circumscription. Imielinski has examined the concept of preorder semantics as an abstraction from specific systems of circumscription. We give precise definitions, characterize preorder semantics syntactically and examine the translatability of one default into preorder semantics. Finally, we give a rather bleak outlook on the translation of defaults into circumscription. 
KW  - Künstliche Intelligenz
CY  - Saarbrücken
PB  - Universitäts- und Landesbibliothek
AD  - Postfach 151141, 66041 Saarbrücken
UR  - http://scidok.sulb.uni-saarland.de/volltexte/2011/3639
ER  -