TY - JOUR A1 - Besnard, Philippe A1 - Schaub, Torsten T1 - Significant inferences Y1 - 2000 SN - 1-55860-690-4 ER - TY - JOUR A1 - Delgrande, James Patrick A1 - Schaub, Torsten A1 - Tompits, Hans T1 - Logic programs with compiled preferences Y1 - 2000 UR - http://xxx.lanl.gov/abs/cs.AI/0003028 ER - TY - JOUR A1 - Delgrande, James Patrick A1 - Schaub, Torsten A1 - Tompits, Hans T1 - A compiler for ordered logic programs Y1 - 2000 UR - http://arxiv.org/abs/cs.AI/0003024 ER - TY - JOUR A1 - Besnard, Philippe A1 - Schaub, Torsten T1 - What is a (non-constructive) non-monotone logical system? Y1 - 2000 SN - 0304-3975 ER - TY - JOUR A1 - BrĂ¼ning, Stefan A1 - Schaub, Torsten T1 - A connection calculus for handling incomplete information Y1 - 2000 ER - TY - JOUR A1 - Delgrande, James Patrick A1 - Schaub, Torsten T1 - Expressing preferences in default logic Y1 - 2000 SN - 0004-3702 ER -