Sciweavers

JELIA
1994
Springer
14 years 3 months ago
Autoepistemic Logic of Minimal Beliefs
Teodor C. Przymusinski
JELIA
1994
Springer
14 years 3 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