Sciweavers

69
Voted
JELIA
1994
Springer
15 years 1 months ago
Autoepistemic Logic of Minimal Beliefs
Teodor C. Przymusinski
JELIA
1994
Springer
15 years 1 months ago
Temporal Theories of Reasoning
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...
Joeri Engelfriet, Jan Treur